lioeters

17 ms·

241.
by lioeters 3mo ago
> statistically most likely Isn't that pattern matching essentially?
242.
Eternal Software Initiative Based on Subleq One-Instruction-Set Computer(github.com)
29 points by lioeters 3mo ago|9 comments
243.
by lioeters 3mo ago
I recently learned about that too, how Lean provides ways to create new language syntax and DSLs, which is (on the surface) similar to Lisps like Racket. It's like operator overloading but way more flexible and general purpose. I'
244.
by lioeters 3mo ago
It reminds me of people who built businesses on top of APIs provided by Facebook, Reddit, etc. One day the company decides to rug pull the public interface, either to replace it with their own competing product or nothing at all. The anti-c
245.
by lioeters 3mo ago
You're swallowing the bait, hook and sinker.
246.
by lioeters 3mo ago
> Without dramatically upending our understanding of quantum field theory, there is no room for any new influences that could bear on the problem of consciousness. This kind of intellectual arrogance and blindness is exactly how people b
247.
by lioeters 3mo ago
Yo-ho-ho, and a bottle of rum. Sail the high seas, and all the world's knowledge is yours.
248.
by lioeters 3mo ago
Hm, I checked the site and it does have one of these: <meta name="viewport" content="width=device-width, initial-scale=1.0"> Which is the standard. I wonder if something else is interfering with it.
249.
by lioeters 3mo ago
The failure scenarios are fun to imagine, like uncontrollable brain growth or waking nightmares as weird side effect of centuries-old brain.
250.
by lioeters 4mo ago
Perceiving plant gods and spirits is closer to experimental science, attempts to describe and make sense of your actual lived experience. Dismissing them without any evidence or experience, just because they don't fit in the worldview
251.
by lioeters 4mo ago
Even an AGI can't accomplish the impossible.
252.
by lioeters 4mo ago
Ah but it would be infintely more impressive if you can create life with it.
253.
by lioeters 4mo ago
Of course plants have feelings and conscious experience, it's obvious to anyone who has spent time living with them. Plants literally think and solve problems, too. But you won't succeed in convincing anyone who doesn't under
254.
by lioeters 4mo ago
There's so much to love about this comment, especially this part: > Cosmology is one of the most beautiful sciences in my experience, precisely because we have such good ways to model the observations to probe various models, and yo
255.
by lioeters 4mo ago
This is one of those language features that you can't unsee after you learn about it. In hindsight it feels like it should have been common sense, like avoiding or preventing global variables, GOTO statements, mutable state, etc. And u
256.
by lioeters 4mo ago
Thank you for the effort of putting together the site and material, making the world a better place.
257.
by lioeters 4mo ago
Oh right, I saw that comment too, and grabbed a bunch of interesting-looking books on mathematics. Glad the website got more attention, good stuff!
258.
by lioeters 4mo ago
Damn it, all the AI hype bros have dulled my sarcasm detector. Well played.
259.
by lioeters 4mo ago
He's still on the idealistic believer stage of the hype cycle, when the world has moved on to the disillusionment stage of the rollercoaster.
260.
by lioeters 4mo ago
Found a good phrase to describe the situation: > "I'm all right, Jack" is a British expression used to describe people who act only in their own best interests, even if providing assistance to others would take minimal to
261.
by lioeters 4mo ago
I always imagined the HN server running on a single machine in some basement, running a magically efficient Lisp program that easily handles millions of requests per second.
262.
by lioeters 4mo ago
That's the ideal solution, because (it seems to me that) the issues that break rich text editors are caused by non-interoperable ad-hoc hacks from mobile browsers and operating systems. These rich text editors can work perfectly fine o
263.
by lioeters 4mo ago
That makes sense, how larger projects benefit from static typing not only for the project itself but the build process. And how it helps with reliability and predictability during the compilation step, instead of finding out during run time
264.
by lioeters 4mo ago
I guess the "guidance system" is not located in any organ or individual bird, but as a kind of accumulated collective knowledge. Perhaps the term was misleading, since it's a metaphor relating to a mechanism in individual air
265.
by lioeters 4mo ago
I like the focus on simplicity, staying with C and no other requirements, and the choice of Lua. I'm a casual user of CMake but not too enthused about it, so I'll give this a try. Honestly I don't know if static typing is tha
266.
by lioeters 4mo ago
We can run Leanstral locally on commodity/consumer hardware. Nuff said.
267.
by lioeters 4mo ago
You know, I was going to reply to the person who called out your comment as an "ad", because I visited the site and it's actually relevant to the topic under discussion (Leanstral). And not even selling anything. My thought w
268.
by lioeters 4mo ago
I liked this article. Richly illustrated and kept things interesting, even for a reader who is familiar with most of the material. Maybe too long for a single reading though, you might have better response by publishing in more digestable c
269.
by lioeters 4mo ago
> trying to destroy western tech Clearly you're in the last quarter of the demographic described.
270.
by lioeters 4mo ago
Read the book, a second time if you have to.

More ›