🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.com·4d
🔓Open Source Software
Show HN: I made a zero-log, ephemeral, E2EE web chat
trashtalk.me·3h·
Discuss: Hacker News
📼Cassette Networks
Graph Theory in Video Games: BitDP
utk.claranguyen.me·1d·
Discuss: Hacker News
🔲Cellular Automata
A brief introduction to MCP server performance optimization
catchmetrics.io·1d·
Discuss: Hacker News
👁️Observatory Systems
I will fix your vibe-coded MVP – sgnt.ai
sgnt.ai·1d·
Discuss: Hacker News
🔓Hacking
Explanation First, Then Code Conversion: A Practical Guide to Mainframe Optimization
devops.com·2d
🏛️Mainframe Archaeology
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·5d·
Discuss: Hacker News
⚙️TLA+
Scaling DevOps Without Losing Your Mind (or Your SLA)
hackernoon.com·7h
❄️Nix Adoption
VxKex-NEXT: Windows 7 API Extensions
github.com·1d·
Discuss: Hacker News
🕸️WASM Archives
A learning experience with NetworkManager and zbus
dev.to·6h·
Discuss: DEV
🦀Embedded Rust
On Context-Content Uncertainty Principle
arxiv.org·2d
🧠Machine Learning
Uncovering Hidden Violent Tendencies in LLMs: A Demographic Analysis via Behavioral Vignettes
arxiv.org·2d
🧠Intelligence Compression
How Startups Harness Google TPUs for Scalable AI Innovation
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
I built a Swift GraphQL client that generates the query using macros
github.com·3d·
Discuss: Hacker News
✅Format Verification
Machine Learning Fundamentals: adam optimizer tutorial
dev.to·2d·
Discuss: DEV
📊Feed Optimization
BlockArt: Bringing GPT-4o Image Generation to Storyblok’s CMS
dev.to·1h·
Discuss: DEV
📡Feed Archaeology
The Furones Algorithm
dev.to·2d·
Discuss: DEV
🕸️Graph Algorithms
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·5d
🎯Performance Proofs
RoastMyCode VSCode Extension
dev.to·5h·
Discuss: DEV
🔗Concatenative Programming
Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation
arxiv.org·2d
🔍Information Retrieval
Loading...Loading more...
AboutBlogChangelogRoadmap