Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
What does OSWorld tell us about AI's ability to use computers?
epoch.ai·6h·
Discuss: Hacker News
👁️System Observability
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·8h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·2d·
Process Calculi
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·12h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
AI Models Write Code with Security Flaws 18–50% of the Time, New Study Finds
medium.com·1d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·23h
🔲Cellular Automata
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.to·22h·
Discuss: DEV
👁️System Observability
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·23h
📚Automata Learning
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·1d
🔲Cellular Automata
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·23h
📝Nix Language
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·2d·
Discuss: DEV
🕸️Graph Theory
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·23h
🔍CBMC
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·1d
📝Term Rewriting
Flag this post
AI for pRedicting Exacerbations in KIDs with aSthma (AIRE-KIDS)
arxiv.org·23h
⏱️Computational Complexity
Flag this post
It’s Time To Build APIs for AI, Not Just For Developers
thenewstack.io·15h
🤖Program Synthesis
Flag this post