Building a BLE-Powered Air Quality Dashboard with Grafana
hackster.ioยท18h
๐Ÿ Home Automation
Issue 481
haskellweekly.newsยท4d
๐Ÿ”—Functional Compilers
Common Expression Language โ€“ Fast, safe expression language
cel.devยท51mยท
Discuss: Hacker News
โœ…Format Verification
Coding with LLMs in the summer of 2025 (an update)
simonwillison.netยท1d
๐Ÿ’งLiquid Types
But will they?
tante.ccยท18h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Rickrolling Turso DB (SQLite rewrite in Rust)
avi.imยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ’พSQLite
Read post
allenai.orgยท2dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Gradual negation types and the Python type system
jellezijlstra.github.ioยท5dยท
Discuss: Hacker News
๐Ÿ”ฌRefinement Types
Generating Production-Ready MCP Servers
withcoherence.comยท4dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Constitutional Hard Forks - When Citizens Must Reclaim Their Ultimate Governance Power
hackernoon.comยท12h
๐ŸคDistributed Consensus
Mentoring junior engineers in the age of coding agents
blog.marcua.netยท1dยท
Discuss: Hacker News
๐Ÿ—บ๏ธCompetency Maps
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.comยท5dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
I asked AI tools philosophical questions โ€“ hereโ€™s what their answers revealed about how they think (and how we do too)
techradar.comยท2d
๐Ÿ›๏ธPhilosophy
Breaking to Build: Fuzzing the Kotlin Compiler
blog.jetbrains.comยท4dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ›Fuzzing
Recurrent Neural Networks: A Review
theahura.substack.comยท2dยท
Discuss: Substack
๐Ÿง Machine Learning
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Capability Systems
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
DFQ-ViT: Data-Free Quantization for Vision Transformers without Fine-tuning
arxiv.orgยท3h
๐Ÿ“ŠQuantization
Consistent Explainers or Unreliable Narrators? Understanding LLM-generated Group Recommendations
arxiv.orgยท1d
๐ŸŽ›๏ธFeed Filtering
Gemini cli vs Claude code: Which one should you choose?
dev.toยท15hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution