Extending on Framework Desktop, Stylus availability, and a roundup of gaming performance
frame.workยท1d
๐Ÿ”ŒOperating system internals
All Work and No Play Makes Noisms a [Insert Insult of Choice Here]
monstersandmanuals.blogspot.comยท1d
๐Ÿฆ€Rust Macros
Same Idea, Different Paint Brush
css-tricks.comยท1h
๐Ÿ’ฟFLAC Archaeology
Spider-Man: The Movie Game dissection project - Introduction
krystalgamer.github.ioยท2dยท
Discuss: r/programming
๐ŸŽฎGame Decompilation
Super Mario Galaxy and Super Mario Galaxy 2 are as magical as ever on Nintendo Switch 2
techradar.comยท1d
๐Ÿ“บRetrogaming
Show HN: I built an IDE for devs who live in the terminal
trycodigo.comยท1dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
QNX Resource Manager in Rust: Message Passing and Resource Managers
membarrier.wordpress.comยท3dยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Qwen Code Leverages Qwen3 as a CLI Agentic Programming Tool
kdnuggets.comยท47m
๐Ÿ”“Open Source Software
We built our coding agent for Slack instead of the terminal
mintlify.comยท1dยท
โš™๏ธProof Engineering
PHP 8.5 focusses on readability, debugging features and more security
heise.deยท2d
๐Ÿ”„Language Evolution
SMS: Self-supervised Model Seeding for Verification of Machine Unlearning
arxiv.orgยท10h
๐Ÿง Machine Learning
AI Writing Assistants in 2025: Free vs Paid โ€“ Which Should You Choose?
dev.toยท8hยท
Discuss: DEV
โœ“Automated Theorem Proving
BloomAPR: A Bloom's Taxonomy-based Framework for Assessing the Capabilities of LLM-Powered APR Solutions
arxiv.orgยท10h
๐ŸŒธBloom Variants
Anomaly detection for generic failure monitoring in robotic assembly, screwing and manipulation
arxiv.orgยท10h
๐Ÿ‘๏ธSystem Observability
Dotenv files annoyed me into writing Polyenv
dev.toยท2dยท
Discuss: DEV
๐Ÿ›ก๏ธCLI Security
Building Your Notion AI with pgvector in 10 Minutes
dev.toยท23hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Hybrid Reward Normalization for Process-supervised Non-verifiable Agentic Tasks
arxiv.orgยท10h
๐Ÿค–AI Curation
WAForth โ€“ Forth interpreter and compiler for WebAssembly
github.comยท1hยท
Discuss: Hacker News
๐ŸŒWASI
When LeetCode Burnout Hits: A Realistic Guide to Getting Unstuck
dev.toยท1dยท
Discuss: DEV
โš”๏ธLean Tactics