A Gaussian Leftover Hash Lemma for Modules over Number Fields
eprint.iacr.org·4d
🔗Borrowing Extensions
Nearly Instance-Optimal Parameter Recovery from Many Trajectories via Hellinger Localization
arxiv.org·2d
🪜Recursive Descent
Generalised fractional Rabi problem
arxiv.org·1d
📡Binary Protocols
Emergent Coordination in Heterogeneous Multi-Agent Systems Through Differentiable Communication
dev.to·12h·
Discuss: DEV
📡Erlang
Cactus Language • Semantics 3
inquiryintoinquiry.com·1d
📋Backus-Naur Form
Building a Production-Ready E-Commerce Platform with NestJS
dev.to·1d·
Discuss: DEV
📦Monorepos
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
Sharp Bilinear Filters: Big Clean Pixels for Pixel Art
bumbershootsoft.wordpress.com·2h
🔍Lens Libraries
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·1d
✨Effect Inference
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·15h·
Discuss: DEV
⚡Control Synthesis
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔬Nanopasses
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to·1h·
Discuss: DEV
✨Effect Inference
Nonlinear phase gates as Airy transforms of the Wigner function
nature.com·1d
∀Quantified Types
What Large Language Models Teach Us About 'Human Knowledge'
opengovernance.net·20h
🌱Minimal ML
Show HN: Using Haskell to write an NES emulator
github.com·1h·
Discuss: Hacker News
⚡functional programming
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🔄Incremental Lexing
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·2d·
Discuss: Hacker News
🔬Nanopasses
Contrastive Weak-to-strong Generalization
arxiv.org·1d
🪜Recursive Descent
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers