Puzzles Games
arkansasonline.com·8h
🧭SMT Solvers
PeaceFounder: Simple centralized Evoting thats voter-verifiable and private
peacefounder.org·5h·
Discuss: Hacker News
🔐Cryptography
The Jargon File (1991)
jargon-file.org·29m·
Discuss: Hacker News
💾Retrocomputing
I automated my life with n8n, and this open-source Zapier alternative is scarily powerful
xda-developers.com·14h
🔌Network Programming
Study shows evolution isn’t random and can be predicted: ‘nothing short of revolutionary’
earth.com·15h
🧫Cellular Automata
Monolith vs Microservices: The $1M ML Design Decision
javarevisited.substack.com·1d·
Discuss: r/programming
🌍Distributed Systems
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·5h
🤝Protocol Design
Vif, a new webframework for OCaml 5
discuss.ocaml.org·2d·
Discuss: Hacker News
🤝Protocol Design
LLMs Can't Tell Time, Winning Builders Budget for This Early
viveksgag.substack.com·3d·
Discuss: Substack
🧩Theorem Proving
Scalable Digital Twin Synchronization via Hierarchical Causal Graph Optimization
dev.to·3d·
Discuss: DEV
⚡Concurrency
Memory as Structured Trajectories: Persistent Homology and Contextual Sheaves
arxiv.org·5d
🔄Category Theory
EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models
arxiv.org·5d
🧭SMT Solvers
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·6d
🧮Programming Language Theory
The Evening I Chose Code Over a Match😂
dev.to·15h·
Discuss: DEV
💾Retrocomputing
Starting Go (Golang) as My First Language – Need Help with Beginner Resources
reddit.com·2d·
Discuss: r/golang
🧮Programming Language Theory
Attention is All We Need: On Leif Weatherby’s Language Machines
3quarksdaily.com·1d
🧮Programming Language Theory
People keep suggesting features for StackDAG, and it’s growing faster than I expected
dev.to·19h·
Discuss: DEV
👐Open Source Software
🔥 Simulating Course Schedules 600x Faster with Web Workers in CourseCast
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
DEPTH: Hallucination-Free Relation Extraction via Dependency-Aware Sentence Simplification and Two-tiered Hierarchical Refinement
arxiv.org·3d
🔗Parser Combinators
Just released teamspeak3.js
reddit.com·10h·
Discuss: r/node
🤝Protocol Design