lanstin

4 ms·

31.
by lanstin 1mo ago
Because the 1890s and 1930s were famous for their population wide critical thinking, of course. Good heavens, what do they teach in the schools these days.
32.
by lanstin 1mo ago
Yeah, I have to say some of this deskilling argument sounds like Socrates complaining about the invention of writing ruining people's ability to truly own the text. I really don't mourn my lost assembly skills or my lost C skills.
33.
by lanstin 2mo ago
I just took a Waymo in San Jose, having taken a few from San Francisco - it dropped me off in a place that would have made sense in SF (across the street from my destination at a light, avoiding a U turn) but was terrible in the suburban st
34.
by lanstin 2mo ago
Cool. I was thinking of a book with like some industrial waste accident at solar system scale but natural masters ranks up their with natural Uranium chain reaction in the crust.
35.
by lanstin 2mo ago
I don’t think the results would be as good if you just prompted “make this faster” as compared to “make this multithreaded”. You had high confidence in the cause of the slow down which a non-technical person might not have.
36.
by lanstin 2mo ago
Someone needs to write a book with a story of how this might have happened.
37.
by lanstin 2mo ago
Me typing into emacs is also not replicable, until I git push. Me with emacs and a good coding LLM can generate systems that I see as good, in my extensive professional judgement. For coding, for production grade code, the LLM will mostly
38.
by lanstin 2mo ago
As an Oxford undergrad I read a lot of Bourbaki on topology, to supplement the lectures; they were recommended by the lecturer. I loved their style of writing and the cleanliness of the approach. I have not been assigned Gödel's paper
39.
by lanstin 2mo ago
Or delightful if you used to have pi digit contests in math camp as a middle schooler.
40.
by lanstin 2mo ago
The extraneous stuff is honestly fabulous, IMO of course. Just being able to listen to a four part fugue sensibly is a rare but accessible pleasure. And amusing dialogs as an instantiated dialectic for showing the truth synthesized from app
41.
by lanstin 2mo ago
I had my copy signed by Prof Hofstadter; a treasure to this day. Led to a maths degree, years of organ playing classes, a career in software, and a Zen practice going on 20 years. And I'm pescatarian. I even wrote a few haiku when my b
42.
by lanstin 2mo ago
The Sunday Times - all the news that is fit to print.
43.
by lanstin 2mo ago
It’s a big universe and there are a lot of years, so chemical evolution seems like a decent tool for God to use. Much like General Relativity is a more efficient way to rule the world than assigning angels to push the planets thru the sky.
44.
by lanstin 2mo ago
Honestly just more “biology has enormous areas without enough data that need filling in” causing previous generalizations (e.g. the central dogma of information flow being replaced by protein regulation of gene expression, non-coding DNA, e
45.
by lanstin 2mo ago
They aren’t saying two totally different independent life creating event, they are saying that the earliest life depending on some external chemicals for parts of what is now covered by metabolism, and the tree of life diverged before those
46.
by lanstin 2mo ago
I thought work was finished to allow Hurd to use Linux device driver code as is?
47.
by lanstin 2mo ago
Firefox isn’t io bound it is spending a ton of CPU parsing network buffers and rendering UI. Nginx is IO bound in general - for my headless go stateful server, i could get syscall6 up to 20% of the profile time. It was a fight between GC in
48.
by lanstin 2mo ago
Not true in a data center - 20% less work for same CPU is like 25% more cores needed for any applications where the scaling is driven by CPU utilization. That is $ - and people have made things so far from efficient many medium size compani
49.
by lanstin 2mo ago
NetBSD or one of that ilk.
50.
by lanstin 2mo ago
yeah, vendor in is the only way to stay sane over time, if you understand the cost of dependencies (and have a reasonable security model). And forking some Python or Go dep on Github and using that instead of the canonical one is pretty erg
51.
by lanstin 2mo ago
Yeah, due to the friction of maintaining a private fork, I always upstream bug fixes I find where the fix is simpler than a work around. It's just neighborly. I don't it very often, maybe every 2 years? But a lot of other people d
52.
by lanstin 2mo ago
There is no universe where it is economically visble to replace a mathematician with a ChatGPT subscription, because no one else understands math. It makes no sense. The data are still interesting, but not for that capability.
53.
by lanstin 2mo ago
Consider the difference between “reasonable” and “rational”
54.
by lanstin 2mo ago
Already have
55.
by lanstin 2mo ago
I believe you are underestimating the value of GCC and LLVM having won the compiler wars and being extremely high quality, and of Linux having won the OS wars, being extremely high quality. I use GenAI every day, but the quality is still pr
56.
by lanstin 2mo ago
Without code copyright we are inherently free to modify, improve and share code we have access to. FSF used copyleft as a legal hack to maintain that right in an environment where corporations where using copyright to deny that right. I do
57.
by lanstin 2mo ago
Question was why ask an agent to make some cool PRs to a famous open source project. I have no clue.
58.
by lanstin 2mo ago
That’s a cool view. I personally am fighting people whose entire latency analysis begins and ends with median (I think I won on averages!) and pictures are compelling even to the non maths people.
59.
by lanstin 2mo ago
I don’t use it myself but a friend of mine uses it at a startup selling a cheap snowflake proxy and yeah, especially with new releases.
60.
by lanstin 2mo ago
This sounds like given a coherent structure to “I want the prod code here to change the retry policy so pending retries are held in memory in this edge layer instead of the DB writers so load can be shed more cheaply” and it will usher thin

More ›