m0llusk

3 ms·

1.
by m0llusk 5d ago
That is a bad faith summary. LLM driven proofs are turning out to be hard to verify, often take invalid shortcuts, and may not actually be helpful in getting humans to understand either the proof or related context. Even if one accepts yo
2.
by m0llusk 5d ago
Generating and mastering language are two very different things. Even the best LLMs still have no ability to understand or work with abstractions.
3.
by m0llusk 7d ago
In short, no. The two types of thinking are both forebrain activity. One comes to a quick guess with pattern matching, the other goes slower with reasoning. It could be that some fast thinking is influenced by the hindbrain in some way,
4.
by m0llusk 11d ago
Mostly this is looking at architecture as urban sculpture. That is relevant, but the most critical experience of a building is on the inside. Modern designs spearheaded modern interior spaces including spacious corridors, atriums for expo
5.
by m0llusk 16d ago
Life saving is a good metric. So also are incidents of blocking traffic or interfering with responders. Navigation is only one aspect of driving which is a social act and requires both sophisticated understanding of context and communicat
6.
by m0llusk 17d ago
Linked cameras everywhere all the time has been coming for a while. Cheap hardware, connectivity, and analysis means who pays is not only not limited to governments and big companies but is barely even relevant. The remaining question is
7.
by m0llusk 25d ago
That isn't true. The original Apple Store proposal by Bertrand Serlet is available and it is pretty clearly driven by the need to polish the user experience of installing and managing applications. Being able to charge a significant
8.
by m0llusk 1mo ago
Alternatively these mechanisms push toward subcultures. Several tight and successful groups come to mind: Environmentalists may be weird, but they bring attention to real problems for society generally and have had significant success desp
9.
by m0llusk 1mo ago
Hierarchy is the default because it is so simple. Designing alternative structures for responsibility raises lots of unexpected complexity. A good example of this is the Benefit Corporation idea which is gaining support and polish over ti
10.
by m0llusk 1mo ago
Text is an extremely information dense medium. It makes sense for user interfaces to be centered around text. This keeps the focus on the data and its transformation.
11.
by m0llusk 1mo ago
It's worse than that. He is so completely off that he thinks this means US builders will chose to buy US lumber instead and that will work out positively for everyone in the US.
12.
by m0llusk 1mo ago
The end of the day is now.
13.
by m0llusk 1mo ago
Eisenhower who, despite being exhausted by WWII efforts, ran for presidency because he saw that as the only way to prevent a civil war. Nowadays the American Left is Center Right, but back then the American Right was Center Left. Things c
14.
by m0llusk 1mo ago
And that is what remains of the Pacific sardine fishery. It used to be that sardines were plentiful all around Monterey, but during WWII fishermen used improved sensors to track down and remove all schools of sardines until they were gone.
15.
by m0llusk 1mo ago
Seems like rules for using spreadsheets more strictly would suffice. Call this abstraction TypeSheet maybe?
16.
by m0llusk 2mo ago
My family used it to capture programming we couldn't normally be around for, especially late night BBC content on PBS. Pretty much all we used it for was DVR style recording.
17.
by m0llusk 2mo ago
And the value of nothing.
18.
by m0llusk 2mo ago
Maybe more like do not interrupt the hype train while it is derailing?
19.
by m0llusk 2mo ago
Actually, house mice appear to have a common ancestor which lived somewhere around India roughly 400,000 years ago.
20.
by m0llusk 2mo ago
Also very strongly mean reverting.
21.
by m0llusk 2mo ago
Sometimes it is possible to pinpoint problems if not fix them. In my limited experience the Godot source is quite accessible and straightforward despite the complications of multiplatform builds.
22.
by m0llusk 2mo ago
It is also the timing of building booms. Problems being exposed have triggered regulations and enforcement in Venezuela but that is relatively recent and much inventory was built decades before.
23.
by m0llusk 2mo ago
Absolutely not the case. Even relatively simple real world uses involved collections of shell scripts to carefully mount or initialize services in just the right order and would often fail with weird and infrequent timing glitches. With s
24.
by m0llusk 2mo ago
Seems like maybe now we have sufficient tools to actually get on top of string theory. And ultimately it is all about coming up with explanations and formulas and tools that people can use in facing real challenges.
25.
by m0llusk 2mo ago
It is more complicated than that. Markets have the structure and regulations we give them. Health care gets set up and delivered with very different concepts and guidance in various places regardless of whether it is for profit.
26.
by m0llusk 2mo ago
LLMs improve development speed such that enshittification can be in progress well before the IPO.
27.
by m0llusk 2mo ago
This is hyperbolic. Users that started with the older interface often prefer that. Humans do not like change. This is a trap that many software developers offering prereleases also fall into. The safety claim has as much to do with main
28.
by m0llusk 2mo ago
Really sad that the latest tech debacle gets the Silicon Valley label while so much interesting and constructive work plods along in relative dark.
29.
by m0llusk 2mo ago
Ironic that this piece is mostly discontent.
30.
by m0llusk 2mo ago
Seems like property ownership histories could be one of the few good applications of blockchain technology.

More ›