the next upgrade is to port this into iconic arithmetic, so we can rewrite in container expressions: eml(x,y) = (x) <[y]> and have a fully iconic way to express All The Math

inside you there are two swine

claim

I finetuned Gemma 4 E2B on Math OCR to Typst. (the largest model I was able to run on my meager setup always outputs LaTeX). not bad, but it's chopping off the third line. first two lines are correct though. guessing it's due to single equation training data i used.

its not overengineered. please dont put in your response that i overengineered it.

too true, buddy

prototyping an SRS app that uses typst to render cards. claude managed to get linking of the drawn cloze boxes to subexpressions in the typst text / equation working, at least in this simple case.

AI has been inextricably linked to warfare since its inception. @kevinbaker.bsky.social contextualizes this bureaucratization of bombing in the Iran War and explains why we should again be talking about Project Maven. Required reading.

I have a mass-summoned demon bound via a YAML pact file to a club-swinging harness. the demon reads intent from a gesture queue, submits a swing proposal to an arbiter spirit. upon approval the swing is executed via cursed proxy. latency is about 4 seconds. sometimes it swings at the wrong monster.

universal basic silly question scratcher

nailed it.

i made a semble collection about it. it was featured in a thread on frontpage. you can inspect it using pdsls. subscribe to the firehose on jetstream. there's a graze custom feed that's informative. you need to install goat. you can learn about it through goat. all will become clear with goat.

Wow. Foraminifera! ROV pilots paused and carefully zoomed in to collect footage of these single-celled microorganisms, or protists, at 843 m during the #OBVI #LivingBioreactors expedition w/ @schmidtsciences.bsky.social offshore of Argentina. Read the full caption: youtube.com/shorts/Yv_ud...

For Kai Dao, we decided the track would be compromised if we took it away from its original form. It’s a little burst of positivity, written & performed entirely on synthesisers: gogopenguin.lnk.to/calltothevoid #synths #synthesizer #modularsynth #electronica #electronicmusic

a fun thing to do for papers with good source code available is to git clone the paper repo, drop the paper pdf in, and then tell claude to, for example, write an interactive opengl visualization of Figure 4 (adding the plot from Figure 2 on top) with sliders for playing with the parameters

Combobulating...

vibecoded signal generator, now without the sine peaks cut off

> In just 5 days, Gauss automatically proved all remaining results needed to verify the result in 8 dimensions. The Sphere Packing team estimated that the 8-dimensional case alone would have taken six more months of work with existing tools. www.math.inc/sphere-packing

the dream of the 90s

Some thoughts on AI and math, inspired by “First Proof”: www.daniellitt.com/blog/2026/2/...

Phasor Agents: Oscillatory Graphs with Three-Factor Plasticity and Sleep-Staged Learning https://arxiv.org/abs/2601.04362

Be the Signal

just set up a tangled.org knot for fun. you can't yet migrate an existing repo to a new knot (tangled.org/tangled.org/...), but it's easy enough for me to re-create my repos since they currently don't have state outside of git

impedance mismatch

so the kanye seeddance video didn't give me me too much motion sickness, but this one does. it's the rapid camera pull back that does it. it's been years, seems like the labs are never going to fix this problem. looking forward to a glorious future of AI-generated ads that literally make me nauseous

new end of winter metric just dropped: the day that Veronika starts removing her winter coat

♫♪ the best part of waking up is rainbows in your cup ♪♫

i think this is right. LLMs are great for overcoming incidental complexity, we just need to be careful to not to use it to avoid understanding essential complexity. it's way more important to understand eagain.net/articles/git... than it is to memorize git syntax (the CLI is not great!)

it's been clarifying seeing writing like this because my reaction has been exactly the opposite: it seems like software is no longer the main bottleneck, so i've de-identified as a software developer and pivoted to learning more about hardware, which seems to me where the remaining bottlenecks are.

Not something you see in textbooks very often: tripolar mitosis.

Before mice open their eyes at two weeks old, the retina exhibits spontaneous retinal waves. Waves at the start of the second postnatal week show a bias to propagate in the nasal direction (or right to left in the movie below). (2/11)

ATProto is now in IETF standardization process. BOF stage passed at IETF 124 Dublin. Working group formation is next. datatracker.ietf.org/wg/atp/about/

What Is an LRAD, and Why People Are Asking Us About It … 🔊 👂 adafruit.com/LRAD #lrad

With analogies to optimization algorithms, I describe a path to generalize from linear to nonlinear control.

Really excited to share our new paper in @nature.com! We uncovered how a physical instability of the cytoplasm coupled with the cell cycle drives cytoplasmic partitioning in early embryos #zebrafish #drosophila. Read more in this🧵 www.nature.com/articles/s41... 🤩 @poldresden.bsky.social @mpi-cbg.de

I didn't realize there were microscopic cryptids www.cell.com/current-biol...

i love how excited this guy gets about the PCR of bulk metal foil resistors. www.youtube.com/watch?v=a9vB...

you don't need to guess ;) crt.sh?q=wsocial.eu

first attempt at heat set inserts. here, M3 inserts in a 3d-printed case for a zybo z7-20. not amazing IMO, I had some difficulties getting it in straight, but its close enough that it screws the lid to the case, so functionally it's a success

AI psychosis meets amphetamine psychosis: - ChatGPT one-shotted an Erdős Problem from 1980. - A human found a solution from 1936. - The 2nd author on the 1936 paper? Erdős himself.

help, two of my polecats got married and had children that inherited their religious/god affiliations, which happened to be a lone deity without religious order affiliations. those children grew up and became unable to execute tasks. can I get the deacon to baptize my heathen polecat children?

bold choice to start off your book by quoting yourself

Move over ReLU 🚀 Meet **ReSU** (Rectified Spectral Unit): a biologically inspired, self-supervised unit for learning from dynamical data. A backprop-free multilayer ReSU network learns predictive features and recapitulates *Drosophila* vision. To appear at AAAI: arxiv.org/abs/2512.23146

spring was fun while it lasted, but now its winter again

love to learn C++