🔌 Embedded

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

TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·12h·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
FreeBSD Officially Supported in OCI Runtime Specification v1.3
freebsdfoundation.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
🤖AI
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.io·1d·
Discuss: Hacker News
🤖AI
Flag this post
OpenAI Model Spec
model-spec.openai.com·21h·
Discuss: Hacker News
🤖AI
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·2d·
Discuss: Hacker News, Hacker News
✓Formal verification
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·4d·
Discuss: Hacker News
✓Formal verification
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·4d·
Discuss: Hacker News
✓Formal verification
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
A Noob's Guide to Kubernetes Monitoring: SigNoz vs. Datadog vs. Grafana
simpletechguides.com·22h·
Discuss: Hacker News
🗃️Local databases
Flag this post
DiscoBSD
github.com·4d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Update Your Damn Dependencies
deeplifelearning.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Context Engineering 2.0: The Context of Context Engineering
arxiviq.substack.com·6h·
Discuss: Substack
🤖AI
Flag this post
Show HN: Polyglot Docker dev environment setup – C/C++/Rust/Python
github.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Switching from GPG to Age
luke.hsiao.dev·1d·
Discuss: Hacker News
🤖AI
Flag this post
AI Chip History Not Only Rhymes but Also Repeat Itself
diblante.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Reasoning with Sampling: Your Base Model Is Smarter Than You Think
aakaran.github.io·12h·
Discuss: Hacker News
🤖AI
Flag this post
Ask HN: Trying to find an article with unique OS concepts
news.ycombinator.com·11h·
Discuss: Hacker News
🤖AI
Flag this post
The Next Big Thing
semiengineering.com·3d·
Discuss: Hacker News
✓Formal verification
Flag this post
Signed URLs on ESP32
blog.golioth.io·2d·
Discuss: Hacker News, Hacker News
✓Formal verification
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
✓Formal verification
Flag this post