🐿️ 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

Meshtastic: Why is it so popular?
jonlennartaasenden.wordpress.comΒ·3h
πŸ•ΈοΈMesh Networking
Getting Started with TypeScript on Fastly Compute
fastly.comΒ·1d
πŸ’§Liquid Types
Microservices to Monolith, Rebuilding Our Back End in Rust
influxdata.comΒ·43mΒ·
Discuss: Hacker News
πŸ”ŒInterface Evolution
Slightly better named character reference tokenization than Chrome, Safari, and Firefox
ryanliptak.comΒ·1dΒ·
Discuss: Lobsters, Hacker News
🌳Trie Structures
How much code does that proc macro generate?
nnethercote.github.ioΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ¦€Rust Macros
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.appΒ·1dΒ·
Discuss: Hacker News
⚑Proof Automation
Adaptive Hybrid Sort: Dynamic Strategy Selection for Optimal Sorting Across Diverse Data Distributions
arxiv.orgΒ·3h
🌳Trie Structures
Client Clustering Meets Knowledge Sharing: Enhancing Privacy and Robustness in Personalized Peer-to-Peer Learning
arxiv.orgΒ·1d
πŸ”’Privacy Preserving
Critical Security Importance Digital Age Web Techniques(1751002215693700οΌ‰
dev.toΒ·1hΒ·
Discuss: DEV
πŸ”’WASM Capabilities
CovDocker: Benchmarking Covalent Drug Design with Tasks, Datasets, and Solutions
arxiv.orgΒ·3h
πŸ”BitFunnel
Timed Prediction Problem for Sandpile Models
arxiv.orgΒ·3h
πŸ”²Cellular Automata
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.orgΒ·1d
πŸ’»Local LLMs
LangChain vs. TLRAG: A Comparative Analysis for Investors
dev.toΒ·2dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
LLMs Are Faking Neutralityβ€”And We Can Now Measure It
hackernoon.comΒ·1d
πŸ“Concrete Syntax
How Keploy Transformed My API Testing Experience During Their Fellowship Program
dev.toΒ·1hΒ·
Discuss: DEV
πŸ”Concolic Testing
LLMs, Data Dysphoria, and the Global Regulatory Response
hackernoon.comΒ·3d
πŸ’»Local LLMs
DSPy for Rubyists
github.comΒ·2dΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.orgΒ·1d
βœ…Format Verification
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.orgΒ·3d
πŸ“Linear Logic
[$] Libxml2's "no security embargoes" policy
lwn.netΒ·1d
πŸ”“Free and open source
Loading...Loading more...
AboutBlogChangelogRoadmap