📐 Formal Methods - elmer.villalobos · Scour

Probabilistic Language Tries: A Unified Framework for Compression, Decision Policies, and Execution Reuse ✅Model Checking

arxiv.org·1d

Can your AI rewrite your code in assembly? ✅Model Checking

lemire.me·4d·Hacker News

I opened a PR on a vibe-coded project. The owner asked me to implement additional features 🌪️Chaos Engineering

oakchris1955.eu·20h·r/coding

Three distinct personalities - one system. Each player has its own strength. TRIFORM 🗳️Paxos

kovalarts.com·3h·r/systems

the value of a performance oracle ✅Model Checking

wingolog.org·2d·Lobsters, Hacker News

A flood of useful security reports 🌪️Chaos Engineering

lwn.net

·21h

Diff Algorithms 🔍Static Analysis

flo.znkr.io·6d·r/SoftwareEngineering, r/coding, r/programming

Sysbench vs MySQL on a small server: n 🗃️Databases

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

SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verification using Siamese Sentence-BERT 🐛Fuzzing

arxiv.org·2d

The Future of Everything is Lies, I Guess: Culture 🌪️Chaos Engineering

aphyr.com·22h·Hacker News

Tim Bradshaw: Rules for Lisp programs 🔍Static Analysis

tfeb.org·1d

Personal Software with the Help of LLMs 🔍Static Analysis

danilafe.com·4d·Hacker News

New Future of Work: AI is driving rapid change, uneven benefits 🌪️Chaos Engineering

microsoft.com·18h

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. ⛓️Web3

github.com·1d·r/coding

OSTEP Chapter 14: Interlude -- Memory API 🔍Static Analysis

muratbuffalo.blogspot.com·6d·Blogger

AI Agents Know About Supabase. They Don't Always Use It Right. 🐛Fuzzing

supabase.com·1d

Everything I Learned About Productivity Disagrees With How AI Wants Me to Work 🌪️Chaos Engineering

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

A Cryptography Engineer’s Perspective on Quantum Computing Timelines 🔐Crypto

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

BRIDGE: Multimodal-to-Text Retrieval via Reinforcement-Learned Query Alignment 🐛Fuzzing

arxiv.org·1d

NSA and IETF, part 7 🔐Crypto

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

Loading more...