lioeters

13 ms·

271.
by lioeters 4mo ago
John Baez' recent work on Mathematics of Tuning Systems is such a fun read. I enjoy how he explains ideas so clearly that the general public can understand and appreciate.
272.
by lioeters 4mo ago
"Science" dot org, shilling for the highest bidder yet again. Keep the name of science out your mouth.
273.
by lioeters 4mo ago
That's the fun part, they never did.
274.
by lioeters 4mo ago
Indeed, his philosophy on the nature of mathematics is closer to "discovery", as in physics, than "invention" as in arbitrary game of rules and symbols (Hilbert) or language game (Wittgenstein). I forget who said, "
275.
by lioeters 4mo ago
I might have seen that Bootstrapping Rust article, how interesting. I've been curious about Guix for a while, one of these days I need to dive in and explore deeper. I really enjoyed their article on full-source bootstrap, it's re
276.
by lioeters 4mo ago
> WASM-as-IR .. (Is that a thing?) Yes, actually I've heard of some projects compiling a language to Wasm, then using wasm2c to translate to C. https://github.com/WebAssembly/wabt/blob/main/wasm2c
277.
by lioeters 4mo ago
There are several other examples that come to mind, of prolific and respected developers turning to AI-based workflow and ever since then just constantly producing mediocre content and code. The spark is gone, the taste, the genius - whate
278.
by lioeters 4mo ago
Seen this play out again and again: a tool becomes popular, starts incorporating other tools, including mananging language runtime versions. It wants to become the entire platform, to do everything with this one tool. After people get hooke
279.
by lioeters 4mo ago
Reflections on Trusting TRust.
280.
by lioeters 4mo ago
I agree, that conclusion made me reflect on my existence. What I think I know versus the infinite amount of detail I'm missing. It's good to be reminded that there's so much we don't know that we even don't know.
281.
by lioeters 4mo ago
> Of the fourteen researchers whose names adorn the seminal 2023 paper that unveiled Llama, only three research scientists remain at Meta. The other eleven team members, or 78% of the researchers, have largely departed to either join or
282.
by lioeters 4mo ago
In ten years we'll be drowning in subtle bugs introduced by the unreliable garbage that is machine-generated code, and the industry will hopefully have learned to never rely on anything that wasn't at least seriously looked over b
283.
by lioeters 4mo ago
> For the past 3 years, I have been working on compiling Rust to C. .. This is, by my count, the 14th attempt: cilly Gotta respect the dedication to a niche interest. > The primary goal of this is support for old/obscure hardware
284.
by lioeters 4mo ago
blogge
285.
by lioeters 4mo ago
News at 5: Team of corporate mathematicians working for OpenAI rewrites the foundation of mathematics in a billion lines of vibe-coded theorems and proofs that are so complex it's impossible for humans to review or understand. Next gen
286.
by lioeters 4mo ago
> John Baez's This Week's Finds posts As an aspiring amateur of recreational mathematics, it gives me joy to find this recommendation and start reading the series. It reminds me of Martin Gardner's "Mathematical Games
287.
by lioeters 4mo ago
Oh how interesting, a new take on reactive UI, curious to see how it works, I see there's a Vite plugin that compiles JSX. Looking forward to learning more, and how this relates to the TypeScript to C++ compiler. Hmm, sounds like the G
288.
by lioeters 4mo ago
It's a short (1min) video demonstrating a native GUI app written in TypeScript running on ESP32 and WaveShare display. The intriguing part is a TypeScript to C++ compiler mentioned at the end, with a link to: https://geastac
289.
by lioeters 4mo ago
Obscure? Carlo Ginzburg had definite themes and interests as a historian. A strong thread is pre- or non-Christian paganic beliefs and practices in Europe, including witchcraft. Night Battles is wild, it describes gangs of witches in Italy
290.
by lioeters 4mo ago
Nine of out of ten CTOs recommend Agentic™. Use it or your company will be left behind! Side effects include cognitive atrophy, uncontrollable logorrhea, loss of context and purpose in life, and occasional torment nexus.
291.
by lioeters 4mo ago
It's like when people obsessed about 2020, or 2000. It's a nice clean number in the decimal numbering system.
292.
by lioeters 4mo ago
The way of Woz is how you earn the respect of fellow nerds. The way of Jobs is how you "earn" a billion dollars.
293.
by lioeters 4mo ago
This is an excellent comment. Then I realized you're the same person who wrote the article I currently have open in the next tab. Advice for the next dozen Rust GUIs - https://raphlinus.github.io/rust/gui/2022
294.
by lioeters 4mo ago
Incremental lambda calculus is a fascinating concept, I hadn't heard of it before. A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation - https://dl.acm.org/doi/10.11
295.
by lioeters 4mo ago
You said the exact same thing a couple days ago. You don't know what you don't know. WebAssembly has been a great success thanks to its excellent initial design.
296.
by lioeters 4mo ago
Umberto Eco is a wonderful writer, up there with Borges. They shared a deep philosophical interest in language, exploring it from various angles in their works. Both widely versed in obscure literature, approaching it with wit and humor.
297.
by lioeters 4mo ago
Automath is also an early example. > Automath ("automating mathematics") is a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included
298.
by lioeters 4mo ago
That reminds me of a quote by Freeman Dyson on Stephen Wolfram's work. > "There's a tradition of scientists approaching senility to come up with grand, improbable theories. Wolfram is unusual in that he's doing this i
299.
by lioeters 4mo ago
In addition to the importance of making "mistakes", I would say "surprise" is a big element in creativity and humor. Perhaps these are related concepts, because a mistake is surprising. It's an unexpected departure
300.
by lioeters 4mo ago
The cognitive debt is by design. Now everyone must use an LLM to maintain the codebase, because it's beyond any single human's capacity for understanding.

More ›