a hangry mouse
@oscillatory.net
the salad of thought rarely arrives dressed
♫♪ the best part of waking up is rainbows in your cup ♪♫
February 9, 2026 at 6:49 PM
♫♪ 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!)
February 9, 2026 at 5:50 PM
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.
February 8, 2026 at 4:58 PM
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.
Reposted by a hangry mouse
Not something you see in textbooks very often: tripolar mitosis.
February 7, 2026 at 8:00 AM
Not something you see in textbooks very often: tripolar mitosis.
Reposted by a hangry mouse
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)
February 5, 2026 at 3:17 AM
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)
Reposted by a hangry mouse
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/
datatracker.ietf.org/wg/atp/about/
February 3, 2026 at 10:34 AM
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/
datatracker.ietf.org/wg/atp/about/
Reposted by a hangry mouse
January 30, 2026 at 4:10 PM
Reposted by a hangry mouse
With analogies to optimization algorithms, I describe a path to generalize from linear to nonlinear control.
Sweet spots for analysis
Robustness, fragility, and other analogies between optimization and control.
www.argmin.net
January 29, 2026 at 3:30 PM
With analogies to optimization algorithms, I describe a path to generalize from linear to nonlinear control.
Reposted by a hangry mouse
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
@poldresden.bsky.social @mpi-cbg.de
January 28, 2026 at 4:10 PM
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
@poldresden.bsky.social @mpi-cbg.de
I didn't realize there were microscopic cryptids www.cell.com/current-biol...
Salinella
Erik Tihelka and Chenyang Cai introduce Salinella, a cryptic basal metazoan taxon.
www.cell.com
January 27, 2026 at 2:57 PM
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...
Power Coefficient of Resistance (PCR)
YouTube video by VPG Foil Resistors
www.youtube.com
January 23, 2026 at 5:22 PM
i love how excited this guy gets about the PCR of bulk metal foil resistors. www.youtube.com/watch?v=a9vB...
Reposted by a hangry mouse
you don't need to guess ;) crt.sh?q=wsocial.eu
crt.sh | wsocial.eu
Free CT Log Certificate Search Tool from Sectigo (formerly Comodo CA)
crt.sh
January 21, 2026 at 9:50 PM
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
January 20, 2026 at 10:26 PM
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
Reposted by a hangry mouse
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.
- 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.
Erdős Problem #281 - Discussion thread
www.erdosproblems.com
January 18, 2026 at 2:40 PM
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.
- 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?
January 15, 2026 at 2:43 AM
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
January 6, 2026 at 6:58 PM
bold choice to start off your book by quoting yourself
Reposted by a hangry mouse
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
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
A Network of Biologically Inspired Rectified Spectral Units (ReSUs) Learns Hierarchical Features Without Error Backpropagation
We introduce a biologically inspired, multilayer neural architecture composed of Rectified Spectral Units (ReSUs). Each ReSU projects a recent window of its input history onto a canonical direction ob...
arxiv.org
January 1, 2026 at 4:27 PM
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
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
December 29, 2025 at 2:24 AM
spring was fun while it lasted, but now its winter again
Reposted by a hangry mouse
An alternative view of a Serpulidae (bristle worm) larva! Such a cutie!
#marineplankton 🦑
#marineplankton 🦑
December 16, 2025 at 6:03 PM
An alternative view of a Serpulidae (bristle worm) larva! Such a cutie!
#marineplankton 🦑
#marineplankton 🦑
Reposted by a hangry mouse
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
martin.kleppmann.com
December 8, 2025 at 10:48 PM
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Reposted by a hangry mouse
Wrapping up reinforcement learning week on the blog: Why RL is always leaving efficiency on the table, and what you can do about it.
There's got to be a better way!
From Reformist RL to the principle of certainty equivalence.
www.argmin.net
December 5, 2025 at 3:29 PM
Wrapping up reinforcement learning week on the blog: Why RL is always leaving efficiency on the table, and what you can do about it.
Reposted by a hangry mouse
7. The equation the AI scientist found is simple and, in retrospect, we humans could have come up it with ourselves. But we didn’t. The AI scientist did. The key innovation was replacing the Gaussian power of 2 with a parameter p controlling the peak shape.
November 14, 2025 at 6:07 PM
7. The equation the AI scientist found is simple and, in retrospect, we humans could have come up it with ourselves. But we didn’t. The AI scientist did. The key innovation was replacing the Gaussian power of 2 with a parameter p controlling the peak shape.
