Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Building Seamless User Journeys: Your Guide to React Onboarding with OnboardJS
onboardjs.com·2d·
Discuss: Hacker News
🔄Finite State Machines
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·1d·
Discuss: Hacker News
👁️System Observability
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
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·4d
🛡️seL4
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·3h·
Discuss: Hacker News
❄️Nixified Development
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
A language model built for the public good
ethz.ch·3d·
Discuss: Hacker News, Hacker News, Hacker News, r/LocalLLaMA
🛡️seL4
No Code Is Dead
thenewstack.io·4h
🧱Immutable Infrastructure
RabakBench: Scaling Human Annotations to Construct Localized Multilingual Safety Benchmarks for Low-Resource Languages
arxiv.org·3d
🔬Static Analysis
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
Show HN: Tansive – AI Agents that won't accidentally restart your prod database
github.com·4d·
Discuss: Hacker News
⎈Kubernetes
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