🔌 Embedded

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

Feeds to Scour
SubscribedAll
Scoured 2734 posts in 166.1 ms
On the Promises of 'High-Assurance' Cryptography
symbolic.software·2d·
Discuss: Lobsters, Hacker News
✓Formal verification
Securing GenAI: Vol. 8 — Deploying AI apps securely
pub.towardsai.net·9h
🤖AI
Building a battle tested C compiler in a new language using Codex
moonbitlang.com·1d·
Discuss: Hacker News
🤝Using AI for programming
CentOS is coming to RISC-V soon if you have the kit
theregister.com·2d·
Discuss: Hacker News
🗃️Local databases
Merkle trees and build systems with OSTree and ninja
lwn.net·1d·
Discuss: Hacker News
✓Formal verification
Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package
jakebox.github.io·13h·
Discuss: Lobsters, Hacker News
✓Formal verification
Waterloo Style
theprogrammersparadox.blogspot.com·17h·
Discuss: Hacker News
🤝Using AI for programming
The control layer for AI
blog.dottxt.ai·11h·
Discuss: Hacker News
🤖AI
Landlord: a tenancy controller and experiment in AI driven product building
leebriggs.co.uk·1d·
Discuss: Hacker News
🤖AI
An Analysis of User-space Idle State Instructions on x86 Processors
danglingpointers.substack.com·1d·
Discuss: Substack
✓Formal verification
Both GCC and Clang generate strange/inefficient code
codingmarginalia.blogspot.com·13h·
Discuss: Hacker News, Hacker News
✓Formal verification
Understanding LLM Inference Engines: Inside Nano-vLLM (Part 2)
neutree.ai·21h·
Discuss: Hacker News
✓Formal verification
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·10h·
Discuss: Hacker News
✓Formal verification
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
✓Formal verification
C Isn't A Programming Language Anymore
faultlore.com·1d·
Discuss: Hacker News
✓Formal verification
Why I joined OpenAI
brendangregg.com·22h·
Discuss: Lobsters, Hacker News
🤖AI
Automated Board Alignment with YOLO
pikkoloassembly.com·14h·
Discuss: Hacker News
🤝Using AI for programming
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
✓Formal verification
michaelhelvey/lilfuture: Educational async runtime for Rust
github.com·1d
✓Formal verification
A handful of wholesomely bad ads for 90s SPARC clones
buttondown.com·1d·
Discuss: Hacker News
🤝Using AI for programming

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help