🔌 Embedded

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

miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·1d·
Discuss: Hacker News
✓Formal verification
Plague: A Newly Discovered Pam-Based Backdoor for Linux
nextron-systems.com·13h·
Discuss: Hacker News
✓Formal verification
Parallel Programming Models
ayushgundawar.me·21h·
Discuss: Hacker News
🤝Using AI for programming
How to reverse engineer an analog chip: the TDA7000 FM radio receiver
righto.com·12h·
Discuss: www.blogger.com, Lobsters
✓Formal verification
Lobsters Interview with Icefox
lobste.rs·1d·
Discuss: Lobsters
🤖AI
Writing a basic service for GNU Guix
tannerhoelzel.com·24m·
Discuss: Hacker News
🗃️Local databases
What to do with a NVIDIA Tesla V100S 32GB GPU
reddit.com·23h·
Discuss: r/LocalLLaMA
🤖AI
Demystify OpenAI Triton (2023)
fkong.tech·7h·
Discuss: Hacker News
🤖AI
A Doubly-MMapped Contiguous Shared-Memory Lock-Free Queue
reachablecode.com·3h·
Discuss: Hacker News
✓Formal verification
Benchmarking MicroPython
blog.miguelgrinberg.com·2d·
Discuss: Hacker News, r/programming
✓Formal verification
I created a persistent memory for an AI assistant I'm developing, and am releasing the memory system
github.com·3h·
Discuss: r/LocalLLaMA
🤖AI
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·15h·
Discuss: Lobsters, Hacker News
✓Formal verification
Meta
engineering.fb.com·22h·
Discuss: Hacker News
🤝Using AI for programming
Linear Types for Programmers
twey.io·11h·
Discuss: Hacker News
✓Formal verification
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.com·1d·
Discuss: Hacker News
🗃️Local databases
What Is Mining?
cryptowatchnews.com·9h·
Discuss: Hacker News
✓Formal verification
Running Gaming Workloads Through AMD's Zen 5
chipsandcheese.com·5h·
Discuss: Hacker News
🤖AI
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for..
github.com·16h·
Discuss: Hacker News
🗃️Local databases
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
✓Formal verification
Are you deploying across ARM and x64 architectures?
caepe.sh·1d·
Discuss: Hacker News
🤖AI