WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·6h·
Discuss: Lobsters, Hacker News
🔧MLIR
Clojurists Together project - Scicloj - Building Bridges to New Clojure Users - July 2025 update
scicloj.github.io·2d
✅Formal Verification
Pure Rust cryptography is better than raw performance
kerkour.com·1d·
Discuss: Hacker News
🔗Crypto
Polymorphism Without virtual in C++: Concepts, Traits, and Ref
medium.com·2d·
Discuss: r/cpp
🔧MLIR
Writing an IR from Scratch and survive to write a post
farena.in·19h·
Discuss: Lobsters
🔧MLIR
Who Killed class? A Forensic Look at C++’s Forgotten Keyword
hackernoon.com·1d
🔧MLIR
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·1d·
Discuss: r/opensource
🔧MLIR
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
✅Formal Verification
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·1d·
Discuss: Hacker News
✅Formal Verification
Bioinformatics in Rust
reddit.com·11h·
Discuss: r/rust
🔧MLIR
Contemplating Entity Component Architecture (2024)
datavirke.dk·12h·
Discuss: Hacker News
🧮Homomorphic Encryption
🎲 My Problem With Vibe Coding - And How I Fixed It
blog.chand1012.dev·1d
🤖AI
Why C and C++ Still Matter in the Age of Python and AI
dev.to·4h·
Discuss: DEV
🔧MLIR
Puzzle Languages
prog21.dadgum.com·2d·
Discuss: Lobsters
🔧MLIR
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·1d·
Discuss: Substack
🔧MLIR
Rust standard library verification makes more progress
reddit.com·1d·
Discuss: r/rust
✅Formal Verification
Types are Transforming Python
spin.atomicobject.com·2d·
Discuss: Hacker News
✅Formal Verification
Codeminer42 Dev Weekly #69
blog.codeminer42.com·8h
🔧MLIR
Understanding Async in Rust vs. Zig
reddit.com·1d·
Discuss: r/Zig
🔧MLIR
Building Cliano: A Terminal Piano in Rust
dev.to·4h·
Discuss: DEV
🔧MLIR