lioeters

7 ms·

121.
by lioeters 3mo ago
Sorry for the harsh tone in a comment above, reading it over I see that was unnecessary and rude. I did enjoy the story of the plumbers during the regular flooding in Chicago, much respect to their hard work. While we may not agree on the q
122.
by lioeters 3mo ago
> black box AI This is why, as much as I respect the underlying technology and its wondrous achievements, I will never accept proprietary "intelligence as a service" as a critical dependency in my workflow and business. LLM-ass
123.
by lioeters 3mo ago
Evolution does not necessarily mean getting smarter or better in any way other than more adapted to the environment (natural and artificial). We could be getting stupider and more violent if that leads to hoarding more food and reproducing
124.
The real mathematics is the one that we dream – David Bessis(davidbessis.substack.com)
3 points by lioeters 3mo ago|0 comments
125.
by lioeters 3mo ago
There's a parallel with open source software (FOSS), that you don't really control the software if you don't have the source code. Being given only the generated proof (or disproof) is like having the binary artifact as an ex
126.
by lioeters 3mo ago
> writing was never the bottleneck. Understanding was. Well put. This insight is worth repeating in every discussion on the subject, from software engineering to mathematics. The problem is that understanding is not the product being s
127.
by lioeters 3mo ago
Not even wrong. Real scientists say "yes" to the genie with all the answers? And artists and crafts people don't? The entire statement is nonsense, and offers no insight into art or science. It's almost like a language m
128.
by lioeters 3mo ago
Very cool! I'm learning a lot from studying how Lone Lisp works, and will be exploring how to run it on Blink, which is itself a lovely educational project. Someone managed to port the latter to WebAssembly, so eventually I'd like
129.
by lioeters 3mo ago
Really enjoyed the interview, and love the ideas behind Lone Lisp. I was curious, does it run on jart's Blink project, the tiny x86-64-linux emulator? https://github.com/jart/blink/
130.
by lioeters 3mo ago
Always a pleasure to sit down for Mr Hopkins' story time. Many gems of ideas and memories. For others like me who hadn't heard the word "fahrvergnügen", it translates to "pleasure of driving". From German fahre
131.
by lioeters 3mo ago
The fox who longed for grapes, beholds with pain The tempting clusters were too high to gain; Grieved in his heart he forced a careless smile, And cried, 'They’re sharp and hardly worth my while.'
132.
by lioeters 3mo ago
Nice, thanks for tracking down those links, fascinating. Apparently being off by 1 ULP is within IEEE 754 floating-point spec, and "effectively negligible".
133.
by lioeters 3mo ago
Of course, because bicycles are convivial technology that empowers people. Automobiles are often falsely advertised as "freedom" but actually trap you in a web of dependencies and regulations with global economic and environmental
134.
by lioeters 3mo ago
Recently I was reading an article on the EML operator (exp-min-log) that uses exponentiation and logarithm to build elementary math functions including arithmetic operations. There was a table of results from testing across languages. L
135.
by lioeters 3mo ago
> LLM-generated code, or is cryptocurrency-related Codeberg is making decisions to better manage their resource and infrastructure. It's no different than any other privately owned platform, making decisions to forbid certain kinds
136.
by lioeters 3mo ago
Wholeheartedly agree that this is a great educational approach, telling the story of an idea's development through history, the people involved, the major milestones, how the original spark was shaped, questioned, extended, and refined
137.
by lioeters 3mo ago
Extrapolating as "very" approaches infinity: "Let there be light!"
138.
by lioeters 3mo ago
I assume you mean "Functional Reactive Animation" (1997) by Conal Elliott and Paul Hudak? While searching for this, I found a great collection of papers on this topic of Functional Reactive Programming in the Haskell language wiki
139.
by lioeters 3mo ago
This morning I was reading a paper called "An enduring error" (2009) by Branko Grünbaum, regarding Archimedean polyhydra. From the introduction: > ..Even more unexpected is the fact that many expositions of this topic commit se
140.
by lioeters 3mo ago
Amusing that the link to an article on ternary numbers was posted by Mr Triplett. (: The article is well-written and illustrated. The technique described is used in llama.cpp for running language models like BitNet b1.58 whose weights are s
141.
by lioeters 3mo ago
"Gonna Die With My Hand-Written Proof in My Brain" - Recorded in 2027 and compiled in the Anthology of American Folk Mathematics (2052)
142.
by lioeters 3mo ago
From Chapter 6 of "The City and the Stars" (1953) by Arthur C Clarke. JESERAC SAT MOTIONLESS within a whirlpool of numbers. The first thousand primes, expressed in the binary scale that had been used for all aritmetical operations
143.
by lioeters 3mo ago
https://git.raphaelforment.fr/BuboBubo/Cagire/src/branch/mai...
144.
by lioeters 3mo ago
I was curious why/how someone would even think about arranging numbers in a spiral. The origin story is funny: > According to Martin Gardner, Ulam discovered the spiral in 1963 while doodling during the presentation of "a long
145.
by lioeters 3mo ago
The projects being worked on by the Paradigms of Intelligence team at Google are so fascinating. The book "What is Intelligence?" by the founder is brilliant and mind-opening. While reading the posted article and related topics, I
146.
Thread: Differentiable Self-Organizing Systems(distill.pub)
2 points by lioeters 3mo ago|0 comments
147.
by lioeters 3mo ago
I love that this is a site solely dedicated to the subject of interesting Diophantine equations, written by two mathematics PhD students. Going deep on a narrow focus, I respect that approach. The article itself feels a bit long without a s
148.
by lioeters 3mo ago
If anyone prefers not to use a mobile phone for this purpose, it is possible to use an application such as Authenticator (fox Linux). https://gitlab.gnome.org/World/Authenticator There are disadvantages to this, but fo
149.
Dough: Audio engine for live coding, written in a single C file(dough.strudel.cc)
3 points by lioeters 3mo ago|0 comments
150.
by lioeters 3mo ago
> The personal computer moment for AI Georgi Gerganov, the author of llama.cpp, is the real hero here. https://llama.app/

More ›