How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📊Monitoring
Deriving Rope the Proper Way
nor-blog.pages.dev·1d·
Discuss: Hacker News
🧠Ai
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·4h·
Discuss: Hacker News
📊Monitoring
Gear News of the Week: Insta360 Debuts a Drone Company, and DJI Surprises With an 8K 360 Camera
wired.com·7h
🧠Ai
Plague: A Newly Discovered Pam-Based Backdoor for Linux
nextron-systems.com·2h·
Discuss: Hacker News
🧠Ai
A Library Approach to Constant Template Parameters
brevzin.github.io·2h·
Discuss: Hacker News
🧠Ai
What happens when line between authentic and artificial is impossible to draw?
syntheticauth.ai·2d·
Discuss: Hacker News
🧠Ai
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4h·
Discuss: Lobsters, Hacker News
🧠Ai
The /o in Ruby regex stands for “oh the humanity!”
jpcamara.com·2h·
Discuss: Lobsters, Hacker News
🧠Ai
You're probably not learning with AI
aryas.dev·9h·
Discuss: Hacker News
🧠Ai
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
🧠Ai
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·1d·
Discuss: Hacker News
🧠Ai
Symbol-Level Editing
sysprogs.com·9h·
Discuss: Hacker News
🧠Ai
Speak, Don't Type
typeless.com·13h·
Discuss: Hacker News
🧠Ai
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.org·21h·
Discuss: Hacker News, r/cpp
📊Monitoring
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·3h·
Discuss: Hacker News
🍳Cooking
The Kaplay Game Library in 5 Minutes
jslegenddev.substack.com·15h·
Discuss: Substack
🧠Ai
Compressed Sensing
en.wikipedia.org·4d·
Discuss: Hacker News
🧠Ai
The Schwartzian Transform (2016)
perl.com·1d·
Discuss: Hacker News
🧠Ai
Show HN: Gomoku game in JavaScript (GitHub and live demo)
github.com·1h·
Discuss: Hacker News, r/javascript
🧠Ai