User23

21 ms·

1.
by User23 4d ago
Monetarily Nvidia isn’t creating any money at all.
2.
by User23 2mo ago
That reminds me of how I had had to cross compile a Linux kernel with a special USB patch to install a system on my Bondi Blue iMac.
3.
by User23 2mo ago
I had a dream as a kid that my parents had finally bought a Color Macintosh. Imagine how heartbroken I was when I woke up. That MacUser issue for the Mac II was basically torture.
4.
by User23 2mo ago
Imagine you find yourself making TC $1M+ a year owning some beloved piece of software. Do you A) tell your management hey it's absolutely perfect as is, let's just chill, leave it alone and let the money roll in. Or B) tell manage
5.
by User23 4mo ago
I'm really pleased how wildly all the other commenters are misunderstanding this. I was counting on this concept as competitive advantage. But since the algorithm isn't going to surface me anyhow, for giggles I'll say I'
6.
by User23 4mo ago
You should read a little book called Games People Play . Focus particular attention on the section on the game "Indigent." This isn't a resource allocation problem, or rather, it isn't a resource allocation problem the
7.
by User23 4mo ago
This postulates that policy is set by consensus. Now I haven't done any scientific polling, but my informal anecdotal experience is so overwhelmingly to the contrary that I'm comfortable believing that consensus isn't determi
8.
by User23 5mo ago
> To build a theorem prover you need to take away some capability (namely, the ability to do general recursion - the base language must be total and can't be Turing complete), not add new capabilities. In Haskell everything can be &
9.
by User23 5mo ago
This is all of them, properly speaking. Incidentally, this is pretty much what Algol 60 was designed for and why to this day many academic papers use it or a closely related pseudocode.
10.
by User23 5mo ago
How much of Mythos’s internals will researchers be able to recover from the flood of patches?
11.
by User23 8mo ago
I've felt for a long time that the field relies rather a bit too hard on absence of evidence being evidence of absence.
12.
by User23 8mo ago
SillyMUD branches will always have a special place in my heart. Who doesn’t love leveling up in Sesame Street?!
13.
How to Write a 21st Century Proof (2011) [pdf](lamport.azurewebsites.net)
24 points by User23 9mo ago|3 comments
14.
by User23 10mo ago
I meant more that symbols are a data structure with function and value slots. Last I knew strings, interned (which is also a Lisp reference) or not don't have that.
15.
by User23 10mo ago
That’s really not true for Lisp. Ruby, like its predecessor Perl, is one of the finer examples of Greenspunning and shows a lot of Lisp influence. Unfortunately I can’t read the actual submission right now due to the cloudflare outage.
16.
by User23 1y ago
This has been true in the USA since approximately 1965, at least. Analysis has shown the general public has absolutely no say in policy making; literally everything is for this or that influential “special interest.” This is borne out in th
17.
by User23 1y ago
Has there been a supply chain attack with an LLM conduit yet? Because that would be spicy and is assuredly possible and plausible too.
18.
by User23 1y ago
Asynchrony, parallelism, concurrency, and even deterministic execution (albeit as a degenerate case) are all just species of nondeterminism. Dijkstra and Scholten’s work on the subject is sadly under appreciated. And lest one thing this was
19.
by User23 1y ago
Some people get literally high when running. Some don’t. The get high types invariably posture as if they have more dedication or willpower. Funny stuff.
20.
by User23 1y ago
It took decades to gut American consumer manufacturing. Anyone who thinks it can be brought back without pain is deluded. But nevertheless, it’s worth that pain. As the Chinese are well aware, every time in history a great financial power a
21.
by User23 1y ago
Given that we basically use the same technique for censuses today, the ancient ones probably weren’t especially less reliable.
22.
by User23 1y ago
Next do ticks.
23.
by User23 1y ago
> You can’t avoid parentheses Well, you can with reader macros, assuming you’re willing to consider an init file that you only look at when you write sufficiently avoidant. It’s not done though, because experience has shown it’s not real
24.
by User23 1y ago
Have you seen LOOP[1]? That example barely scratches the surface too. As for being able to make words mean different things and break grammatical strictures; that’s called poetry when we do it in English. And yes there is bad poetry, but so
25.
by User23 1y ago
Canonically indented Lisp reads an awful lot like Python. You don’t read the braces, you read the indentation.
26.
by User23 1y ago
I would make a stronger statement and say that this belongs squarely on the effect and not the cause side. I could be wrong, but I doubt it. Amino acid depletion sounds way more likely to be due to some kind of disruption in homeostasis rat
27.
The Natural Rate of Interest is Zero (2005) [pdf](moslereconomics.com)
3 points by User23 1y ago|0 comments
28.
by User23 1y ago
This is super cool! Creating an assembler with Lisp syntax and then using that to bootstrap a Lisp compiler (with Lisp macros instead of standard assembler macros) is one of those otherwise pointless educational projects I’ve been wanting t
29.
by User23 1y ago
More precisely it’s because the EU has no fiscal unified fiscal policy. Every member is a currency user of a foreign currency it must acquire from the ECB. Wynne Godley explained this all nicely in Maastricht and All That .
30.
by User23 1y ago
All else being equal a more fit person is more likely to avoid an otherwise fatal accident.

More ›