🔌 Embedded

FPGAs, Raspberry Pi Pico PIO (programmable IO), Rust on embedded systems

I built a pipeline for automatically translating Chinese news
bednarskiwsieci.pl·16h·
Discuss: Hacker News
🤝Using AI for programming
Freedesktop.org – Desktop Interoperability Standards
freedesktop.org·1d·
Discuss: Hacker News
🤝Using AI for programming
Writing a brand-new OS is almost impossible by now
blog.wellosoft.net·2d·
Discuss: Hacker News, Hacker News
✓Formal verification
An essential primer for building enterprise-ready MCP servers
aleknwr.substack.com·1d·
Discuss: Substack
✓Formal verification
Programming a Language
nrinaudo.github.io·2d·
Discuss: Hacker News
🤝Using AI for programming
ManagedCode.Communication – a complete Result Pattern project for .NET
github.com·1h·
Discuss: Hacker News
✓Formal verification
Memory upgrade for local inference - Faster memory vs. more memory? If price is the same, would you go for 384GB @4800Mhz or 256GB @6000Mhz?
reddit.com·2d·
Discuss: r/LocalLLaMA
✓Formal verification
F-Droid build servers can't build modern Android apps due to outdated CPUs
news.ycombinator.com·5h·
Discuss: Hacker News
🗃️Local databases
Why might it be necessary for Coalton to be a language in itself?
gist.github.com·1d·
Discuss: Hacker News
✓Formal verification
AI: Great Expectations
rodneybrooks.com·2d·
Discuss: Hacker News
🤖AI
Linear sent me down a local-first rabbit hole
bytemash.net·5d·
Discuss: Hacker News
🗃️Local databases
Progress Report: Linux 6.16
asahilinux.org·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/linux
✓Formal verification
Show HN: Persistent Mind Model – Portable AI Personas for Any LLM
github.com·1d·
Discuss: Hacker News, r/LLM
🤖AI
Show HN: BrowserPilot – Tell the browser what to do. It does it
pilotbrowser.vercel.app·4h·
Discuss: Hacker News
🤝Using AI for programming
Infinite Network Attached Memory for LLM Inference for RTX 4090
reddit.com·1d·
Discuss: r/LocalLLaMA
🗃️Local databases
My Book "The Origins of Efficiency" is Now Available for Preorder
construction-physics.com·18h·
Discuss: Hacker News
🤝Using AI for programming
Iceberg Table Corruption and Data Loss in Production
ryft.io·13h·
Discuss: Hacker News
✓Formal verification
Using C as a scripting language
lazarusoverlook.com·2d·
Discuss: Hacker News, r/programming
🤝Using AI for programming
The Strategic Implications of GPT-5 for OpenAI
chrishayduk.com·1d·
Discuss: Hacker News
🤖AI
Algorithmic Underground
jmsdnns.com·1d·
Discuss: Lobsters, Hacker News
🤖AI