Writing your own Go linter (dhcp25)
cdn.media.ccc.de·1d
⚙️PL Implementation
Flag this post
Choosing a dependency
🔧DevOps
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧠Automated Reasoning
Flag this post
Automated Semantic Scene Graph Construction & Validation for Real-Time USD Pipelines
📊Runtime Verification
Flag this post
Why AI Can't Write Good Software
🔤Language Design
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·19h
⚡Process Calculi
Flag this post
From Stack to Impact: What Actually Worked in My 3 AI Tool Sites
👁️System Observability
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·19h
🎮Verification Games
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
🔤Language Design
Flag this post
AI-Assisted Coding & Automated Debugging: The Tools That Might Just Save Your Sanity
🤖Program Synthesis
Flag this post
Application architecture design template
🔤Language Design
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
💎Refinement Types
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·19h
📦Opam
Flag this post
Agents Are Commoditizing the Complement
🔧DevOps
Flag this post
Loading...Loading more...