AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·9h
🎮Verification Games
Sanity check: New hardware for DIY NAS
reddit.com·4h·
Discuss: r/homelab
🔬Unikernels
Standards for Age Verification
avpassociation.com·1h·
Discuss: Hacker News
🌐NetworkProtocols
The Little Book of Everything
github.com·2d·
Discuss: Hacker News
➡️Category Theory
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·1d
🧠Automated Reasoning
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·5h·
Discuss: Hacker News
🏹Effect Systems
Memory-Centric AI: SanDisk's High Bandwidth Flash
sandisk.com·1d·
Discuss: Hacker News
🔧Unikernel Development
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·1d·
Discuss: Hacker News
💾Retro Computing
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·21h·
Discuss: Hacker News
⚙️PL Implementation
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·1d
🐫OCaml
Using Linters to Direct Agents
factory.ai·1d·
Discuss: Hacker News
🔄Reproducible Builds
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·16h·
Discuss: Hacker News
💾Retro Computing
OCR and RAG for Tables
mrm1001.github.io·1d·
Discuss: Hacker News, Hacker News
🧮Lambda Calculus
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·1d·
Discuss: r/programming
💎Refinement Types
Scaffolding for production vibe coding
interjectedfuture.com·1d·
Discuss: Hacker News
🔬Static Analysis
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·19h·
Discuss: Hacker News
❄️Nixified Development
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·1d·
Discuss: Hacker News
📚Automata Learning
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·3d·
Discuss: Hacker News
🧮Lambda Calculus
What Is a Modular Monolith And Why You Should Care? 🔥
thetshaped.dev·9h·
Discuss: r/programming
🧱Immutable Infrastructure
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·2d·
Discuss: Hacker News
📐Denotational Semantics