๐Ÿฟ๏ธ 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

Postgres Replication Slots: Confirmed Flush LSN vs. Restart LSN
morling.devยท21hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ—„๏ธPostgreSQL WAL
Show HN: Elf0 โ€“ Build and run AI agent workflows in YAML (CLI)
elf0.comยท16hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Model Collapse and the Need for Human-Generated Training Data
glthr.comยท8hยท
Discuss: Hacker News
๐Ÿ”Vector Forensics
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.comยท2dยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Cost tracking multi-tenant model inference on Amazon Bedrock
aws.amazon.comยท1d
๐Ÿ”—Data Provenance
Beyond the Wavefunction: Qualia Abstraction Language Mechanics and the Grammar of Awareness
arxiv.orgยท5h
๐Ÿ’ปProgramming languages
[$] Python performance myths and fairy tales
lwn.netยท19h
โšกPerformance Mythology
Experimental Evaluation of Post-Quantum Homomorphic Encryption for Privacy-Preserving V2X Communication
arxiv.orgยท1d
๐Ÿ”Homomorphic Encryption
Python Fundamentals: context managers
dev.toยท20hยท
Discuss: DEV
๐Ÿ“Code Metrics
Alignment Monitoring
arxiv.orgยท2d
โš™๏ธAssembly Verification
ROVER: Recursive Reasoning Over Videos with Vision-Language Models for Embodied Tasks
arxiv.orgยท1d
๐Ÿค–Advanced OCR
Actionable Counterfactual Explanations Using Bayesian Networks and Path Planning with Applications to Environmental Quality Improvement
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Translating Machine Learning Interpretability into Clinical Insights for ICU Mortality Prediction
arxiv.orgยท1d
๐Ÿง Machine Learning
RooseBERT: A New Deal For Political Language Modelling
arxiv.orgยท5h
๐Ÿ“Concrete Syntax
LLMs - Embeddings 01
dev.toยท2dยท
Discuss: DEV
๐ŸงฎVector Embeddings
Tech Breakthroughs of July 2025
dev.toยท9hยท
Discuss: DEV
๐Ÿ–ฅ๏ธTerminal Renaissance
Building and Aligning Comparable Corpora
arxiv.orgยท1d
๐Ÿ“œDigital Philology
T-GRAG: A Dynamic GraphRAG Framework for Resolving Temporal Conflicts and Redundancy in Knowledge Retrieval
arxiv.orgยท1d
๐Ÿ”Information Retrieval
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.netยท3dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Functional Compilers
Building a Real-Time Data Pipeline using Binance Websocket API, PySpark, Kafka and Grafana
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠApache Kafka
Loading...Loading more...
AboutBlogChangelogRoadmap