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

CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·6d
🌊Stream Ciphers
Bookshelf: Summer 2025
placesjournal.org·5d
🏛Digital humanities
Technical Sales & Presales 101: The very basics
lukasniessen.com·3d·
Discuss: r/programming
⚙️Proof Engineering
Elon Musk's XAI Exposed Grok Conversations to Google
computing.co.uk·3d·
Discuss: Hacker News
📰RSS Archaeology
Mother reveals how she reclaimed £5,686 in missing benefits - and how others can too
the-independent.com·1d
📜Family History Data
15 best flasks and travel mugs that will keep drinks hot (or cold) for hours
the-independent.com·2d
☕Coffee
An Analysis of Chinese Censorship Bias in LLMs
petsymposium.org·5d·
Discuss: Hacker News
💻Local LLMs
What's new in TensorFlow 2.20
blog.tensorflow.org·5d
💻Local LLMs
Git RFC: Introduce jj-inspired git-history(1) command for easy history editing
lore.kernel.org·5d·
Discuss: Lobsters, Hacker News
🌿git
Learning to read code is more important than learning to write it (2018)
letterstoanewdeveloper.com·2d·
Discuss: Hacker News
📏Code Metrics
DOJ releases Maxwell interview with Todd Blanche as wait continues for Epstein Files: Live updates
the-independent.com·2d
📺yt-dlp
Fifty Years of Microsoft Developer Tools
ricomariani.medium.com·3d·
Discuss: Hacker News, Hacker News
🏗️Compiler Archaeology
Users Ignore Consent Banners—Here's How to Build Better Ones
dev.to·2d·
Discuss: DEV
🌐Web Standards
How Redistricting Wars Could Give the G.O.P. Up to 7 Seats
nytimes.com·2d
💻Local first
Can Dark Matter Turn Giant Planets Into Black Holes?
scitechdaily.com·7h
🌡️Preservation Physics
Zero-Shot Skeleton-based Action Recognition with Dual Visual-Text Alignment
arxiv.org·1h
🤖Advanced OCR
Setting Up A Soda Slam! and a Missile Command Recharged By Alan-1
arcadeheroes.com·2d
📺Retrogaming
Update: Marble-sized hail anticipated with thunderstorms Saturday
mercurynews.com·1d
📡Feed Security
TOM: An Open-Source Tongue Segmentation Method with Multi-Teacher Distillation and Task-Specific Data Augmentation
arxiv.org·3d
🔤Character Classification
Automated Anomaly Detection in Carboxylic Acid Polymer Degradation via Spectral Deconvolution and Bayesian Inference
dev.to·3d·
Discuss: DEV
🌈Spectroscopy
Loading...Loading more...
AboutBlogChangelogRoadmap