edanm

5 ms·

1.
by edanm 5d ago
Quoting the US constitution: "The Congress shall have Power... To promote the Progress of Science and useful Arts, by securing for limited Times to Authors and Inventors the exclusive Right to their respective Writings and Discoveries.
2.
by edanm 17d ago
I wonder if that was part of the reason that some programming languages use constructs like "if / fi" "do / od" etc. (Note: After writing the above, I checked with ChatGPT, it claims that the main motivation wa
3.
by edanm 2mo ago
No, but now I really want to know what the advice is! Can you share it?
4.
by edanm 2mo ago
> On the other hand, if you already are a good/skilled programmer, AI is not solving anything for you. Its output is flawed and has to be manually fixed and refactored. When you consider the prompting and the waiting and the cajolin
5.
by edanm 2mo ago
Based on the amount of output, I'm fairly sure simonw has replaced himself with ai years ago :)
6.
by edanm 2mo ago
I don't get this perspective. How much of the source code of the compiler you use did you read? How much of the source code of the standard library of your chosen language did you read? What about the dependencies? How much of the sour
7.
by edanm 2mo ago
Yes! I immediately thought of this. And as a bonus reference - this all reminds me a lot of the book "There Is No Antimemetics Division".
8.
by edanm 2mo ago
Also, Zanagrams is really fun too!
9.
by edanm 2mo ago
First, this is fantastic! Really fun. I really like everyone's idea of finding some way of letting the player play all 18 words. Either count up time, and use total time as the score (while allowing pausing). Or else just count the tot
10.
by edanm 2mo ago
> That's not ever going to be enjoyable. Tolerable, perhaps, given focus on the goal, but few people would be willing to tolerate it. This is wrong in multiple ways. For one thing, lots of people enjoy pain and discomfort caused b
11.
Assessing GPT-5.6 Sol Against Cybersecurity Benchmarks(irregular.com)
1 points by edanm 3mo ago|0 comments
12.
FrontierCyber: Bringing Offensive Cyber Evaluations to Real Systems(irregular.com)
4 points by edanm 3mo ago|0 comments
13.
by edanm 3mo ago
Not that I disagree with anything here, but... I wish it were clearer in these kinds of posts how "I use AI code I don't understand" is so different from "I use libraries written by other people I don't understand&q
14.
by edanm 3mo ago
Missing cause it's not true.
15.
by edanm 4mo ago
> and [Erdős problems are] sufficiently uninteresting that people have not spent that much effort trying to solve them. Note that this is not really true of this problem in particular.
16.
by edanm 4mo ago
No, the thing the LLM did is not a proof, it's the opposite. It's proving that the conjecture is false. Reductio ad absurdum is a technique to prove something.
17.
by edanm 4mo ago
Yes. One point I don't usually see people address is that using external dependencies has much of the same properties. Developers often depend on external libraries like things for Image processing, Numpy, etc. Do they have to "ow
18.
by edanm 5mo ago
Yep, just lost after I think >5 years. But not because of your comment, because of GP comment.
19.
by edanm 6mo ago
I'm not quite sure I understand the connection.
20.
by edanm 6mo ago
Interesting story. Dan Wells and Brandon Sanderson will be very happy. :)
21.
by edanm 6mo ago
That makes this more ok, IMO. I'm otherwise against "AI-edited" being part of the rules — it's very hard to draw the line (does asking an AI for synonyms of a word count?). AI-editing is especially a valuable tool for no
22.
by edanm 6mo ago
Despite commenting on this literally five seconds ago in the sibling comment, I hadn't made the connection that if "vav" is V, then using "vav vav" is like "VV" which is like "W". I wonder if thi
23.
by edanm 6mo ago
It's pronounced the same as in English. Wiz, Waze, Wix. It's written with "double vav" in Hebrew, not just a single vav which would make it read as Viz.
24.
by edanm 6mo ago
Agree with much of your comment. Though note that as GP said, on the Wason selection task, people famously do much better when it's framed in a social context. That at least partially undermines your theory that its lack of familiarity
25.
by edanm 6mo ago
I should clarify — I disagree with disallowing any comments that used LLMs in the writing. I think comments should be judged on their quality, not on how they were written. I might agree (don't know) with the idea of limiting new accou
26.
by edanm 6mo ago
I wasn't talking about someone learning the language and using this instead of learning it. There are a lot of people who understand English fairly well, but are not actively learning the language, are not native speakers, and can use
27.
by edanm 6mo ago
I disagree with this policy. Some people can really benefit from using LLMs to help them write. E.g. non-native speakers. LLM-assisted-writing doesn't have to be low effort, it can help people express themselves better in many cases. I
28.
by edanm 6mo ago
1. We're very bad at measuring developer productivity. We've been trying to do it for a long time, and really have very little to show from it from my POV. 2. That said, almost all the people who "want to see a study" do
29.
by edanm 6mo ago
Turing gave a pretty rigorous definition of the Turing Test IMO. Well, as rigorous as something that is inherently "anecdotal" can be, which is part of the philosophical point of the Turing Test.
30.
by edanm 7mo ago
I'm a purely amateur mathematician and not a physicist at all, but I completely agree with you that maths is missing this "midway between pop-math and real-math-textbook" kind of book. One book that I can't recommend mor

More ›