My Wishlist for PHP in 2026
stitcher.io·2d·
Discuss: Hacker News
❓Existential Types
Flag this post
Understanding Debt: AI Coding at Warp Speed Without Flying Blind
blog.namar0x0309.com·2h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
I built a JBOD from a dead r710
reddit.com·11h·
Discuss: r/homelab
🔧Unikernel Development
Flag this post
Know Your Assets, Know Your Normal: A Practical Guide to OT Baselining
emberot.com·12h·
Discuss: Hacker News
📊Runtime Verification
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·1d
🧪Property-Based Testing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.com·1h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
dev.to·16h·
Discuss: DEV
👁️System Observability
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1h·
Discuss: Hacker News
📦Opam
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
OpenAI Launches Aardvark To Detect and Patch Hidden Bugs In Code
it.slashdot.org·17h
👁️System Observability
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post
Reinventing Assertions
beust.com·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
🔲Cellular Automata
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·17h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
λFunctional Programming
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·23h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post