Looking for a Simple Lists App
๐ตDigital Minimalism
Flag this post
Ruby Solved My Problem
๐Refinement Types
Flag this post
Autark: Rethinking build systems โ Integrate, Don't Outsource
๐Reproducible Builds
Flag this post
Reflection
๐ฒCellular Automata
Flag this post
DMSORT: An efficient parallel maritime multi-object tracking architecture for unmanned vessel platforms
arxiv.orgยท2d
๐๏ธObservability
Flag this post
Lost Unix v4 Possibly Recovered on a Forgotten Bell Labs Tape From 1973
tech.slashdot.orgยท3h
๐พRetro Computing
Flag this post
Show HN: JermCAD โ A YAML-powered, vibe-coded, browser-based CAD software
๐ขAlgebraic Data Types
Flag this post
SHIELD: Securing Healthcare IoT with Efficient Machine Learning Techniques for Anomaly Detection
arxiv.orgยท3d
๐๏ธObservability
Flag this post
Coordination-Free Lane Partitioning for Convergent ANN Search
arxiv.orgยท2d
๐งฎZ3 Solver
Flag this post
Levers of Power in the Field of AI
arxiv.orgยท2d
๐คProgram Synthesis
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.orgยท5d
โAutomated Theorem Proving
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard ๐งโโ๏ธ
๐คProgram Synthesis
Flag this post
LLMs Talking in Secret: Direct Semantic Links for AI Collaboration by Arvind Sundararajan
โ๏ธCompiler Design
Flag this post
Loading...Loading more...