June 29, 2025
buttondown.com·1d
⚡Proof Automation
Towards Digital Sovereignty
systemsapproach.org·21h
🖥️Self-hosted Infrastructure
Beyond Code: APIs as the Next OSS Battleground
redmonk.com·7h·
Discuss: Hacker News
🔓Open Source Software
Show HN: m(ctf)p – A semi-automated environment for solving CTF challenges
git.sr.ht·3d·
Discuss: Hacker News
⚡Proof Automation
The rise of the AI-native employee
elenaverna.com·1d·
Discuss: Hacker News
🔄Language Evolution
Pluto is a unique dialect of Lua with a focus on general-purpose programming
github.com·4h·
Discuss: Hacker News
🔓Open Source Software
Programming Language Switching Politics: A Rigged Game of Power
news.ycombinator.com·1d·
Discuss: Hacker News
🎯Gradual Typing
ChatNONET (Offline/local AI Assistant) for Android
dev.to·1d·
Discuss: DEV
🔌Offline-first Apps
Learning robust parameter inference and density reconstruction in flyer plate impact experiments
arxiv.org·58m
🌀Differential Geometry
We are rewriting the message queue in Rust and would like to hear your suggestions.
reddit.com·23h·
Discuss: r/rust
🔒Linear Types
Critical Security Importance Digital Age Web Techniques（1751197804668800）
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Building an AI-Powered Customer Support App Using MindsDB
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
Flame Graph Performance Truth Analysis（1751071051660200）
dev.to·3d·
Discuss: DEV
⚡Performance Tools
Claude Code: 3 Hard Realities Nobody Talks About
dev.to·1d·
Discuss: DEV
💾Persistence Strategies
🕵️‍♂️ Building a Cybersecurity CTF Game with Amazon Q Developer CLI
dev.to·1d·
Discuss: DEV
📟Terminals
MinQND-Libc – Minimal Libc for WebAssembly
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Object Retrieval for Visual Question Answering with Outside Knowledge
arxiv.org·58m
📊Learned Metrics
Industrial brain: a human-like autonomous neuro-symbolic cognitive decision-making system
arxiv.org·58m
🔲Cellular Automata
Scaling Human Judgment in Community Notes with LLMs
arxiv.org·58m
💻Local LLMs
😎 What Every Developer Should Learn Before 2026
dev.to·2d·
Discuss: DEV
🪟Awesome windows command-line