lioeters

13 ms·

211.
by lioeters 3mo ago
> never heard of a bit ever having more than two possible values It's not represented by a "bit", binary digit with value of 0 or 1; but with a "trit", ternary digit with value of {−1, 0, +1}.
212.
by lioeters 3mo ago
In a different comment thread, someone mentioned the book, Category Theory for Programmers. Here's the Releases page with PDF files (click to open the Assets section). https://github.com/hmemcpy/milewski-ctfp-pdf&#
213.
by lioeters 3mo ago
That was an excellent thoughtful comment, thanks. I'm going to be thinking about this part particularly: > I suspect that the contest we are going to see in the next few years is: can Founders out-code Coders, or can Coders out-fou
214.
by lioeters 3mo ago
As soon as Linus retires, there will be an initiative to rewrite the Linux kernel in Rust assisted by LLMs. Either that, or some company will fund a fork before that. Imagine, man pages full of emojis!
215.
by lioeters 3mo ago
You're right. It's disappointing to see an established name, which I used to respect as a voice of an experienced programmer, pivoted to a different field and purpose. There's no substance or personality there anymore, only a
216.
by lioeters 3mo ago
"Social physics" is pseudo-science abusing the name of physics and actual scientific terms to pretend it's even in the same ballpark.
217.
by lioeters 3mo ago
There's a "training" channel where you can practice without annoying the more fluent users. You can choose the channel with the select menu at the top of the page, where it says "ch1". I belong there for a while.
218.
by lioeters 3mo ago
Completely different approaches. The TypeScript Go port was done responsibly, reviewing every line ported, publishing both runtimes in parallel to give it time for real-life battle testing, with plenty of communication to the community abou
219.
by lioeters 3mo ago
Found it: https://morse.halb.it/ Source: https://github.com/robalb/morsechat
220.
by lioeters 3mo ago
Indeed, both Thurston's quote about mathematics, and Naur's programming as theory building, are classics that are relevant now more than ever. A download link for the latter: https://gwern.net/doc/cs/algo
221.
by lioeters 3mo ago
In my experience, it's the opposite. Immediate mode GUI, or at least a functional and declarative approach, is the only way I've seen it scale well. It's more modular and scale-independent. On the other hand, retained mode, o
222.
by lioeters 3mo ago
Curious to see if that can map to what's happening in the software industry/community. > The product of software engineering (or computer science) is clarity and understanding. Not programs, by themselves. Their importance is n
223.
by lioeters 3mo ago
Yes, I understand, like you I have the same question and desire for a map of all knowledge. It relates to library science, how to organize all books on all subjects; and in general, the aim of academia, an organized system to learn, researc
224.
by lioeters 3mo ago
I think it would be better to approach it from the other side, the priority is not to design a language for LLMs but a language more suitable for humans to think with. And not a natural language like English, which is inconsistent and allow
225.
by lioeters 3mo ago
It may be a question of perspective, but in my mind mathematics is upstream to everything else, including physics, biology, etc. And it doesn't just exist in the human mind or the "world of forms", as in Platon's realm
226.
Cottage Computer Programming (1984)(atariarchives.org)
42 points by lioeters 3mo ago|10 comments
227.
by lioeters 3mo ago
Mac only. :( But I love the brutalist site design!
228.
The Energetic Costs of Cellular Computation (2012)(arxiv.org)
30 points by lioeters 3mo ago|3 comments
229.
Computation in Physical Systems(plato.stanford.edu)
2 points by lioeters 3mo ago|0 comments
230.
by lioeters 3mo ago
This is a deep question. Many a great mind in history have thought about how to organize all of the world's knowledge systematically. > Indeed, the purpose of an encyclopedia is to collect knowledge disseminated around the globe; to
231.
by lioeters 3mo ago
Eichmann in Jerusalem: A Report on the Banality of Evil Hitler's Willing Executioners: Ordinary Germans and the Holocaust Ordinary Men: Reserve Police Battalion 101 and the Final Solution in Poland Popular Opinion and Political Dissent
232.
by lioeters 3mo ago
Looks like Mine is part of Coalton's repo. https://github.com/coalton-lang/coalton/blob/main/mine/READM...
233.
Gradual Disempowerment: Systemic Existential Risks of Incremental AI Development(arxiv.org)
1 points by lioeters 3mo ago|0 comments
234.
by lioeters 3mo ago
That tsts project looks very interesting. I suppose there are various practical reasons for doing this. For me I'm just glad to see an easy way to run the newest TypeScript compiler (and I guess type checker?) in the browser. There&#x2
235.
by lioeters 3mo ago
5. Delete comment.
236.
by lioeters 3mo ago
1. Visit website. First thing I see is in-your-face advertising to subscribe. 2. Scroll past it to start reading. Realize I'm just reading more ad text with various dollar amounts. 3. A modal window pops up above the text. Guess what,
237.
by lioeters 3mo ago
Why did I have to see this mysterious and intriguing code in the morning, now my brain won't rest until I learn what every symbol means and how it works. Thanks for sharing!
238.
by lioeters 3mo ago
Fair enough. Without seeing the code itself, one can only judge the book by its cover. I'm interested, but maybe not quite the target audience.
239.
by lioeters 3mo ago
Closed source (and vibe-coded) software, especially for a language runtime, is a non-starter for many people including myself. But proprietary license is actually common in the APL and K family of languages. They are fascinating though, and
240.
by lioeters 3mo ago
Before you get downvoted to oblivion, please enlighten us on what you mean by "agent of regime". Which regime do you mean, and is there evidence he (c)overtly worked with them?

More ›