olooney

6 ms·

1.
by olooney 9d ago
I like Z3 a lot. I think it's criminally underappreciated and underused. Here is a fairly interesting use I put it to a few years ago: https://www.oranlooney.com/post/playfair/#known-plaintext-at... Slightly
2.
by olooney 12d ago
> Is there a fundamental minimum cost to flipping bits? Yes: https://en.wikipedia.org/wiki/Landauer%27s_principle But modern computers are nowhere near this theoretical limit, nor any of the other limits I mentioned
3.
by olooney 12d ago
Not a font. The VHS line striping is just a repeating gradient applied over the whole page: main::before { background: linear-gradient(rgba(18, 16, 16, 0) 50%, rgba(0, 0, 0, 0.25) 50%), linear-gradien
4.
by olooney 12d ago
Hot take of the day: Computer scientists are in denial about it, but CS is a branch of theoretical physics, not mathematics. You can point to this or that model of computation, such as lambda calculus or mu-recursive functions and try to cl
5.
by olooney 16d ago
That's true. Chess only teaches two general lessons about strategy: look more than one step ahead, and invent heuristics (abstractions that let you estimate if positions are good or bad) for yourself. Those are useful lessons, but you
6.
by olooney 22d ago
Here's my take on the "next-token predictor" idea, from a much longer article I wrote recently: https://www.oranlooney.com/post/rose-petals/#language-models It’s popular to dismiss LLMs as “just nex
7.
by olooney 2mo ago
1% more than you did last week, unless you're tired, sick, or injured. A little more for young people who are actively training.
8.
by olooney 2mo ago
Negative numbers were popularized in Europe by Michael Stifel's 1544 book Arithmetica Integra , where he called them "numeri absurdi." The concept emerged gradually, as mathematicians found they were useful for solving equat
9.
Recreating the Impossible Rhythm Illusion in "The Odyssey" Soundtrack [video](youtube.com)
1 points by olooney 2mo ago|0 comments
10.
by olooney 2mo ago
Scholars and academics have been bemoaning the pointlessness of what the article calls "knowledge work" for centuries. A few of my favorites: https://en.wikipedia.org/wiki/The_American_Scholar https:/&#
11.
by olooney 2mo ago
I've taken a lot of notes and done a lot of "scratchpad thinking" over the last 20 years, something I started in college but really got into in grad school. I've tried Evernote, OneNote, Obsidian. I've tried little
12.
by olooney 2mo ago
A brief chronology of the extended mind thesis: * Characteristica universalis, Leibniz (c. 1679) - https://en.wikipedia.org/wiki/Characteristica_universalis * As We May Think, Vannevar Bush (1945) - https://
13.
by olooney 2mo ago
I've been thinking of getting refern.app[1] to organize and catalog images... Have you used that? Do you have an opinion of how it stacks up against digiKam for the organization use case? Right now, I'm using a bunch of vibe-coded
14.
by olooney 2mo ago
On a similar note: on Steam, the original Dark Souls game[1] is listed with the "souls-like" tag. That's not wrong , I guess, but just kind of a tautology. Grice's maxims[2] generally have such tautologies omitted in or
15.
by olooney 2mo ago
Good discussion, but this conclusion: > I don’t know. Maybe a little. is not the right way to interpret the null result (insufficient evidence to reject null hypothesis that it has no effect) because the prior for supplements that people
16.
Soma Cube Forest(oranlooney.com)
1 points by olooney 2mo ago|0 comments
17.
by olooney 2mo ago
I wrote several polyomino solvers for this project: https://www.oranlooney.com/demos/soma-forest/ One of them used constraint solving with Z3, which was indeed reasonably fast. However, by far the fastest was a si
18.
What Rose Petals Teach Us about Induction(oranlooney.com)
41 points by olooney 2mo ago|10 comments
19.
by olooney 2mo ago
> so hopefully you can refresh a few times and get a fresh one every time If you randomly sample from only 60 quotes, then after 10 refreshes there will be a greater than 50% chance of at least one repeat, and by 20 refreshes it's u
20.
by olooney 3mo ago
I've been collecting quotes for a long time (about twenty years now) and have recently been thinking of doing something interesting with them. For example, I recently added a flashcard "game" to my quote page: https:/&#
21.
by olooney 3mo ago
If you enjoy this kind of thing, you might also like Martin Kleppe's work, such as the Quine Clock: https://aem1k.com/qlock/ I reverse engineered it to a unobfuscated version a few years ago: https://gi
22.
by olooney 3mo ago
Stigler's Law of Eponymy strikes again! https://en.wikipedia.org/wiki/Stigler%27s_law_of_eponymy
23.
by olooney 3mo ago
I like the 4-5-6 theorem: pi^4 + pi^5 = e^6 Well, to five decimal places, anyway. Some other good ones: e^pi - pi = 20 sqrt(2) ln pi = phi There are also famous "almost integers" such as this one discovered
24.
by olooney 3mo ago
This is quite interesting. Because of science fiction like the short story Lena [1] and the video game Soma [2], I've come to the realization that whole brain emulation[3] is unbelievably dangerous; unless you control the stack down
25.
by olooney 3mo ago
Greg Egan's description of how mathematics evolves into "truth mining" in his novel Diaspora is seeming more and more prescient. It essentially describes what mathematics would look like after formalization records all the
26.
by olooney 3mo ago
Haruki Murakami's entire body of work is basically self-therapy[1] and personally I feel it's been very therapeutic. The Wind-Up Bird Chronicle is an excellent place to start. [1]: https://bloomsburyliterarystudiesblo
27.
by olooney 4mo ago
It could return a vector or a deferred expression? In polars, for example, operations on `pl.col` return `Expr` objects that are used to build queries, not immediately evaluated: df.filter(pl.col("status") == "active&q
28.
Petals Around the Rose(oranlooney.com)
3 points by olooney 4mo ago|0 comments
29.
The Considerate Data Modeler(oranlooney.com)
3 points by olooney 4mo ago|0 comments
30.
by olooney 4mo ago
> undeterministic abstraction I've seen people argue that LLMs will just add another layer to the top of the compiler stack: instead of writing code, we'll use English, and run it through a pipeline: English -> Rust -&

More ›