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

User Experience Is Computation
madebynathan.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The keyboard of choice for modular synth nerds gets a proper sequel after 10 years
theverge.com·19h
🗃️Local databases
Flag this post
Complexity fills the space it's given
wilsoniumite.com·7h·
Discuss: Hacker News
🤖AI
Flag this post
Building our geospatial database in production
radar.com·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Self-hosting your Mastodon media with SeaweedFS
it-notes.dragas.net·4h·
🗃️Local databases
Flag this post
OpenTelemetry: Escape Hatch from the Observability Cartel
oneuptime.com·2d·
Discuss: Hacker News
Formal verification
Flag this post
Reviving a MacBook Air with Fedora Silverblue
taoofmac.com·17h·
Discuss: Hacker News
🗃️Local databases
Flag this post
Deploying Temporal on AWS ECS with Terraform
papnori.github.io·1d·
Discuss: Hacker News
Formal verification
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
fiveonefour.com·20h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
AI Native Architecture: Intelligence by Design
sumant.bearblog.dev·11h·
Discuss: Hacker News
🤖AI
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·1d·
Discuss: Hacker News
Formal verification
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·5d·
Formal verification
Flag this post
OpenAI Model Spec
model-spec.openai.com·7h·
Discuss: Hacker News
🤖AI
Flag this post
Video Invisible Watermarking at Scale
engineering.fb.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Reforging the ReScript Build System
rescript-lang.org·1d·
🤖AI
Flag this post
Notes on Google's Space Data Centers
angadh.com·23h·
Discuss: Hacker News
🗃️Local databases
Flag this post
original ↗
jamesoclaire.com·15h·
Discuss: Hacker News
🤖AI
Flag this post
Dennis Ritchie's story of dabbling in the cryptographic world
web.archive.org·3h·
Discuss: Hacker News
Formal verification
Flag this post
Why Workflows Fail: The Indeterministic Business Problem
blog.dragonscale.ai·1d·
Discuss: Hacker News
🤖AI
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
Formal verification
Flag this post