Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Dependency hell is NP-complete
research.swtch.com·4d·
Discuss: Hacker News
📦Unikernel Systems
AI is "a shabby, boring and evil thing" – discuss
paulkingsnorth.substack.com·6h·
Discuss: Substack
🔬Unikernels
Show HN: A fast 3D collision detection algorithm
cairno.substack.com·3d·
Discuss: Substack
🎮Verification Games
Preface to a Dictionary of the English Language (1755)
gutenberg.org·5h·
Discuss: Hacker News
🐫OCaml
The Lazy Marketer's Guide to Not Writing Terrible AI Prompts
aistackmarketer.substack.com·2d·
Discuss: Substack
🤖Program Synthesis
A http parser single-header library written in C89 which is 50 lines total.
github.com·1h·
Discuss: r/programming
⚙️PL Implementation
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.org·1d
🔄Finite State Machines
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·1d
👁️System Observability
Designing a CPU with only Memory Chips
hackaday.com·1d
⚙️Operating System Design
I still care about the code
martinfowler.com·3d·
Discuss: DEV, Hacker News
🔬Static Analysis
Rule Learning for Knowledge Graph Reasoning under Agnostic Distribution Shift
arxiv.org·4d
🎮Verification Games
Predicting and generating antibiotics against future pathogens with ApexOracle
arxiv.org·1d
💻CS
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·1d
🐫OCaml
Attend-and-Refine: Interactive keypoint estimation and quantitative cervical vertebrae analysis for bone age assessment
arxiv.org·1d
🐫OCaml
I Detect ChatGPT Code in Pull Requests (and Why It's Harder Than You Think)
medium.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·4d
🐫OCaml
Real-Time Decorrelation-Based Anomaly Detection for Multivariate Time Series
arxiv.org·1d
🧪Property-Based Testing
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·3d
🔠Type-Level Programming
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.com·4d·
Discuss: Hacker News
🔍Formal Verification