Counting with Categories (Part 3)
golem.ph.utexas.edu·3d
λLambda Formalization
ML in the Home
blog.raymond.burkholder.net·4d
📈Time Series
I recreated Asteroids with AI in five minutes, and now I think game development is about to change forever
techradar.com·14h
📼Retro Games
AI and Programming Language Communities
jerf.org·1d
🎯Gradual Typing
Harvey Launches Deep Research for Legal
artificiallawyer.com·11h·
Discuss: Hacker News
⚡Proof Automation
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·2d·
Discuss: Hacker News
📏Code Metrics
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·3d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
How Questions Build Software
akdev.blog·14h·
Discuss: Hacker News
🔍Concolic Testing
Show HN: Zsh-AI – Natural language to shell commands in your terminal
github.com·12h·
Discuss: Hacker News
⌨️Terminal Customization
Developing AI-Powered Applications with LLMs on Google Cloud
dev.to·16h·
Discuss: DEV
🎙️Whisper
⚙️ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.to·1d·
Discuss: DEV
🌊Stream Processing
HarmonyOS Development: The first article on the application shelf, generating key and certificate request files
dev.to·2h·
Discuss: DEV
🔌Operating system internals
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·2d
⚡Incremental Computation
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·2d
💻Local LLMs
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·2d
🔲Cellular Automata
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·2d
🧠Intelligence Compression
MCP for Dummies
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
MCP Security Vulnerabilities and Attack Vectors
dev.to·11h·
Discuss: DEV
🔐CBOR
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.to·1d·
Discuss: DEV
💧Liquid Types