Daniel Linssen’s Typing Challenge
managore.itch.io·10h
🎯Gradual Typing
Valuable News Summary for 2025/07/14
discoverbsd.com·18h
🔌Operating system internals
Commodore, Apple, and the early computer days ↦
sixcolors.com·6h
💾vintage computing
Setting Up an SDL3 Mac App in XCode 16
journal.stuffwithstuff.com·2d·
Discuss: Hacker News
🖥️Vintage Macintosh
Show HN: Refine – A Local Alternative to Grammarly
refine.sh·2d·
Discuss: Hacker News
🍎XNU Internals
🤖 Building an AI-Powered GitHub README Generator with MCP Protocol
dev.to·15h·
Discuss: DEV
⚙️Build Archaeology
Source code analysis of Amazon Kiro
ghuntley.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
go-dev-frame/sponge
github.com·2d·
Discuss: Hacker News
⚡gRPC
Re-implementing the Nix protocol in Rust
tweag.io·1d·
Discuss: Hacker News
🔒Linear Types
Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools
github.com·1d·
Discuss: Hacker News
🎙️Whisper
colinhacks/zshy: 🐒 Bundler-free build tool for TypeScript libraries. Powered by tsc.
github.com·2d
❄️Nixpkgs
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·2h
💻Local LLMs
GopherTube a Youtube TUI written in Go
reddit.com·2d·
Discuss: r/golang
🐧FOSS
Challenges of golang in CPU intensive tasks
reddit.com·23h·
Discuss: r/golang
⚡Cache Coherence
ExpStar: Towards Automatic Commentary Generation for Multi-discipline Scientific Experiments
arxiv.org·1d
🏛Digital humanities
Claude Code Unleashed
ymichael.com·12h·
Discuss: Hacker News
⚡Proof Automation
My Participation in the METR AI Productivity Study
domenic.me·16h·
Discuss: Hacker News
👁️Observatory Systems
Can Multimodal Foundation Models Understand Schematic Diagrams? An Empirical Study on Information-Seeking QA over Scientific Papers
arxiv.org·2h
📋Document Grammar
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org·2h
🎙️Whisper