Functional Reactive Programming in JavaScript
dev.to·20h·
Discuss: DEV
🔧MLIR
C++: Maps on Chains
bannalia.blogspot.com·20h·
Discuss: Hacker News
🧮Homomorphic Encryption
KSAT
corrode.dev·2d·
Discuss: Hacker News
🔧MLIR
Regolith - A JavaScript library immune to ReDoS attacks
github.com·23h
🔧MLIR
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·1d·
Discuss: r/programming
🧮Homomorphic Encryption
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
🔧MLIR
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·2d·
Discuss: Hacker News
🔧MLIR
I can haz knowledgebase
autodidacts.io·5h
🛡️AI Safety
Little adventure in pursuit of errors. The Battle for Wesnoth!
dev.to·12h·
Discuss: DEV
🔧MLIR
DSA Problem Solving — Day 4 and 5
dev.to·9h·
Discuss: DEV
🧮Homomorphic Encryption
EinHops: Einsum Notation for Expressive Homomorphic Operations on RNS-CKKS Tensors
eprint.iacr.org·1d
🧮Homomorphic Encryption
Context Design Philosophy Patterns High Web
dev.to·2d·
Discuss: DEV
🔧MLIR
BSDCan 2025 Trip Report – Mark Johnston
freebsdfoundation.org·8h
🔧MLIR
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·4h·
Discuss: Hacker News
🔧MLIR
Abstract Syntax Trees (ASTs) in Action: Build Your Own Python Code Sniffer
dev.to·18h·
Discuss: DEV
🔧MLIR
The power of SurrealDB embedded
dev.to·1d·
Discuss: DEV
🔧MLIR
Had to happen one day ... here's my first special-purpose custom allocator
reddit.com·1d·
Discuss: r/C_Programming
🔧MLIR
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·1d
🔧MLIR
My first verified (imperative) program
markushimmel.de·4d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Verification
Constructing Containers from Ranges in C++23 -- Sandor Dargo
isocpp.org·6h
🔧MLIR