Up and Down the Ladder of Abstraction
worrydream.com·4h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·1d·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
🔧Unikernel Development
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
❓Existential Types
Flag this post
Speeding up JavaScript test time 1000x
kevin.burke.dev·1d·
Discuss: Hacker News
📊Runtime Verification
Flag this post
This Month in Ladybird – October 2025
ladybird.org·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·4d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·4d·
Discuss: Hacker News
❄️Nixified Development
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·4h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
From vibe coding to context engineering: 2025 in software development
technologyreview.com·2h·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
AMD Contributes BFloat16 Support To LLVM's SPIR-V Target
phoronix.com·11h
🔧Unikernel Development
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.com·21h·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·2d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
Building an AI-Powered Migration Pathways Agent with Go and the A2A Protocol
dev.to·1d·
Discuss: DEV
🔌APIs
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.org·8h
🔢Algebraic Data Types
Flag this post
Part 2: The Role of No-Code in OSS Modernization
dev.to·20h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
Optimizing Multi-UAV 3D Deployment for Energy-Efficient Sensing over Uneven Terrains
arxiv.org·8h
🔲Cellular Automata
Flag this post
Benchmarking Federated Learning Frameworks for Medical Imaging Deployment: A Comparative Study of NVIDIA FLARE, Flower, and Owkin Substra
arxiv.org·1d
🎨GADTs
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·1d
📐Linear Algebra
Flag this post
Process Bottleneck Breakthrough: AI-Powered Outcome Prediction
dev.to·10h·
Discuss: DEV
👁️System Observability
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·8h
📚Automata Learning
Flag this post