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

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

After a Weak Jobs Report, Trump Fired the Agency’s Leader
nytimes.com·11h
📡RSS
Deep research for healthcare revenue cycle
writing.kunle.app·19h·
Discuss: Hacker News
🔗Data Provenance
Endowments and Unintended Consequences
paulkedrosky.com·17h·
Discuss: Hacker News
✨Effect Handlers
Teach AI your name through someone it trusts
lauradecastro.substack.com·2d·
Discuss: Substack
📊Feed Optimization
Rebuilding an old project paid off, literally!
pro.hextaui.com·1d·
Discuss: Hacker News
🎬WebCodecs
Online Software for an Interstellar Civilization
gatlin.io·2d·
Discuss: Hacker News
⏰Time Crystals
Scientists shrink the genetic code of E. coli to contain only 57 of its usual 64 codons
phys.org·17h
🧬Palindrome Codes
go-pubsub: Lightweight Pub/Sub for Go.
dev.to·23h·
Discuss: DEV
🌊Streaming Systems
KernelScript eBPF-centric programming language
github.com·3d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Hybrid Particle Swarm Optimization for Fast and Reliable Parameter Extraction in Thermoreflectance
arxiv.org·1d
📊Quantization
The Agentic Web Needs a Protocol
dev.to·23h·
Discuss: DEV
🌐Web Standards
Hanging Around: Cognitive Inspired Reasoning for Reactive Robotics
arxiv.org·4d
🔲Cellular Automata
Text2VLM: Adapting Text-Only Datasets to Evaluate Alignment Training in Visual Language Models
arxiv.org·4d
🎙️Whisper
AutoTIR: Autonomous Tools Integrated Reasoning via Reinforcement Learning
arxiv.org·3d
✓Automated Theorem Proving
The Geometry of Harmfulness in LLMs through Subconcept Probing
arxiv.org·3d
🌳Context free grammars
IaCConf 2025: Automate All the Things Panel Discussion
blog.tedivm.com·2d
⚙️Proof Engineering
Planet Labs' Hyperspectral Imagery
tech.marksblogg.com·2d·
Discuss: Hacker News
🕸️WebP Analysis
Asked my AI to reflect on writing clinical notes vs. coding. Here's what it said
news.ycombinator.com·2d·
Discuss: Hacker News
🛠Language Design
Chain-of-Cooking:Cooking Process Visualization via Bidirectional Chain-of-Thought Guidance
arxiv.org·3d
🧮Algorithmic Cooking
LVM-GP: Uncertainty-Aware PDE Solver via coupling latent variable model and Gaussian process
arxiv.org·2d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap