mkcd: The missing shell shortcut
dbohdan.com·4h·
Discuss: Hacker News
❄️Nix
Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·1d·
Discuss: Hacker News
🎮Verification Games
Hanami and the Elephant in the Room
hanamirb.org·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·1d·
Discuss: Hacker News
👁️System Observability
Wire Like a Pro: Peeking into Wire Harness Mastery
hackaday.com·17h
👁️System Observability
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·5d·
Discuss: Hacker News
➡️Category Theory
Midio
midio.com·7h·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Dyan – A Self-Hosted Visual REST API Builder (React and NestJS)
github.com·34m·
Discuss: Hacker News
🔤DSLs
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·5d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
No Code Is Dead
thenewstack.io·18h
🧱Immutable Infrastructure
RabakBench: Scaling Human Annotations to Construct Localized Multilingual Safety Benchmarks for Low-Resource Languages
arxiv.org·4d
🔬Static Analysis
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·4d
🐫Embedded OCaml
I don't think LLM's are making us stupider
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Static Analysis
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·1d·
Discuss: r/programming
❄️Nixified Development
Strengthening Microsoft Defender: Understanding Logical Evasion Threats
zenodo.org·2d·
Discuss: Hacker News
👁️System Observability
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·56m·
Discuss: Hacker News
✓Automated Theorem Proving
The hidden cost of AI reliance
codebytom.blog·3d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Being a psychologist to your (over)thinking LLM
specy.app·4d·
Discuss: Hacker News
✓Automated Theorem Proving