❄️ Nix

home-manager, sops-nix, nix-darwin, nixos, nix-anyhere, nixos-infect

Cambridge University launches project to rescue data trapped on old floppy disks
lib.cam.ac.uk·2d·
Discuss: Hacker News
⚙Risc-v
Show HN: Send-only email client for Mac (Gmail support)
ckdml.com·5h·
Discuss: Hacker News
➡️Arrow Format
Causal Profiling
khayyamguliyev.substack.com·1d·
Discuss: Substack
⚡SIMD Optimization
Spotify expands parent-managed accounts for kids to more countries, including the US
techcrunch.com·5h
🎚️Audio Codecs
What's The Deal With GitHub Spec Kit
den.dev·2d·
Discuss: Hacker News
🔍Static Analysis
RMPocalypse: Breaking AMD Confidential Computing with a Single Write
rmpocalypse.github.io·1d·
Discuss: Hacker News
🛡️ARM TrustZone
Requiem for a Startup (2011)
marksoper.me·20h·
Discuss: Hacker News
🌊Event Streaming
“Texas Is Building a City for the AI Age”: 50,000 Acres Turned Into a Hydrogen-Powered Data Hub Aiming to Redefine America’s Energy Future - Energy Reporters
news.google.com·7h
🌱Sustainable Computing
RondoDox botnet fires 'exploit shotgun' at nearly every router and internet-connected home device
theregister.com·4d·
Discuss: Hacker News
🔗Peer-to-peer
AI for coding is still playing Go, not StarCraft
quesma.com·3h·
Discuss: Hacker News
🏗️AI Infrastructure
How to Reject a Pull Request
github.com·3d·
Discuss: Hacker News
🔌Embedded Rust
Looking for good bitnami/redis-cluster helm chart alternative
reddit.com·4d·
Discuss: r/kubernetes
🏢Self-hosting
Operationalizing AI: Empirical Evidence on MLOps Practices, User Satisfaction, and Organizational Context
arxiv.org·16h
🧩Low-code
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
arxiv.org·16h
λFunctional Programming
Automated Verification of Timing Constraints in High-Speed Digital Circuits using Hybrid Symbolic Execution and Machine Learning
dev.to·19h·
Discuss: DEV
🔍Chip Verification
Introduction to Python Module Two Part Five: Booleans and Operators
dev.to·1d·
Discuss: DEV
λFunctional Programming
Who are you, ChatGPT? Personality and Demographic Style in LLM-Generated Content
arxiv.org·16h
🏠Self-hosted AI
DITTO: A Spoofing Attack Framework on Watermarked LLMs via Knowledge Distillation
arxiv.org·16h
💻Local LLMs
Code Green: How Your Data Skills Can Power Europe's Climate Revolution
dev.to·1d·
Discuss: DEV
🌱Sustainable Computing
I deployed a zero-trust tunnel with Cloudflare Tunnel and Authelia
xda-developers.com·3d
🏢Self-hosting