Manage your dotfiles using GNU Stow
lukasrotermund.de·1d·
Discuss: Hacker News
🏠Home Manager Modules
Flag this post
Garbage Collection Is a Hack
blog.adamant-lang.org·10h·
Discuss: Hacker News
🧩Separation Logic
Flag this post
Firefox and Chromium
madaidans-insecurities.github.io·1d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Patching 68K Software – SimpleText
tinkerdifferent.com·2d·
Discuss: Hacker News
📺Vintage Apple
Flag this post
Building an Accessible Before/After Slider in React
jsdev.space·17h·
Discuss: Hacker News
📺Vintage Apple
Flag this post
Text to SQL: Local, Secure, and Smarter
exasol.com·2d·
Discuss: Hacker News
🔤Language Design
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·5d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Show HN: Unify-Simple-Decision-Table
github.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Apple Health MCP Server: Use Cases for Developers
dev.to·1d·
Discuss: DEV
💻Apple Virtualization
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·1d·
Discuss: r/golang
🎯GADT
Flag this post
Jeff Su: 4 ChatGPT Hacks that Cut My Workload in Half
dev.to·2h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·3d
📦Module Systems
Flag this post
GitHub Copilot tutorial: How to build, test, review, and ship code faster (with real prompts)
github.blog·2d
🔧DevOps
Flag this post
Go Generics: Use Cases and Patterns
dev.to·1d·
Discuss: DEV
❓Existential Types
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
dev.to·17h·
Discuss: DEV
🔧Microservices
Flag this post
Post-Training LLMs as Better Decision-Making Agents: A Regret-Minimization Approach
arxiv.org·17h
📚Automata Learning
Flag this post
Show HN: KnexBridge – Generate TypeScript and Zod Types from Knex DB
github.com·1d·
Discuss: Hacker News
❄️NixOS
Flag this post
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·2d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Show HN: ReadMyMRI DICOM native preprocessor with multi model consensus/ML pipes
github.com·2d·
Discuss: Hacker News
👁️Observability
Flag this post
How I Use AI to Build Frontend Apps: My Candid, Messy Process
dev.to·3d·
Discuss: DEV
🌐ActivityPub
Flag this post