Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·1d·
Discuss: Hacker News
🔄Finite State Machines
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·9h
👁️System Observability
Types are Transforming Python
spin.atomicobject.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Great Software
maraoz.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
No Code Is Dead
thenewstack.io·10h
🧱Immutable Infrastructure
RabakBench: Scaling Human Annotations to Construct Localized Multilingual Safety Benchmarks for Low-Resource Languages
arxiv.org·3d
🔬Static Analysis
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·2d·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·3d
🐫Embedded OCaml
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·4d·
Discuss: Lobsters, Hacker News, r/programming
🐫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
The hidden cost of AI reliance
codebytom.blog·3d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
This Week in Security: Bitchat, CitrixBleed Part 2, Opossum, and TSAs
hackaday.com·1d
🌐NetworkProtocols
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·1d
🐫OCaml
Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better
arxiv.org·3d
🔄Finite State Machines
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
arxiv.org·2d
🛡️seL4