Daemonsgate: Miles to Go Before We Sleep
crpgaddict.blogspot.com·1h·
Discuss: crpgaddict.blogspot.com
🔒Hardware Security
Data Poisoning Attacks
infosecwriteups.com·13h
🔒Hardware Security
Gauss, an Agent for Autoformalization
math.inc·2d·
Discuss: Hacker News, Hacker News, Hacker News
✅Formal Verification
Emacs hacks: patching Markdown mode
oxal.org·21h·
Discuss: Hacker News
🔧MLIR
Exploring the Protein Data Bank programmatically
blopig.com·2d
🧮Homomorphic Encryption
Defeating Nondeterminism in LLM Inference
simonwillison.net·2d
🤖AI
Day 35 of My Data Analytics Journey !
dev.to·9h·
Discuss: DEV
🤖AI
Minecraft server for memory-restrictive embedded systems (ESP32)
github.com·1d·
Discuss: Hacker News
🔧MLIR
The Real Importance of Unit Testing for DevOps Engineers
dev.to·8h·
Discuss: DEV
✅Formal Verification
Adaptive Decentralized Control of Simulated Digital Twins in Metaverse Manufacturing
dev.to·3h·
Discuss: DEV
🌐Decentralized AI
I’m 20, close to becoming a Rust compiler team member - what would you do in my place?
reddit.com·4d·
Discuss: r/rust
🔧MLIR
🔥 Finally finished ManjaroWizard: the ultimate post-install setup script for Manjaro Linux! Dev tools, Browsers, Gaming, Security, all in one interactive menu 🚀...
github.com·3h·
Discuss: r/archlinux, r/linux
🔧MLIR
Rust compiler performance survey 2025 results
blog.rust-lang.org·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔧MLIR
RoguelikeDev Tutorial Tuesday 2025, a Summary
reddit.com·3d·
Discuss: r/roguelikedev
🔧MLIR
I made my first plugin
reddit.com·1d·
Discuss: r/godot
🔧MLIR
Should I learn C, Rust, or Zig?
reddit.com·5d·
Discuss: r/AskProgramming
🔧MLIR
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·3d·
Discuss: Hacker News
📜Smart Contracts
python: printing, variables and data types
dev.to·3d·
Discuss: DEV
✅Formal Verification
🏆001. Wins of my week🏆
dev.to·20h·
Discuss: DEV
🔧MLIR
Help me to learn a roadmap for kubernets
reddit.com·2d·
Discuss: r/kubernetes
🔄Protocol Design