lioeters

7 ms·

91.
Smooth Move: Taming Trajectories with Polynomials(nick.zoic.org)
31 points by lioeters 2mo ago|1 comments
92.
by lioeters 2mo ago
And nobody learned a thing.
93.
by lioeters 2mo ago
The best kind of propaganda is when people believe they're "thinking on their own" while repeating some convenient lie to keep the grift going. If you think that doesn't apply to you, then it's working as designed.
94.
Cultures of Programming: A Companion Exhibition to the Book(tomasp.net)
1 points by lioeters 2mo ago|0 comments
95.
4 Fundamental constants reveal minimum scales where physics ends: Planck scale(youtube.com)
1 points by lioeters 2mo ago|0 comments
96.
The Planck Scale with Countable Measure for All Quantities of Length and Time(vixra.org)
1 points by lioeters 2mo ago|0 comments
97.
Relativistic Algebra over Finite Ring Continuum(doi.org)
2 points by lioeters 2mo ago|0 comments
98.
by lioeters 2mo ago
> A growing number of theorists explore the possibility that space is not continuous, but rather discrete at the smallest scales. > This discreteness hypothesis implies that given two different points in space, there is no continuous
99.
by lioeters 2mo ago
"The sooner you can be broken out of your denial about all this the better, and we can start actually taking you seriously."
100.
Readable Code Is Unreadable: Incunabulum, an Implementation of J(blog.wilsonb.com)
3 points by lioeters 2mo ago|0 comments
101.
by lioeters 2mo ago
Sad to see formerly talented software developers become mediocre and bland, losing their unique flavor and personality. Maybe there's still some insight or idea that's their own creation, but it's obscured by the same text an
102.
What Is Left for Us? Against Degradation of Research by AI(philarchive.org)
1 points by lioeters 2mo ago|0 comments
103.
by lioeters 2mo ago
There have been experiments in "digital primordial soup", where primitive programs are cultivated under conditions with evolutionary pressure. Computational Substrates: How Well-formed, Self-replicating Programs Emerge from Simple
104.
by lioeters 2mo ago
Intelligent tulip on the phone: "Put down 10K tokens on OpenHumans, Inc! It's Monkey Mania out there."
105.
by lioeters 2mo ago
That's an unintelligent thing to say about tulips.
106.
by lioeters 2mo ago
> may never be useful at all Nobody is qualified to judge the usefulness of mathematical, scientific, artistic, or any other kind of research that people choose to dedicate their time doing. And the world is better for it. > or repres
107.
by lioeters 2mo ago
That's illuminating, thank you for a generous reply. The point about real numbers and their representation (or lack thereof) in programming languages is a great example of the gulf between mathematics and programming. I understand that
108.
by lioeters 2mo ago
> would be an issue even if it were humans writing I see what you mean, that the conversion of TLA+ specs to code is error-prone in any case, regardless of who or what does the conversion. From what I've heard, an advantage of Lean
109.
Memo for Members and Affiliates of the Intergalactic Computer Network (1963)(thekurzweillibrary.com)
1 points by lioeters 2mo ago|0 comments
110.
by lioeters 2mo ago
> designing stuff with TLA+, then feeding the spec into Claude That seems to defeat the purpose of using TLA+ in the first place. It's taking a rigorously logical and proven specification, putting it through a black box (that you do
111.
by lioeters 2mo ago
The Curry-Howard correspondence applies to all programs and computation, regardless of language. Some languages, such as dynamically typed ones, expose only a higher level abstraction where its inner workings are implicit and hidden (that&#
112.
by lioeters 2mo ago
> CORE-MATH Mission: provide on-the-shelf high performance open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries (GNU libc, Intel Math Library, AMD Libm, Newlib, OpenLibm, Mus
113.
by lioeters 2mo ago
The original article [^1] didn't specify the CPU, but I gathered the code examples (and added one for Lua, untested) if anyone is curious to try with arm64. The test case to compare the margin of error was eml_mul(2, 3). JavaScript
114.
by lioeters 2mo ago
> On Christmas Day, 1990, Charles Bukowski received a Macintosh IIsi computer and a laser printer from his wife, Linda. The computer utilized the 6.0.7 operating system and was installed with the MacWrite II word processing program. By J
115.
by lioeters 3mo ago
Norman Wildberger's YouTube channel, Insight into Mathematics - https://www.youtube.com/@njwildberger
116.
by lioeters 3mo ago
From page 12: > Why should we believe in real numbers, if most of them, it turns out,[^15] are maximally unknowable like Ω? [^16] The footnotes: > [^15]: See the chapter entitled The Labyrinth of the Continuum in [Chaitin, 2005] >
117.
by lioeters 3mo ago
Hence Forth.
118.
by lioeters 3mo ago
The need to remember operator precedence is a consequence of the infix notation syntax.
119.
by lioeters 3mo ago
- Data-Oriented Design Revisited: Type Safety in the Zig Compiler - Matthew Lugg - https://youtu.be/KOZcJwGdQok?si=YDal2Gwb0IJPFgrI - Andrew Kelley Practical Data Oriented Design (DoD) - https://youtu.be/Iro
120.
by lioeters 3mo ago
It's cute and friendly, how it explains the rules. Maybe instead of a red box for making a mistake, the sunflower could "shake its head" to mean "no". Anyway the game feels well-designed with a focused scope, nice w

More ›