Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·14h·
Discuss: Hacker News
🔄Finite State Machines
CODE AND TRUST: vibrators to pacemakers
punkx.org·4d·
Discuss: Lobsters, Hacker News, Hacker News
🐫Embedded OCaml
Thank you for calling Web Dev. How may we complicate things for you?
newslttrs.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Microsoft and OpenAI's AGI Fight Is Bigger Than a Contract
wired.com·15h·
Discuss: Hacker News
📦Unikernel Systems
The Right Approach to Authorization in RAG
osohq.com·2d·
Discuss: Hacker News
🛡️seL4
Social Tinkering: Why Collaborative Curiosity Beats Vibe-Coding
cosmosinstitute.substack.com·2d·
Discuss: Substack
🎮Verification Games
Structuring unstructured data is a correct use of AI
mechanicalsurvival.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Next Big Shift in Search: From Product to Infrastructure
lsvp.com·5h·
Discuss: Hacker News
🐫OCaml
David Autor on AI and the future of work
voxdev.org·16h·
Discuss: Hacker News
💻CS
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
🧪Property-Based Testing
Our dev team tried replacing typing with talking and it's working
deepgram.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·23h
💻CS
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·23h
🔍Formal Verification
ClickOps Is a Disgrace
thenewstack.io·1d
🧱Immutable Infrastructure
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·23h
🌐NetworkProtocols
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Stop Converting Your REST APIs to MCP
jlowin.dev·10h·
Discuss: Hacker News
🧱Immutable Infrastructure
Throwing AI at Developers Won’t Fix Their Problems
thenewstack.io·16h
👁️System Observability
Challenges for no code tools for data science
medium.com·1d·
Discuss: Hacker News
👁️System Observability
Richard Feynman and the Connection Machine
longnow.org·1d·
Discuss: Hacker News
🔄Finite State Machines