🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Document Verification

Format Proofs, Archive Correctness, Preservation Logic, Type-safe Storage

Pluralistic: How my DRM-free principles left me owning the rights to a German audiobook (21 Jul 2025)
pluralistic.net·20h
🔍BitFunnel
Boxtype—Level Encoding (Devlog Part 2)
inconvergent.net·4d
📦Deflate
Cryptography for the Everyday Developer: Understanding DES - The Data Encryption Standard
sookocheff.com·3d
🔐Cryptographic Archaeology
The Data Room App (thedataroom.app)
djpardis.medium.com·1d·
Discuss: Hacker News
🚀Indie Hacking
You Can Use DuckDuckGo to Remove AI Images From Your Search Results
lifehacker.com·16h·
Discuss: Hacker News
🗜️LZW Variants
Google DeepMind Formal Conjectures
google-deepmind.github.io·1d·
Discuss: Hacker News
🕸️Algebraic Topology
In Defense of Defensive Forecasting
argmin.net·14h·
Discuss: Hacker News
🔲Cellular Automata
arduino-tictactoe: A tic-tic-toe implementation using minimax for Arduino
github.com·10h
🎯Emulator Accuracy
Swift and C++ Interoperability in Practice
arturgruchala.com·23h·
Discuss: Hacker News
✅Format Verification
A new way to edit or generate images
news.mit.edu·13h·
Discuss: Hacker News
🤖Advanced OCR
Stack frame layout on x86-64
eli.thegreenplace.net·1d·
Discuss: Hacker News
🔧RISC-V Assembler
Comparison of MGR, SunView, OpenWindows and X11R6 (2022)
oldvcr.blogspot.com·16h·
Discuss: Hacker News
🕸️WASM Archives
Just tried a tool that shows where your name or pics get misused.
dev.to·5h·
Discuss: DEV
🔍BitFunnel
Tips for Writing Clean Code in TensorFlow 2
hackernoon.com·1d
📊Quantization
Off-Policy Corrected Reward Modeling for Reinforcement Learning from Human Feedback
arxiv.org·4h
🤖Grammar Induction
Mind the Gap: A Review of Arabic Post-Training Datasets and Their Limitations
arxiv.org·4h
⚙️Compression Benchmarking
Just completed AWS AI & ML challenge.
dev.to·13h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Machine Learning Fundamentals: ensemble learning with python
dev.to·1d·
Discuss: DEV
🌊Stream Processing
My Little Survey Invite
dev.to·12h·
Discuss: DEV
📜Proof Carrying Code
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap