✅ Formal Methods - Abhi · Scour

SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verification using Siamese Sentence-BERT 🎯Vector Search

arxiv.org·2d

NSA and IETF, part 7 🕳️Obscure Tech

blog.cr.yp.to·4d·Hacker News

I opened a PR on a vibe-coded project. The owner asked me to implement additional features 📐TLA+

oakchris1955.eu·20h·r/coding

Three distinct personalities - one system. Each player has its own strength. TRIFORM 🕸️Distributed Systems

kovalarts.com·4h·r/systems

Tim Bradshaw: Rules for Lisp programs 📐TLA+

tfeb.org·2d

A flood of useful security reports 🕳️Obscure Tech

lwn.net

·21h

A Cryptography Engineer’s Perspective on Quantum Computing Timelines 🤝Paxos Consensus

words.filippo.io·3d·Lobsters, Hacker News, r/crypto

The Future of Everything is Lies, I Guess: Culture 🕳️Obscure Tech

aphyr.com·23h·Hacker News

Probabilistic Language Tries: A Unified Framework for Compression, Decision Policies, and Execution Reuse 🔧Compilers

arxiv.org·1d

Sysbench vs MySQL on a small server: n ⚙️Database Internals

smalldatum.blogspot.com·15h·smalldatum.blogspot.com

Giants-Ware/DocForge-SDK: A production-grade, open-source document engine and viewer — a complete alternative to Nutrient Web SDK (PSPDFKit). Built with Next.js 16, TypeScript, and Ollama-powered AI intelligence. 🔧Compilers

github.com·1d·r/coding

Personal Software with the Help of LLMs 🔧Compilers

danilafe.com·4d·Hacker News

A brief history of C/C++ programming languages 💾Tech History

lemire.me·20h·Hacker News, r/rust

the value of a performance oracle 🔧Compilers

wingolog.org·2d·Lobsters, Hacker News

New Future of Work: AI is driving rapid change, uneven benefits 💾Tech History

microsoft.com·18h

Everything I Learned About Productivity Disagrees With How AI Wants Me to Work ⚙️Database Internals

newsletter.thelongcommit.com·2d·r/coding

OSTEP Chapter 14: Interlude -- Memory API ⚙️Systems Programming

muratbuffalo.blogspot.com·6d·Blogger

Competitive Mathematics Platform 📐CS Theory

solvefire.net·1d·r/coding

Patrick Stein: Nomic Coding Game 🗳️Raft Consensus

nklein.com·4d

BRIDGE: Multimodal-to-Text Retrieval via Reinforcement-Learned Query Alignment 🎯Vector Search

arxiv.org·1d

Loading more...