💎 Anna KVS - hello · Scour

math-inc/Sphere-Packing-Lean: A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.

github.com·2h·

Discuss: Hacker News

💠Polyhedral Compilation

Art School Girlfriend turned ambient synths and micro drums into a wall of sound

youtube.com·1d

🎨Creative Coding

Efficient Long-Sequence Diffusion Modeling for Symbolic Music Generation

arxiv.org·7h

✏️Count-Min Sketch

Hyperuniformity of Weighted Particle Systems

link.aps.org·8m

📐Computational Geometry

TANGO: direct optimization of constrained synthesizability for generative molecular design

nature.com·2h

🎭Program Synthesis

A Study in Mathematics: The New Emerging Calculus of Life

hackernoon.com·1h

🔲Cellular Automata

Google’s Titans And MIRAS: Significant Advancement In Long-Context AI via @sejournal, @martinibuster

searchenginejournal.com·2h

💬Prompt Engineering

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection

jmlr.org·1d

Microscopic Structure of Random 3-SAT: A Discrete Geometric Approach to Phase Transitions and Algorithmic Complexity

arxiv.org·1d

🧮SMT Solvers

Proving Sonoluminescence in Zero Knowledge: How We Built a 1,664-Byte Proof for Real Physics

dev.to·1d·

Discuss: DEV

👻Phantom Types

Optimizing Recommendation Systems with JDK’s Vector API

netflixtechblog.com·11h·

Discuss: Hacker News, r/programming

⚡SIMD Optimization

Do you have some rope? Then let’s teach about AI concepts

raspberrypi.org·1h

dailynous.com·1h

🔄Memory Disambiguation

Scientists make a pocket-sized AI brain with help from monkey neurons

npr.org·1h

Experimental composer Holly Herndon built an AI voice clone that anyone can use

scientificamerican.com

·22m

🔲Cellular Automata

Beyond .predict(): Building a KNN From Scratch

pub.towardsai.net

·6h

🧮Vector Databases

Large induced matchings and minimal blocking sets using parabolas

anuragbishnoi.wordpress.com·16h

💃Dancing Links

Approximate Markovianity in high-temperature hidden Markov networks

link.aps.org·8m

Generative modeling enables molecular structure retrieval from Coulomb explosion imaging

nature.com·12h

xraymemory/vibetheory: A mathematical model of aesthetic vibe, based on Peli Grietzer's Theory of Vibe (2017, 2025). Implements both VAE and diffusion/manifold models to derive the vibe of a given text.

github.com·13h·

Discuss: Hacker News

💫Effect Systems

Loading more...