🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔲 Proof Irrelevance

Squash Types, Proposition Equality, Setoid Model, Type Theory

I tried ‘Bricking’ my phone to fix my brain
theverge.com·2h
🔓Hacking
How the fight over what it means to be human has dramatically changed
vox.com·4h
🧲Magnetic Philosophy
The Planet Is Warming, But Our Speech Has Chilled
battellemedia.com·1d
🌡️Preservation Physics
Ergonomic keyboarding with the Svalboard: a half-year retrospective
twey.io·22h·
Discuss: Hacker News
⌨️Mechanical Keyboards
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·22h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Sync primitives are Functionally Complete
kprotty.me·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Show HN: An API to extract structured data from any document without training
ninjadoc.ai·1d·
Discuss: Hacker News
📄Document AI
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·3d·
Discuss: Hacker News
🌳Persistent Data Structures
Andrew Tate's "The Real World" is stealing my software (2022)
insrt.uk·1d·
Discuss: Hacker News
🚀Indie Hacking
Planet Labs' Hyperspectral Imagery
tech.marksblogg.com·2d·
Discuss: Hacker News
🕸️WebP Analysis
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
Building Secure ReactJS Apps: Mastering Advanced Security Techniques • Jim Manico • GOTO 2024
youtube.com·2d
🛡️WASM Security
HexaMorphHash HMH- Homomorphic Hashing for Secure and Efficient Cryptographic Operations in Data Integrity Verification
arxiv.org·3d
🔐Hash Functions
Tokenomics by Grammar
hackernoon.com·5d
📋Document Grammar
Raspberry Pi RP2350 A4 Stepping Addresses E9 Current Leakage Bug
hackaday.com·1d
🔌Single Board PC
Learning from Limited and Imperfect Data
arxiv.org·3d
🧠Machine Learning
ChatGPT Reads Your Tone and Responds Accordingly -- Until It Does Not -- Emotional Framing Induces Bias in LLM Outputs
arxiv.org·3d
🎯Dependent Parsing
SwinECAT: A Transformer-based fundus disease classification model with Shifted Window Attention and Efficient Channel Attention
arxiv.org·3d
🤖Advanced OCR
Deciphering interventional dynamical causality from non-intervention complex systems
arxiv.org·1d
✨Effect Handlers
Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner
arxiv.org·1d
🤖Grammar Induction
Loading...Loading more...
AboutBlogChangelogRoadmap