181
Not all graphs are trees
It's pretty easy to imagine how to represent relational algebra expressions as a tree—they are already structurally rooted trees where each operator has its...
New
The latest blog posts to take off on Hacker News. 266 posts.
182
A smooth and sharp image interpolation you probably haven't heard of
An image interpolation that gives us a continuous and smooth image, where every interpolated value only depends on the four neighboring pixel values. The image becomes smooth, but sharp features remain sharp.
183
Planes in 3D Space
Visual and interactive introduction to 2D planes in 3D space.
184
When do we stop finding new music?
When does our taste in music stagnate?
185
U-M finds students with alphabetically lower-ranked names receive lower grades
Knowing your ABCs is essential to academic success, but having a last name starting with A, B or C might also help make the grade.
186
Effort – a possibly new algorithm for LLM Inference
A possibly new algorithm for LLM Inference. Adjust smoothly - and in real time - how many calculations you'd like to do during inference.
187
188
A quick post on Chen's algorithm
Update (April 19): Yilei Chen announced the discovery of a bug in the algorithm, which he does not know how to fix. This was independently discovered by Hongxun Wu and Thomas Vidick. At present, th…
189
190
Visualizing Attention, a Transformer's Heart [video]
Demystifying attention, the key mechanism inside transformers and LLMs.
191
Stacking triangles for fun and profit
One thing you may have noticed about the trigonometric functions sine and cosine is that they seem to have no agreed upon definition. Or rather, different authors choose different definitions as the starting point, mainly based on convenience. This isn’t problematic or even particularly unusual in mathematics: as long…
192
2023 ACM Turing Prize awarded to Avi Wigderson
Avi Wigderson is the recipient of the 2023 ACM A.M. Turing Award for foundational contributions to the theory of computation, including reshaping our understanding of the role of randomness in computation, and for decades of intellectual leadership in theoretical computer science.
193
Double-entry bookkeeping as a directed graph
In the past couple of years, I’ve been working in billing and payments at Justworks . This experience introduced me to the world of bookkeeping and accounting in ways I didn’t expect: I took a course and read a textbook in accounting, adopted plain text accounting for my personal finances, and worked in a double-entry…
194
The simple beauty of XOR floating point compression
I recently implemented a small program to visualize the inner workings of a scheme that compresses floating point timeseries by XORing subsequent values. The resulting visualizations are quite neat…
195
Lambda Screen: Fractals in pure lambda calculus
Lambda Screen allows you to draw images using terms of pure lambda calculus. By using fixed-point combinators, you can even create infinitely detailed fractals.
196
Is the frequency domain a real place?
Dissing Fourier, exploring the Hadamard-Walch transform, and making square-wave spectrograms.
197
Structuralism as a Philosophy of Mathematics
For mathematical insight, according to the structuralist imperative, investigate mathematical structure and consider mathematical concepts only as invariant under isomorphism.
198
Legendre transform, better explained (2017)
The way that most physicists teach and talk about partial differential equations is horrible, and has surprisingly big costs for the typical understanding of the foundations of the field even among professionals. The chief victims are students of thermodynamics and analytical mechanics, and I've me
199
What even is a JSON number?
An exploration of numbers in JSON and various JSON implementations
200
Not so fast, Mr. Fourier
A real explanation of discrete Fourier transform (DFT, FFT), discrete cosine transform (DCT), and their inverses.
201
202
Linear Algebra of Types (2019)
It gives my brain a pleasant thrum to learn new mathematics which mimics the algebra I learned in middle school. Basically this means that the new system has operations with properties that match those of regular numbers as much as possible. Two pretty important operations are addition and multiplication with the…
203
When will the eclipse happen? A multimillennium tale of computation
Wolfram tech and its dedicated website now easily predict eclipses. A look at advances in understanding and science from ancient eclipse data thousands of years old through current eclipse calculations.
204
Math writing is dull when it neglects the human dimension
Note: These pages make extensive use of the latest XHTML and CSS Standards . They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in…
205
Algorithmic Mathematical Art (2004)
In the early 1990s, they were merely visualization aids in the study of mathematics. Gradually, the complexity and artistry of the images becomes an end itself.
206
SQL is syntactic sugar for relational algebra
This idea is particularly sticky because it was more or less true 50 years ago, and it's a passable mental model to use when learning sql. But it's an inadequate mental model for building new sql frontends, designing new query languages, or writing tools likes ORMs that abstract over sql.
207
Compiling with Constraints
There are lots of interesting little subproblems in compilation like instruction selection, register allocation and instruction scheduling. These can be expressed in declarative interlinked way to constraint solvers.
208
Compressing Images with Neural Networks
An introduction to learned image compression using neural networks.
209
What are the "worst" spelling bee pangrams?
Thomas Ptacek wondered on mastodon whether there were any Spelling Bee pangrams that would get you to the highest scoring level on spelling bee just by finding that word.
210
Compressing chess moves for fun and profit
UPDATE: I’ve written a new post with a new technique which is about 2.5x more efficient than this approach Chess notation has come a long way since descriptive notation, now we have nice and decipherable Standard Algebraic Notation, like Qxf7 (queen takes on f7) or Nf3 (knight takes on f3). This is a great text…