Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·10h·
Discuss: Lobsters, Hacker News
🔧MLIR
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·1d·
Discuss: www.blogger.com
🔧MLIR
Flag this post
Music in rust with tunes
crates.io·2d·
Discuss: r/rust
🔧MLIR
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·7h
✅Formal Verification
Flag this post
Mastering Concurrency in Go: Goroutines, Channels, and Patterns
djamware.com·31m·
Discuss: DEV
🔄Protocol Design
Flag this post
Free function to trait impl
reddit.com·1d·
Discuss: r/rust
🔧MLIR
Flag this post
Hacking the Color BASIC PRINT command – part 7
subethasoftware.com·17h
🔒Hardware Security
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·5h
🤖AI
Flag this post
Level 3: Building the Database Foundation with Rust + PostgreSQL
manjushaps.github.io·1d·
Discuss: DEV
📜Smart Contracts
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·9h·
Discuss: r/ClaudeAI
🔧MLIR
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·2h·
Discuss: Hacker News
✅Formal Verification
Flag this post
30 Important PHP Interview Questions and Answers
mygreatlearning.com·12h
📜Smart Contracts
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
just use rustup
kivikakk.ee·1d
🔧MLIR
Flag this post
Building a highly-available web service without a database
screenshotbot.io·3h·
Discuss: r/programming
📜Smart Contracts
Flag this post
A PERSONAL COMPUTING ENVIRONMENT THAT I CAN RELY ON?
logicgrimoire.wordpress.com·1d
🔧MLIR
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·20h·
Discuss: Hacker News
🔧MLIR
Flag this post
How Serde Transforms Rust Data Serialization: Complete Performance and Safety Guide
dev.to·17h·
Discuss: DEV
🔗Crypto
Flag this post
HTB: Dump
0xdf.gitlab.io·1d
🔒Hardware Security
Flag this post
Flatpak Happenings
blog.sebastianwick.net·28m·
Discuss: r/linux
🔒Hardware Security
Flag this post