Dismissing View Models in SwiftUI Is Stifling Maintainability and Testability
matteomanferdini.com·11h·
Discuss: Hacker News
📊Runtime Verification
There's a gap between AI coding demos and daily reality
github.com·19h·
Discuss: Hacker News
🤖Program Synthesis
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·1d·
Discuss: Hacker News
📚Automata Learning
Preachers are using AI to write sermons. Is God angry?
chiefwordofficer.substack.com·15h·
Discuss: Substack
🧩Parser Combinators
MMSearch-Plus: A Simple Yet Challenging Benchmark for Multimodal Browsing Agents
arxiv.org·1d
🧩Parser Combinators
Spec-driven development with AI: Get started with a new open source toolkit
github.blog·10h·
Discuss: Hacker News
🤖Program Synthesis
Inferno Part 2: Let's Make a Cluster
debu.gs·1d·
Discuss: Hacker News
🏠HomeLab
The Gabian History of Mathematics
cognition.cafe·6h·
Discuss: Hacker News
🧠Automated Reasoning
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·3d·
Discuss: Hacker News
🧪Property-Based Testing
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·2d·
Discuss: Hacker News
💎Refinement Types
things rust shipped without (2015)
graydon2.dreamwidth.org·2d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
Everything About Bitflags
neg4n.dev·14h·
Discuss: Hacker News, r/javascript, r/node
🐫Embedded OCaml
Server-side rendering is dead, long live server-side rendering
pageo.us·9h·
Discuss: Hacker News
🔬Unikernels
Adaptive Heavy-Tailed Stochastic Gradient Descent
arxiv.org·1d
📚Automata Learning
Show HN: sy_callback.hpp – High-performance, header-only C++11 callback library
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Why Bittensor's Top Subnets Still Can't Explain Themselves
abittensorjourney.com·10h·
Discuss: Hacker News
🔧Unikernel Development
Token Alignment Protocol, Zero Drift for AI Agents
symbiquity.ai·4d·
Discuss: Hacker News
🎮Verification Games
⿻ Plurality & 6pack.care
lesswrong.com·1d
🔬Unikernels
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai·1d·
Discuss: Hacker News
📚Automata Learning
A Unified Theory of Language
arxiv.org·4d
🧩Parser Combinators