awanderingmind

6 ms·

1.
What LLM coding agents have taken from me(awanderingmind.blog)
2 points by awanderingmind 8d ago|0 comments
2.
The Prevention of Literature (George Orwell, 1946)(orwellfoundation.com)
2 points by awanderingmind 5mo ago|0 comments
3.
by awanderingmind 8mo ago
My personal site where I post essays about various things - generated using hakyll: https://www.awanderingmind.blog/
4.
by awanderingmind 8mo ago
I found the writing, and the descriptions of the types of trisectors, strangely poignant. Most of us do not attempt to trisect an angle with straightedge and compass; but surely many of us have other irrational obsessions with which we wast
5.
by awanderingmind 1y ago
This is a strange analogy. The policy saves people money on their power bill. The backyward furnaces are considered a disaster because, among other things, they produced low quality steel, and diverted labour from agriculture and other thin
6.
In Praise of Idleness (1932)(harpers.org)
152 points by awanderingmind 1y ago|14 comments
7.
by awanderingmind 1y ago
I incorrectly had a ≤ instead of =, my apologies.
8.
by awanderingmind 1y ago
There is a lot of focus in the comments on the authors' credentials and, apparently, their writing style. It is a pity, because I think their discussion of scaling is interesting, even if comparing LLMs to grid-based differential equat
9.
by awanderingmind 1y ago
According to the actual paper ( https://arxiv.org/pdf/2506.24088 ), it has been an open conjecture since at least 1977. The quote: > Unknotting number has long been conjectured to be additive under connected sum; this
10.
by awanderingmind 1y ago
Cool example in that link, thanks!
11.
by awanderingmind 1y ago
Cool study. I really want to believe the results, but the effect on life extension is so large (see figure 2B) that I find it hard to. Maybe there was some uncontrolled confounding factor? It is noted in the 'Methods' section that
12.
by awanderingmind 1y ago
This perspective is addressed in the article... TLDR; that doesn't seem to be where this is going.
13.
by awanderingmind 1y ago
This is a rare type of article - a concrete analysis of different approaches to programming (that are arguably themselves reflections of different cognitive styles), that outlines the shortcomings of one approach in a specific domain, witho
14.
The Fallacy of Success (G.K. Chesteron, 1908)(gutenberg.org)
2 points by awanderingmind 1y ago|0 comments
15.
by awanderingmind 1y ago
You mean something like this https://en.wikipedia.org/wiki/Bremermann%27s_limit or this https://en.wikipedia.org/wiki/Quantum_speed_limit ?
16.
by awanderingmind 1y ago
I hope you are right - the point about energy efficiency is certainly spot on, and I do think it is possible that people are getting carried away by analogies when discussing the topic (I wrote something about that too, but will avoid linki
17.
by awanderingmind 1y ago
English is my second language too - ironically I am not so as proficient in my mother tongue, due to globalisation/imperialism. But it's ok, fortunately I love the language!
18.
by awanderingmind 1y ago
Well, it is still a career, but it's very niche, and more attuned to 'art' than 'documenting the world'.
19.
by awanderingmind 1y ago
Thanks for the positive feedback on my writing style! Based on feedback in this thread it seems to be a divisive topic, haha.
20.
by awanderingmind 1y ago
True! I don't literally live in a cave, but fortunately not everyone is so allergic to whimsical language :D.
21.
by awanderingmind 1y ago
A reasonable question - another way of looking at it is that theorems are just a side effect of mathematical research. Much of the world economy depends on things like cryptography, which involves a bunch of theorems. The question is then &
22.
by awanderingmind 1y ago
I am not suggesting models will be capable of generating 'all' proofs - that is clearly impossible. Merely that they will get better at doing so, and there is no clear reason at the moment to believe they will never reach a human
23.
by awanderingmind 1y ago
Some people do!
24.
by awanderingmind 1y ago
In my case, when you aren't paid to do it, and don't have (much) time to study it formally anymore.
25.
What does the end of mathematics look like?(awanderingmind.blog)
62 points by awanderingmind 1y ago|86 comments
26.
by awanderingmind 1y ago
I wasn't aware of this, thanks for posting! Very amusing.
27.
by awanderingmind 1y ago
'A language is a dialect with an army and a fleet ' --> I hadn't heard this before, love it! For the curious: https://en.wikipedia.org/wiki/A_language_is_a_dialect_with_a...
28.
by awanderingmind 1y ago
Good insight about how feelings of 'superiority' or 'sophistication' can suck the joy out of life. I fell into this trap myself, and it took a long time to get out of it. That said, there are times when a certain type of
29.
by awanderingmind 1y ago
The comparison to Pascal's Wager is apt - I came to the same conclusion when I first read about Roko's Basilisk, but the insight somehow slipped from my mind. It's like an epistemic tarpit attractor.
30.
by awanderingmind 1y ago
Good insight, thanks. I've been struggling with existential dread related to https://ai-2027.com/ - trying to refute the arguments is exhausting, I should probably just ignore it and get on with my life.

More ›