larve

7 ms·

1.
Modern Common Lisp with FSet(fset.common-lisp.dev)
182 points by larve 5mo ago|28 comments
2.
GPT-5.4 pro solves erdos problem #1196(erdosproblems.com)
4 points by larve 5mo ago|0 comments
3.
The "AI Vulnerability Storm": Building a "Mythos-Ready" Security Program [pdf](labs.cloudsecurityalliance.org)
5 points by larve 5mo ago|0 comments
4.
From Fossil to Fact: The Denisova Discovery as Science in Action [pdf](diva-portal.org)
2 points by larve 5mo ago|0 comments
5.
AI, Gods, and Selves: Effective Illusions [video](youtube.com)
2 points by larve 5mo ago|0 comments
6.
Why algorithms can't think: "Artifical Communication" by Elena Esposito [video](youtube.com)
3 points by larve 5mo ago|0 comments
7.
Training AI models doesn't emit that much(blog.andymasley.com)
3 points by larve 5mo ago|0 comments
8.
From "prompt and pray" to prompt engineering(gogogolems.substack.com)
2 points by larve 5mo ago|0 comments
9.
The Augmentation of Doug Engelbart(youtube.com)
3 points by larve 6mo ago|0 comments
10.
The Price of Truth(harmoniousdiscourse.substack.com)
3 points by larve 6mo ago|0 comments
11.
Slowing Down in the Age of Coding Agents(the.scapegoat.dev)
18 points by larve 6mo ago|3 comments
12.
Slowing Down in the Age of Coding Agents(gogogolems.substack.com)
5 points by larve 6mo ago|0 comments
13.
Simplicity in the age of AI-assisted coding(the.scapegoat.dev)
1 points by larve 6mo ago|0 comments
14.
Simplicity in the age of AI-assisted coding(gogogolems.substack.com)
3 points by larve 6mo ago|0 comments
15.
by larve 6mo ago
I think that due to the nature of language, often the prompting technique that you use is indeed the best, for you, since it allows you to express yourself “naturally” and thus have more consistent and effective session with a model adoptin
16.
by larve 1y ago
I'm always a very serious person while I wait for people to join the stream. I'm sorry you weren't impressed, but tbf that's not really my goal, I just like building things and yapping about it.
17.
by larve 1y ago
Not sure what you mean? This was a demo in a live session that took about 30 minutes, including ui ideation (see pngs). It’s a reasonably well featured app and the code is fairly minimal. I wouldn’t be able to write something like that in 3
18.
by larve 1y ago
Since I get downvoted because I guess people don’t believe me, I’m sitting at breakfast reading a book. I suddenly think about yaml streaming parsing, start a gpt research, dig a bit deeper into streaming parser approaches, and launch a dee
19.
by larve 1y ago
You can look at my GitHub, and I stream full unedited sessions on https://youtube.com/@program-with-ai
20.
by larve 1y ago
Trivial is a pretty big word in this context. Expanding an idea into some sort of code is indeed a matter of waiting. The idea, the prompt, the design of the overall workflow to leverage the capabilities of llms/agents in a professiona
21.
by larve 1y ago
I only review what needs to be reviewed, I don’t need to fully review every prototype, shell script, dev tool etc… only what is in the critical path. But if llms show us one thing, it’s how bad our code review tools are. I have a set of tre
22.
by larve 1y ago
I don't think so, although I think at that point experience heavily comes into play. With GPT-5 especially, I can basically point cursor/codex at a repo and say "refactor this to this pattern" and come back 25 minutes la
23.
by larve 1y ago
I have linked my github above. I don't know how that fares in the bigger scope of things, but I went from 0 opensource to hundreds of tools and frameworks and libraries. Putting a number on "productivity" makes no sense to me
24.
by larve 1y ago
Their main point is "AI coding claims don't add up", as shown by the amount of code shipped. I personally do think some of the more incredible claims about AI coding add up, and am happy to talk about it based on my "evi
25.
by larve 1y ago
In case the author is reading this, I have the receipts on how there's a real step function in how much software I build, especially lately. I am not going to put any number on it because that makes no sense, but I certainly push a lot
26.
by larve 1y ago
codeact is a really interesting area to explore. I expanded upon the JS platform I started sketching out in https://www.youtube.com/watch?v=J3oJqan2Gv8 . LLMs know a million APIs out of the box and have no trouble picking m
27.
by larve 1y ago
I don't think that COBOL, BASIC, SQL have failed. They allowed many non-technical people to get started building things with computers. The skills to vibe-code (or more generally building applications with LLMs) are not reading and wri
28.
by larve 1y ago
A computer always was a tool to enable people without technical knowledge to build software. That was true for me as 9 year old in the 80ies. LLMs are incredible engineering tools and brushing them aside as nonsense is imo doing a disservic
29.
by larve 1y ago
fair enough, i missed that part.
30.
by larve 1y ago
what about having vibe coders catch up to experienced software developers also using LLMs / AI tools?

More ›