Show HN: ScrapingDuck a Web Scraping API
scrapingduck.com·3h·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·3d·
Discuss: Hacker News
🔠Type-Level Programming
The Whop chop: how we cut a Rails test suite and CI time in half
evilmartians.com·3d·
Discuss: Hacker News
🍎Apple
Too many tutorials, not enough progress? I’ll give you a free coding roadmap + support
lurnix.tech·1h·
Discuss: r/programming
🎮Verification Games
Reverse engineering of Apple's iOS 0-click CVE-2025-43300: 2 bytes that make size matter
blog.quarkslab.com·2d·
Discuss: Hacker News
📺Vintage Apple
Pg_guard: Database Proxy for Programming Agents
blog.jonaylor.com·1d·
Discuss: Hacker News
🧩Separation Logic
LLM as Pair?
ronjeffries.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Optimizing AI Inference with Edge Computing
edgee.cloud·3d·
Discuss: Hacker News
📚Automata Learning
Can you help me decide on a name for my project? I'm thinking Py++.
github.com·3d·
Discuss: r/programming
⚙️PL Implementation
Counterfactual Sensitivity for Faithful Reasoning in Language Models
arxiv.org·3d
📚Automata Learning
C Tooling
tomscheers.github.io·3d·
Discuss: Hacker News, r/C_Programming
🔬Static Analysis
The repercussions of a typo in C++ & Rust
nablag.com·3d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Microsoft’s Rust Bet: From Blue Screens to Safer Code
thenewstack.io·1d·
Discuss: Hacker News
👁️System Observability
Easier Painting Than Thinking: Can Text-to-Image Models Set the Stage, but Not Direct the Play?
arxiv.org·2d
🔄Finite State Machines
Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
arxiv.org·2d
🔧Unikernel Development
Cyclic Implicit Complexity
arxiv.org·5d
🐫OCaml
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·1d·
Discuss: Hacker News
📚Automata Learning
Adding #[derive(From)] to Rust
kobzol.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🐫OCaml
Mu Puzzle
en.wikipedia.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
AI Predictions for Agents
kumo.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving