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

Regarding formatting issues with AI-generated copy
dev.to·2h·
Discuss: DEV
✅Format Verification
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·13h·
Discuss: Hacker News
🧮Algebraic Datatypes
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·20h
✅Format Verification
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·7h
🦀Embedded Rust
Using pprint.saferepr() for string comparisons in Python
chipx86.blog·5h
✅Format Verification
The Glorious Future of the Book
honest-broker.com·12h
💿WORM Storage
Das Problem mit German Strings
polarsignals.com·11h·
Discuss: Lobsters, Hacker News
✅Format Verification
JavaScript lib for exchanging selective disclosure proofs
github.com·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
Log Detective: GSoC 2025 (part 2)
danigm.net·3h
🔓Open Source Software
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·19h
🎯Gradual Typing
LibreOffice Stakes Claim as Strategic Sovereignty Tool For Governments
news.slashdot.org·16h
🔓Open Source Software
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Skeptik: A Hybrid Framework for Combating Potential Misinformation in Journalism
arxiv.org·4h
📰Content Curation
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·14h·
Discuss: Hacker News
🦀Rust Macros
Google’s URL Context Grounding: Another Nail in RAG’s Coffin?
towardsdatascience.com·19h
🌀Brotli Internals
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Linux Foundation says yes to NoSQL via DocumentDB
theregister.com·1d·
Discuss: Hacker News
🔓Open Source Software
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Loading...Loading more...
AboutBlogChangelogRoadmap