Google DeepMind Formal Conjectures
google-deepmind.github.io·11h·
Discuss: Hacker News
λFunctional Programming
Every part on a bicycle is safety critical
escapecollective.com·1d·
Discuss: Hacker News
🔌Embedded Rust
Silence is a Commons by Ivan Illich (1983)
davidtinapple.com·2d·
Discuss: Lobsters
🌱Permaculture
Save your M-series Mac’s energy and battery
eclecticlight.co·2d·
Discuss: Hacker News
⚙Risc-v
Hack, Hacky, Hacker
aneeshsathe.com·2d·
Discuss: Hacker News
⚖️Consensus Networks
Frequently Asked Questions about FHE
jeremykun.com·2d·
Discuss: Lobsters, Hacker News
🔐Decentralized Identity
Rethinking CLI Interfaces for AI
notcheckmark.com·1d·
Discuss: Lobsters, Hacker News
🤖AI agents
What is an Entity Component System architecture for game development? (2012)
richardlord.net·2d·
Discuss: Hacker News
🧩Low-code
Quantum computing could be humanity's biggest breakthrough since fire
aol.com·1d·
Discuss: Hacker News
🧠Neuromorphic Chips
This open-source launcher is the only one I'd use instead of Steam Big Picture on a handheld PC
xda-developers.com·2d
🧩Nomad
Dispel these PC performance myths ASAP
xda-developers.com·2d
🖥computers
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·2h
⏰Time-Series Analytics
I migrated my bare-metal TrueNAS to a Proxmox VM without losing any data, and it was surprisingly easy
xda-developers.com·1d
🏢Self-hosting
Building an Interactive Story Generator with Google AI Studio
dev.to·1d·
Discuss: DEV
🤖AI agents
This free tool completely changed how I troubleshoot my smart home devices
xda-developers.com·5d
⚡Home Energy Monitoring
Learning Deformable Body Interactions With Adaptive Spatial Tokenization
arxiv.org·2h
🎙️Whisper
What is Baby Grok? Elon Musk announces kids-friendly AI app after controvery over sexualized AI avatar - Mint
news.google.com·1d
🎚️Voice AI Systems
How i ditched LangChain to create my own custom RAG
dev.to·1d·
Discuss: DEV
📐Data Modeling
I regret buying a high-end motherboard
xda-developers.com·1d
🖥computers
Day 2 of My 180-Day Developer Challenge: Building Git, learning about Docker and Go
dev.to·14h·
Discuss: DEV
☁️Serverless Rust