lioeters

20 ms·

421.
MicroHs, a Tiny Haskell Compiler – Lennart Augustsson(github.com)
5 points by lioeters 6mo ago|0 comments
422.
Lambda Calculus in K(ngn.codeberg.page)
3 points by lioeters 6mo ago|0 comments
423.
by lioeters 6mo ago
Well put. There is a wealth of world literature, poetry and song, in various cultures from Buddhist, Christian mystics, Sufism, etc., that celebrate this state of being free from your "self". It's called "death" bec
424.
by lioeters 6mo ago
Indeed, it was clear from the beginning, "AI" companies want to become infrastructure and a critical dependency for businesses, so they can capture the market and charge whatever they want. They will have all the capital and data
425.
by lioeters 6mo ago
It's an intriguing idea. Having experience with software but almost none (only hobbyist) in hardware, I imagine it'd require a strong type system and mathematical foundation. Perhaps something like Agda, a language that is a proof
426.
by lioeters 6mo ago
The article is based on this study: The phonology of sperm whale coda vowels - https://doi.org/10.1098/rspb.2025.2994 > In the present paper, we demonstrate that sperm whale codas not only resemble human vowels acou
427.
by lioeters 6mo ago
Great point about trains being featured in Russian novels. I imagine trains are well-represented in Japanese literature too, as well as film and maybe poetry. That's an angle I'd enjoy investigating further for other cultures. Sur
428.
by lioeters 6mo ago
> no gain other than it’s pretty Conceptual elegance is worth something, isn't it? I don't mean just aesthetic pleasure, as in recreational mathematics, but there's often (not always) value in being able to succinctly desc
429.
by lioeters 6mo ago
It's an international coordinated effort to undermine every single citizen's privacy, an agenda being pushed for years, again and again in every country and state, by a coalition including Google, Facebook, Microsoft, etc., corpor
430.
by lioeters 6mo ago
You missed the part where the number is being used as a 1-bit stack. They never claimed novelty, it's just a neat technique that might be unfamiliar to most people.
431.
by lioeters 6mo ago
The URL is already pointing at v2, which apparently is the newest one requested by the comment above. > Submitted on 23 Mar 2026 (v1), last revised 4 Apr 2026 (this version, v2)
432.
by lioeters 6mo ago
Even before I started the video, I had a feeling it was going to lead to a kind of "introspective" mathematics that can reason about its own reasoning. I was not disappointed, thank you. Physics, Topology, Logic and Computation: A
433.
by lioeters 6mo ago
> A calculator with just two buttons, EML and the digit 1, can compute everything a full scientific calculator does Reminds me of the Iota combinator, one of the smallest formal systems that can be combined to produce a universal Turing
434.
by lioeters 6mo ago
It's also deep, it goes all the way to the bottom. > The world of mathematics is both broad and deep, and we need birds and frogs working together to explore it. -- Freeman Dyson
435.
by lioeters 6mo ago
APL is how non-programmers imagine what programming is, a kind of sorcery involving exotic symbols and elaborate ritual processes to create data and algorithms out of thin air. Like LISP, it's an eternal classic that every generation r
436.
by lioeters 7mo ago
Good news: the universe is written in LISP. Bad news: with no comments.
437.
by lioeters 7mo ago
That makes sense, with that "guard" at the top, the rest of the function can return the pointer anywhere. And I imagine the compiler will ensure the empty string literal is created only once. Good to know!
438.
by lioeters 7mo ago
It will be messy, but if the EU can make political and economic decisions for the benefit of their own people, instead of subservient to the US, this paradigm shift could turn out to be very healthy and productive for the region and future
439.
by lioeters 7mo ago
I thought that was a typo or the forum software removed something, but no - it's a pointer to an empty string literal. If I understand how that works, this creates a null byte (in the read-only memory section of the compiled output?) a
440.
by lioeters 7mo ago
> bootstrapping This project reminds me of: The Design of a Self-Compiling C Transpiler Targeting POSIX Shell - https://dl.acm.org/doi/10.1145/3687997.3695639 It's not just a toy or a fun hobby project, th
441.
by lioeters 7mo ago
Ah I was hoping to get a discussion started but no one bit the bait, haha. But I'm glad you saw it so I can personally thank you for a thoughtful article! I like the "Dot a Day" idea too, and enjoyed seeing a glimpse of the w
442.
by lioeters 7mo ago
Excellent comment, much appreciated. I knew some of this before but seeing the dots connected in a succinct summary helped deepen my understanding, especially the relevance/equivalence to formal logic and proofs. Now I'm starting
443.
by lioeters 7mo ago
Now that you mention it.. List of capabilities: read:content write:content read:media write:media network:fetch read:users email:send email:provide email:intercept Also: > ### Trusted Mode > Trusted plugins ar
444.
by lioeters 7mo ago
This is an article about the advantages of keeping your code projects in a monorepo. I was surprised to see it because I'd started doing the same a while ago, as it naturally evolved, and found similar benefits to the ones in the artic
445.
I Am a Cross-Cutting Concern: On Having a Personal Monorepo(scottlawsonbc.com)
5 points by lioeters 7mo ago|3 comments
446.
by lioeters 7mo ago
Oh you're right, I was confused by the rich cultural exchange of translations happening at the time, from Greek and Sanskrit texts to Arabic then later Arabic texts to Latin. Both the book and the author are fascinating subjects I enjo
447.
by lioeters 7mo ago
Cloudflare Workers solves their "scaling the price to infinity" problem.
448.
by lioeters 7mo ago
Al-Jabr, from where we get the word albebra , is an abbreviated name of the book (The Compendious Book on Calculation by Completion and Balancing). The translator's name was al-Khwarizmi, from where we get the word algorithm . He was
449.
by lioeters 7mo ago
We're witnessing a divergence between Coders and Clauders, with the latter dominating the market at a lower cost of labor + subscription fee to the almighty AI providers. Coders may be called in, hopefully with better renumeration, to
450.
by lioeters 7mo ago
Insightful comment, thanks!

More ›