I decided to make it pretty
i.redd.it·22h·
Discuss: r/homelab
🔬Unikernels
Six Labors License Enforcement Changes and a New Subscription Tier
sixlabors.com·10h·
Discuss: Hacker News
🔄Reproducible Builds
📄 Distributing your own scripts via Homebrew
justin.searls.co·2d·
Discuss: Hacker News
📦Unikernel Systems
Should you use AsyncLocalStorage? (2023)
eytanmanor.medium.com·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
C-to-N atom swap enables direct access to benzimidazoles from drug-like indoles
nature.com·1d·
Discuss: Hacker News
🐫OCaml
Logic Theorist
en.wikipedia.org·2d·
Discuss: Hacker News
🧠Automated Reasoning
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·1h·
Discuss: Hacker News
🤖Program Synthesis
Vibe Coding Through the Berghain Challenge
nibzard.com·2d·
Discuss: Hacker News
🎮Verification Games
Behavioral Fingerprinting of Large Language Models
arxiv.org·17h
📚Automata Learning
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·3d·
Discuss: Hacker News
🔬Static Analysis
Package Managers are Evil
gingerbill.org·10h·
Discuss: Lobsters, Hacker News, r/programming
🔄Reproducible Builds
My Vercel v0 weekend: A working app, a happy friend, and a $50 bill
news.ycombinator.com·21h·
Discuss: Hacker News
🔬Unikernels
Covariant spatio-temporal receptive fields for spiking neural networks
nature.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Mean-field Potts and random-cluster dynamics from high-entropy initializations
arxiv.org·3d
🌊Coalgebra
Unified Representation Learning for Multi-Intent Diversity and Behavioral Uncertainty in Recommender Systems
arxiv.org·17h
📚Automata Learning
Thoughts on Evals
raindrop.ai·2d·
Discuss: Hacker News
🧪Property-Based Testing
From Protest to Power Plant: Interpreting the Role of Escalatory Hacktivism in Cyber Conflict
arxiv.org·17h
🌐NetworkProtocols
FSP: Novel Compression Algorithm Based on Pattern Similarity Unlike the Others
news.ycombinator.com·13h·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: Ion, a Rust/Tokio powered JavaScript runtime for embedders
github.com·1d·
Discuss: Hacker News, r/rust
⚙️PL Implementation
Beyond Vibe Coding: A practical guide to AI-assisted development
beyond.addy.ie·2d·
Discuss: Hacker News
🤖Program Synthesis