Japanese scientists use CRISPR to eliminate Down syndrome
qazinform.com·15h·
Discuss: Hacker News
🤖Program Synthesis
A list of changes to make it easier to build beautiful and walkable places
chrisbarber.co·23h·
Discuss: Hacker News
🧱Immutable Infrastructure
A Different Way to Think about Plane Fitting
tangramvision.com·1d·
Discuss: Hacker News
🏹Effect Systems
Update or Upgrade?
eshop.macsales.com·2d·
Discuss: r/homelab
🔬Unikernels
Switchboard
switchboard-ai.com·4d·
Discuss: Hacker News
🎮Verification Games
Vibe Coding Turned This Swedish AI Unicorn Into The Fastest Growing Software Startup Ever, graphic
forbes.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Fun with Gzip Bombs and Email Clients
grepular.com·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Three high-performance RISC-V processors to watch in H2 2025: UltraRISC UR-DP1000, Zizhe A210, and SpacemIT K3
cnx-software.com·3d·
Discuss: Hacker News
🍎XNU Internals
The Big Stack Game of LLM Poker (2024)
sarahtavel.com·2d·
Discuss: Hacker News
🐫OCaml
#28: Sovereignty in the Age of LLMs
loeber.substack.com·21h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Testing Your Knowledge of JavaScript’s Date Class
hackaday.com·3d
🧪Property-Based Testing
Why do my M.2 NVMe SSDs do no get full speed in Proxmox?
reddit.com·3h·
Discuss: r/homelab
⚙️Operating System Design
Building with AI: Substrate, Agents, Workflow
zo.computer·2d·
Discuss: Hacker News
🔄Reproducible Builds
From Black Box to Biomarker: Sparse Autoencoders for Interpreting Speech Models of Parkinson's Disease
arxiv.org·1d
➡️Category Theory
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
arxiv.org·1d
🔄Finite State Machines
Looking for a lightweight OS for Game Streaming on a Thin Client to use with a TV
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
A multi-strategy improved snake optimizer for three-dimensional UAV path planning and engineering problems
arxiv.org·4d
🤖Program Synthesis
Recursive and non-recursive filters for sequential smoothing and prediction with instantaneous phase and frequency estimation applications (extended version)
arxiv.org·3d
🐫Embedded OCaml
On the Inevitability of Left-Leaning Political Bias in Aligned Language Models
arxiv.org·3d
➡️Category Theory
Multimodal Recurrent Ensembles for Predicting Brain Responses to Naturalistic Movies (Algonauts 2025)
arxiv.org·10h
🏹Effect Systems