🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Proof-Carrying Data

Verified Preservation, Formal Guarantees, Type Safety, Archive Correctness

[$] Python performance myths and fairy tales
lwn.net·16h
⚡Performance Mythology
Updated Stacks Project
math.columbia.edu·11h
🌳Persistent Data Structures
Postgres Replication Slots: Confirmed Flush LSN vs. Restart LSN
morling.dev·18h·
Discuss: Lobsters, Hacker News, r/programming
🗄️PostgreSQL WAL
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·18h·
Discuss: Hacker News
📼Tape Combinators
Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
🔒Linear Types
OpenAI makes good on its name, launches first open weights language models since GPT-2
theregister.com·8h
🌀Brotli Internals
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·2d·
Discuss: Hacker News
⚡gRPC
LinkQA: Synthesizing Diverse QA from Multiple Seeds Strongly Linked by Knowledge Points
arxiv.org·1d
💻Local LLMs
Industrial LLM-based Code Optimization under Regulation: A Mixture-of-Agents Approach
arxiv.org·2h
🧩WASM Components
Inside the Tech Stack of dblayer - Go, Next.js 15, Express & Beyond
dev.to·3h·
Discuss: DEV
🗄️Database Internals
On Conformal Machine Unlearning
arxiv.org·2h
🧮Kolmogorov Bounds
Pulse Shape Discrimination Algorithms: Survey and Benchmark
arxiv.org·2h
🔍Vector Forensics
Machine Learning Fundamentals: machine learning
dev.to·2d·
Discuss: DEV
🧠Machine Learning
L3M+P: Lifelong Planning with Large Language Models
arxiv.org·1d
⚙️TLA+
A comprehensive taxonomy of hallucinations in Large Language Models
arxiv.org·1d
🌳Context free grammars
Hyperproperty-Constrained Secure Reinforcement Learning
arxiv.org·2d
🔐Homomorphic Encryption
Building a Personal AI Info Pipeline: Semantic Monitoring with YAML and GPT
dev.to·12h·
Discuss: DEV
🌀Brotli Internals
Quark’s Outlines: Python Long Integers
dev.to·1d·
Discuss: DEV
✅Format Verification
Landsat30-AU: A Vision-Language Dataset for Australian Landsat Imagery
arxiv.org·2h
🤖Advanced OCR
Beyond the Wavefunction: Qualia Abstraction Language Mechanics and the Grammar of Awareness
arxiv.org·2h
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap