Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·1h·
Discuss: Hacker News
✓Automated Theorem Proving
Scaffolding for production vibe coding
interjectedfuture.com·6h·
Discuss: Hacker News
🔬Static Analysis
Using RPI 5 Compute Module for FPGA Test
hackster.io·1d·
Discuss: Hacker News
🐫Embedded OCaml
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·13h·
Discuss: r/rust
❄️Nixified Development
AIs will greatly change engineering in AI companies well before AGI
lesswrong.com·8h
👁️System Observability
Practical CI-friendly Performance Tests
solidean.com·10h·
Discuss: Lobsters, r/cpp
👁️System Observability
Rust's Enterprise Breakthrough Year
rust-trends.com·17h·
Discuss: Hacker News
🔄Reproducible Builds
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·6h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Using Linters to Direct Agents
factory.ai·7h·
Discuss: Hacker News
🔄Reproducible Builds
Proxmox as code?
reddit.com·17h·
Discuss: r/homelab
🖥Self-Hosting
How Python Implements List Comprehensions
pythonkoans.substack.com·1d·
Discuss: Substack
📐Denotational Semantics
Rich Answered That
gist.github.com·9h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
The bloat of edge-case first libraries
43081j.com·5h·
Discuss: Lobsters, Hacker News
💎Refinement Types
A quarter century of chasing simplicity
loopwerk.io·21h·
Discuss: Hacker News
💾Retro Computing
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Prompt Snapshot Testing
ninkovic.dev·1d·
Discuss: Hacker News
🧪Property-Based Testing
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·3h·
Discuss: r/programming
🔬Unikernels
Deliberate Abstraction
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·1d·
Discuss: Hacker News
🤖Program Synthesis
Trying out import std
nibblestew.blogspot.com·3d·
Discuss: Hacker News, nibblestew.blogspot.com
🔄Reproducible Builds