Controlled Release of Microorganisms from Engineered Living Materials
pubs.acs.org·19h·
Discuss: Hacker News
📦METS Packaging
Theo Johnson-Freyd
categorified.net·3d
🕸️Algebraic Topology
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·2h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Experimenting with ACL2 and Claude Code
mikedodds.org·21h·
Discuss: Hacker News
👑Isabelle
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria
arxiv.org·1d
⚛️Quantum Storage
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
🧬Functional Programming
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
🧮Vector Embeddings
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·15h·
Discuss: Hacker News
🔗Concatenative Programming
ACMID: Automatic Curation of Musical Instrument Dataset for 7-Stem Music Source Separation
arxiv.org·1d
🎵Audio Formats
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Development of new grouting material offers solution to ancient grotto erosion
phys.org·17h
🏺Computational Archaeology
Optimal Stopping in Latent Diffusion Models
arxiv.org·1d
🧠Machine Learning
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Spacetime
en.wikipedia.org·1d·
Discuss: Hacker News
⏰Time Crystals
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·1d
🧠Machine Learning
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔐Quantum Cryptography