ModernMech

4 ms·

1.
by ModernMech 5d ago
Richest man in the world who very famously wants to go to Mars and has no problem opening his pocketbook to achieve political ends should be funding this himself after he was given carte balance to comb through the budget and got rid of any
2.
by ModernMech 5d ago
MCP always seemed like something that wouldn't be necessary if AI lived up to the hype.
3.
by ModernMech 5d ago
Okay but I’ve spent 8 years implementing bad code so far. I’ve got a lot of understanding but only half the code is done. Down the line I’ll be dead. Why not implement it now with AI? Moreover is writing code the only way to understand it?
4.
by ModernMech 5d ago
What is a soul, how do you measure and quantify it? If you can’t, how would you know whether the grammar mistakes change the soul? I’ve heard people say they keep the grammar mistakes in to prove the existence of a soul, so presumably corre
5.
by ModernMech 5d ago
> each LLM was tested 600 times, and in total over 10,000 questions and answers were assessed. Okay but why do you feel 3 trials say as much as 10,000?
6.
by ModernMech 5d ago
Grim Fandango is interesting because they are responsible for Lua’s popularity as a gaming scripting language: https://www.lua.org/doc/hopl.pdf
7.
by ModernMech 6d ago
Usually credit goes to the people wielding the tools, not the tools themselves.
8.
by ModernMech 6d ago
So was Lean. Did Lean solve it?
9.
by ModernMech 6d ago
The V pitch was a bunch of features that seemed implausible like automatic C++ translation and near-GC ergonomics with near-manual-memory behavior, without Rust-style explicit lifetime annotations or pervasive reference counting. so basical
10.
by ModernMech 6d ago
I think you’re right about people, but by volume, 99% of all future code will be written by machines. So there’s ample opportunity for other languages to flourish; if humans can’t get past imperative programming, machines can.
11.
by ModernMech 6d ago
I think the point is just it doesn’t have to get worse, so there are things you can do to prevent / change it if it is deteriorating.
12.
by ModernMech 6d ago
People don’t vote for it for themselves, they vote for it for others and are surprised when it applies to them just the same.
13.
by ModernMech 7d ago
It’s actually very amusing to me comic sans is being referred to as “charmingly honest” on this forum, of all places. Shows how much this is all just aesthetic judgement and doesn’t have any connection to reality, just opinions. Before, com
14.
by ModernMech 7d ago
Personally, I’d prefer people who get upset about “ai slop” to just stay home and complain about the fliers. It’s a great filter.
15.
by ModernMech 8d ago
Related: https://www.usenix.org/system/files/conference/hotos15/hotos... We survey measurements of data-parallel systems recently reported in SOSP and OSDI, and find that many systems have either a s
16.
by ModernMech 8d ago
I don't think it was reasonable to call other poster a bully academic in need of a therapist. Calling the project vibecoded (perj.) and sus is very mild compared to what Reviewer #2 would have to say. I agree with the other poster that
17.
by ModernMech 8d ago
But if it needs one language for programming, machine code, why is that the optimal and only one for every application? There’s not even one "machine code"; it’s per machine and each one has their own design constraints and quirks
18.
by ModernMech 8d ago
This is one of my all time favorite posts on HN it’s been here before and I link about it often. One thing I’ve considered it the corollary: if the United States is conscious, it suffers from bipolar I disorder and is currently deep in a ma
19.
by ModernMech 8d ago
Yes this is precisely why experts drive LLMs so much better than novices. It’s also why I don’t dismiss pure LLM output as slop and uninteresting; even if we both are using the same LLM, I probably can’t make it output what you can make i
20.
by ModernMech 8d ago
We did used to write programs that way, but as the programs (and machines) got larger and more complicated, we found it very hard to so we invented all kinds of languages and abstractions to help us think about programs. Why would an advanc
21.
by ModernMech 8d ago
stschaef‘S comment was on topic and a critique (albeit sharp) of the work. Your comment is a personal attack though, and much closer to bullying. FWIW the author can and has spoken for themselves and noted the comment was “reasonable”.
22.
by ModernMech 8d ago
> Certainly such an AI would be able to just write machine code directly and verify it through whatever means, including formal proofs, as needed. Why does it need a compiler? If the AI can write the program bytecode through AI magic, wh
23.
by ModernMech 8d ago
To give you a concrete reason why you should care to preserve the exact history and why it’s a matter of trust: in your paper, you reported the pinned SHA head of the benchmarks you ran. When you destroy the history you make it hard for peo
24.
by ModernMech 8d ago
20k stars is about the same as Crystal and Gleam, languages with actual user bases that have been around for years. Here’s what organic versus… we’ll say viral growth looks like. https://www.star-history.com/?repos=bendlang%
25.
by ModernMech 9d ago
It's a losing proposition. Self-driving cars go from point A to point B, and it's really easy to specify point B. My experience so far using agentic AI 24/7 for almost a year has been the AI can drive almost anywhere, so the
26.
by ModernMech 9d ago
Brogrammers are in it for the love of money. Programmers are in it for the love of programming.
27.
by ModernMech 9d ago
Deservedly so.
28.
by ModernMech 10d ago
This is really cool, but I wish it was a little more digestible. I think there are great ideas here but every page is like a whole book. What do you think is the most important aspect. A couple things I did note: You can't claim this i
29.
by ModernMech 10d ago
There are some people who call literally anything crated with the assistance of AI “slop”. Doesn’t matter how or to what extent, it’s all slop from the slop machine to them.
30.
by ModernMech 10d ago
Hexen was worth it tho, good taste!

More ›