HNHacker News
TopNewBestAskShowJobs

petermonsson

192 karma · joined October 9, 2011

submissionscomments
petermonsson··on UK announces commercial operations of longest land/subsea interconnector
In Danish: https://ing.dk/artikel/efter-10-aars-arbejde-kom-der-stroem-...
petermonsson··on UK announces commercial operations of longest land/subsea interconnector
There is a 20 hour time difference from when the wind picks up in the UK until the wind picks up in Denmark
petermonsson··on Ask HN: Career in Formal Verification
Piggybacking on this post:

If you want to go into the HW/semiconductor industry you will be looking for the job title Formal Verification Engineer.

Pay is not as good as the SW industry, but still good.

Demand as jaykru says is exceptional.

petermonsson··on China aims to shake US grip on chip design tools
They offer productivity. Commercial tools have simulation speed and a half decent visual debugger for example. The bar is not that high, but Icarus is behind in these two areas
petermonsson··on Denmark to ban petrol and diesel car sales by 2030
The last coal plant in Denmark will be retired in 2028.

Current regulation requires large district heating to produce electricity (which is no longer economical due to abundance of cheap wind power) and this delays the conversion of the last coal plant.

petermonsson··on Denmark to ban petrol and diesel car sales by 2030
Rural areas are neither economical nor convenient for public transportation.
petermonsson··on Denmark to ban petrol and diesel car sales by 2030
I’m a Dane, I have leased a 24kwh BEV a few years ago. The charging infrastructure is fine and it is getting better. Denmark is not that big. I had a 30km commute each way. I live in an apartment, so that means public charging, which was no problem. I got 99 km at 110km/h on a full charge which means a 60 kwh battery will take me between the two furthest points in Denmark on two quick charges.

The only parts that sucks about BEVs is that you can’t have a trailer attached and the price.

petermonsson··on U.S. states reconsider confidential deals in workplace harassment
IANAL, but the introduction says yes
petermonsson··on AMD Tackles Coming “Chiplet” Revolution With New Chip Network Scheme
As I see it, this is just a network on interposer instead of a network on chip (NoC). NoCs have simple rules for routing that also prevent deadlocks, so I am not sure that the idea here is that significant. The active interposer is a quite new idea. I haven’t followed it. Maybe the journalist found the rules more exiting than the active interposer idea.

Either way, the research is one of the many small steps forward to better chips.

petermonsson··on Uber and Lyft drivers' median hourly wage is just $3.37, report finds
I don’t see any of the these competing with Uber/Lyft. They may be suppliers. Where is the conflict?
petermonsson··on 34th Chaos Communication Congress Live Streams
Yes, you can even see the unedited replays
petermonsson··on How I went from programming to consulting (2012)
$100 per hour for an 75% loaded contractor is $53 assuming a 1.5x overhead for payroll tax, healthcare, office, etc.
petermonsson··on How I went from programming to consulting (2012)
Can you affect the number and size of AWS instances that a company needs? As Patrick said on twitter the other day. If you can optimize the use of AWS for a company that has 3k instances, you can make the company boatloads of money in reduced server cost.
petermonsson··on The Mill CPU Architecture – Threading [video]
Don’t keep your hopes high. The first video is 4 years old.
petermonsson··on VPC Endpoints for Your Own Applications and Services
I am new to this VPC thing. Is there an overview that explains why I want it and how it works?
petermonsson··on Ask HN: How do I choose a niche for freelance software business?
I am not a freelancer, but I have taken the free e-mail course, because I wanted to learn. I liked it. I felt motivated to complete the course and I would definitely heed the advice if I were to become a freelancer some day. It has a soft up sell at the end, but it still gets my full recommendation anyway.
petermonsson··on Ask HN: How do I choose a niche for freelance software business?
I suggest that you take the free double your freelancing course by Brennan Dunn. The course or one of the follow up mails covers this issue.
petermonsson··on Hardware support for UNUM floating point arithmetic [pdf]
I am confused. I see half the performance and 3-5x the area of IEEE754, but the conclusion is that UNUM is comparable. That would not be my conclusion. What am I missing?
petermonsson··on A Peek Inside a 400G Cisco Network Chip
NPUs are not used in data centers. They don't need the expensive but totally flexible network processing capabilities. Think carrier and enterprise access networks that have lower Ethernet bandwidth requirements, but higher processing requirements per packet.
petermonsson··on Ask HN: What are the most important problems in your industry?
1. Electronics/semiconductors 2. Moore's law is loosing stream and complexity is exploding. Turn around times are increasing in everything. This includes runtime for all of our software tools as well as physical processes such as getting chips back from the fab. Vendors are not keeping up. Productivity is suffering.

3. SystemVerilog is not really at the right abstraction level and still has many of the problems that face Verilog. It is sort of what C++ is to C and what I need is more the equivalent to rust.

petermonsson··on Uber is ending its services in Denmark
The government did as much as they could while preserving tax revenues (the new law deregulates the industry). There have been plenty of cases where older meters were hacked back in the 90's. Not requiring meters and seat sensors would have made cheating easy.
petermonsson··on LL and LR in Context: Why Parsing Tools Are Hard (2013)
The article mentions PEG in good detail and notes the ambiguity problems. Can you guide me on how those can be resolved with PEG?
petermonsson··on Avago to buy Broadcom for $37B in biggest-ever chip deal
Avago paid for it with about 50% stock 25% cash and 25% new debt, so no Avago does not actually have enough money to straight up buy Broadcom. It is more like a merger than an acquisition.
petermonsson··on Avago to buy Broadcom for $37B in biggest-ever chip deal
I am not sure that I understand what you mean with chipset vendor? In my view both Intel and Qualcomm are chipset vendors as well a "solution" consisting of multiple chips. Usually this is indicated in their reference platforms. For Intel that would be the CPU and the motherboard and for Qualcomm that would be their handset reference platform.

Aside from that, the new company will be really big even after divisions have been sold off.

petermonsson··on Evaluation of C, Go, and Rust in the HPC environment [pdf]
I'm willing to cut the auther some slack here. A bachelor thesis is limited in scope and a bachelor student can't know all languages.
petermonsson··on A JavaScript-Based DDoS Attack as Seen by Safe Browsing
The attack would still be possible, but the attacker would now risk their CA status.
petermonsson··on Is the Mill CPU real? (2014)
What is your experience with Chisel? How much more productive are you compared to writing Verilog?

I am interested in trying out new tools, but information on Chisel is pretty sparse.

petermonsson··on Signal 2.0 released with private messaging support
Cool, thanks. So, I got it working with some friends. The start is rough when you don't have any contacts. There is no hand holding like you'd expect from other messaging apps. Especially the first message to the first contact is a tough discovery. I managed to mistakenly call instead of texting and another friend did exactly the same.

The error message when you are not registered yet is also not totally clear. One friend complained that he couldn't see when I had read the message (compared to Facebook Messenger).

On the plus side, you've come really far in usable crypto when you're being compared to that.

petermonsson··on Signal 2.0 released with private messaging support
Signal does voice calling too.
petermonsson··on Signal 2.0 released with private messaging support
How is it working out? Is the messaging solid between Android and iOS? How is the group messaging working?

Sorry, I just downloaded it, but I have no friends on the list yet. I'm impatient. I really want it to work.

Page 1 of 3Next →