I won’t claim that J. Random Hacker will have issues understanding it – it’s a neatly tied bundle of necessary complexity without any distracting parts (like efficiency), if you sit down with the thing (ideally starting the whole series from the beginning) you’ll be able to grok it (and have learned a lot). However, understanding HM isn’t the same as being able to extend it, which includes proving soundness of the system, that kind of stuff is a specialised field within a specialised field within academia with more open questions than answered ones. The reason Rust doesn’t have HKTs? Because their interaction with lifetimes is insufficiently understood. Those kinds of questions can easily start 20+ years of research only to be answered with “yep that’s inherently unsound/uncomputable/whatever”.
Oh, EDIT, forgot: AI-enabled typing is obviously a completely braindead idea. I don’t need a second lazy, impatient, hubristic idiot looking at my code, I need something to catch mistakes. Something deterministic, rule-based, pure unerring logic. Which is exactly what type systems are and do.
AI-enabled typing is obviously a completely braindead idea.
I agree. However, and I know I’m practically reading tea leaves here, but I read that last line as a suggestion that AI would replace programming outright.
Well, according to the first biography about him, he was coding quite a lot in Zip2 and perhaps also some in early PayPal. Bit the code was supposedly hastily written and very bad.
Neat! To save others a search, “Post Production - Ground Control” turned up for my search.
Edit: If I ever worked on a Sega CD game, I would wear that as a badge of pride. It wasn’t a good game system, but it was an interesting era in the history of gaming.
Point in case: Ben Eater recently uploaded a video where his “BIOS” consists of two I/O functions and compiles into less than 250 bytes. Double that if you count his port of WOZMON. We can argue later if that constitutes an operating system - I mean, it’s not POSIX compliant but it does operate.
The guy was a the senior software dev at his first startup. Not sure if he’s written a line of code since then, but he’s at least spent some time in the trade
He wrote code that was so bad, all that was kept from x.com when it was bought was its name. The actual code was taken from another company acquired at the same time.
The guy is an idiot who LITERALLY got fired for incompetence as CEO.in the past. He is a scammer and should be treated as such, so no, people aren’t shitting too much on him. If anything, they aren’t shitting enough, there are still way too many oblivious fan boys out there that think he is a genius. He’s not.
Anything he says that makes sense engineering wise usually comes from someone on his team, anything else is just outrageously stupid, and clearly from his “genius mind” like this blurb/cert/tweet whatever the hell its supposed to be called.
Don’t forget defrauding the federal and state of California governments to get them to pull funding from vitally needed high-speed rail projects because it would hurt Tesla’s bottom line. Fucking hyperloop.
California HSR has been a zombie project for a while. Even before Musk was a factor, there were annual plans but nothing ever got done, year after year. It’s probably going to take intercity projects to become popular and economical for something as ambitious as long-range passenger rail to actually receive serious attention.
He talked about electric cars. I don’t know anything about cars, so when people said he was a genius I figured he must be a genius.
Then he talked about rockets. I don’t know anything about rockets, so when people said he was a genius I figured he must be a genius.
Now he talks about software. I happen to know a lot about software & Elon Musk is saying the stupidest shit I’ve ever heard anyone say, so when people say he’s a genius I figure I should stay the hell away from his cars and rockets.
I know literally 0.0000000001% of 1st year CS, and even I know that Musk just googled what “type” means in this context. No shit a compiler can determine the type at compile time. That’s not what the post was about, Elon my guy.
programmer_humor
Oldest
This magazine is from a federated server and may be incomplete. Browse more on the original instance.