lioeters

10 ms·

181.
by lioeters 3mo ago
I'm not familiar but I think this paper describes how OxCaml works: Oxidizing OCaml with Modal Memory Management - https://dl.acm.org/doi/10.1145/3674642 > We focus on three mode axes: affinity, uniqueness
182.
by lioeters 3mo ago
Oh wow, what a treat, an entire interview with the author! I posted this link because I loved his story of living in an off-grid mountain cabin with a computer, programming Apple Writer. After the success of the software, it sounded like he
183.
CLR: Checker of Lifetimes and other Refinement types for Zig(github.com)
3 points by lioeters 3mo ago|0 comments
184.
by lioeters 3mo ago
Also OxCaml, from what I hear.
185.
by lioeters 3mo ago
Instead of waiting for faster compiler in Rust, how about from the other direction, adding some kind of borrow checker to Zig? That sounds more within reach and practically achievable, possibly even in userland.
186.
by lioeters 3mo ago
> results indicate that linguistic representations are neither utilized nor required for inductive or deductive logical reasoning. It's often said that "Writing is thinking." At least verbal and written language is conside
187.
by lioeters 3mo ago
Very creative visual joke. I love it when a funny idea is taken seriously and actually implemented. Nice work!
188.
by lioeters 3mo ago
That's not a lion, it's the tortured soul of an artist.
189.
by lioeters 3mo ago
Hilarious, the software industry is a parody of itself. Sadly I understood most of the jargon, a sign that I'm in way too deep. Time to step away from the madness of crowds, and return to monkey. Press <button> to restart.
190.
by lioeters 3mo ago
That's an informative overview. Somewhere in the story was Node.js and libuv, the callback style, promises, and the popularization of the async/await paradigm. Not sure if there was a direct influence on Rust's async librarie
191.
by lioeters 3mo ago
Since the article was written 9 years ago, I wonder what the state of the art is in using concurrency in JavaScript. Concurrency in JavaScript (2023) - https://www.honeybadger.io/blog/javascript-concurrency/ Moder
192.
by lioeters 3mo ago
The infinite tower of elephants is ringed by dancing worshippers wearing elephant masks and tusks, bowing with arms raised, then raising their faces up to the sky in ecstasy. "All hail, the Great Elephant of all existence! No room can
193.
by lioeters 3mo ago
I think it got fixed since the parent comment was posted, because I was not able to download at the time either, and now it works. In the meantime I tried to find the file with archive.org, seeing what other URLs were archived under the Cam
194.
by lioeters 3mo ago
I'm sure it is, and thought it's a clever and humorous title. It made me wonder, what other books and articles on scientific or mathematical subjects reference works of classical music, art, literature. Goedel Escher Bach, of cour
195.
by lioeters 3mo ago
Wonderful, I read a little about House of Leaves, and am intrigued. What a great way to have a book recommended, looking forward to reading it. :)
196.
by lioeters 3mo ago
This article and your comment reminded me of something Stephen Wolfram was saying about "mining" the latent space of, in his case, cellular automata as a computational medium. A quick search yields this somewhat older talk: Mining
197.
by lioeters 3mo ago
That's really good, I'll have to read some of his work (Jacek Dukaj). It makes me think about the role of indeterminacy and unpredictability in physics. And reminds me of..who was it, Gurdjieff maybe, who taught that humans are li
198.
by lioeters 3mo ago
> We found a large number of books in these characters and, as they contained nothing in which were not to be seen as superstition and lies of the devil, we burned them all, which they regretted to an amazing degree, and which caused the
199.
by lioeters 3mo ago
Related: Private equity firm K1 acquires MariaDB (2024) https://news.ycombinator.com/item?id=41506124 (91 comments)
200.
by lioeters 3mo ago
Abstract: As the use of citing electronic World Wide Web sites grows, the question arises as to whether this practice has scholarly limitations due to the fact that uniform resource locators (URLs) often become inaccessible. This research s
201.
John Archibald Wheeler: It from Bit(en.wikipedia.org)
2 points by lioeters 3mo ago|1 comments
202.
by lioeters 3mo ago
I think SimCity Classic had a similar feature.
203.
by lioeters 3mo ago
C++ is a decades-long mistake that spawned other misguided directions in the entire software industry. We're still trying to undo many of the bad ideas, but I'm afraid even Rust has too much of C++ in it, not only in terms of synt
204.
by lioeters 3mo ago
I see, very interesting, thanks! I've been curious about Sanskrit "indirectly" from learning about root words in Slavic (and other) languages, as they call it proto-Indo-European roots. Similarly with ancient Greek or Latin,
205.
by lioeters 3mo ago
That's fascinating to learn. I'm curious, is there a political angle to the revival of some of the languages? The posted article mentions "values and traditions" associated with Sanskrit, and I imagine some religions a
206.
by lioeters 3mo ago
The revival of Hebrew is a counter example, of a "ritual" language that managed to become a practical daily language for written and spoken communication.
207.
by lioeters 3mo ago
Kinda getting dizzy thinking about all the loops we're embedded in. Where is the still point in these turning wheels of the world.
208.
by lioeters 3mo ago
I imagine the extreme physical constraints will force us to explore alternative and unconventional forms of machines and computers, built from different materials available. For example, molecular or microscopic scale of self-replicating ma
209.
by lioeters 3mo ago
Curious how this affects date/time algorithms and software libraries, particularly those that do not have a way to sync with an external authoritative source of time. I guess they all need to be updated to account for this change?
210.
by lioeters 3mo ago
What an interesting word, "ergodic". Searching for its meaning led me to some curious corner of mathematics and physics. Then I found this definition: > Ergodic literature is a mode of textual organization in which nontrivial e

More ›