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

Maro Itoje ruled out of Lions third Test amid physical contest against Australia
the-independent.com·1h
⚙Backus-Naur Form
Malicious AI-generated npm package hits Solana users
securityaffairs.com·14h
🛡️WASM Sandboxing
I tried ‘Bricking’ my phone to fix my brain
theverge.com·34m
🔓Hacking
How the fight over what it means to be human has dramatically changed
vox.com·2h
🧲Magnetic Philosophy
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·20h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Show HN: An API to extract structured data from any document without training
ninjadoc.ai·22h·
Discuss: Hacker News
📄Document AI
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·3d·
Discuss: Hacker News
🌳Persistent Data Structures
Endowments and Unintended Consequences
paulkedrosky.com·20h·
Discuss: Hacker News
✨Effect Handlers
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
Towards Interpretable Renal Health Decline Forecasting via Multi-LMM Collaborative Reasoning Framework
arxiv.org·2d
🎙️Whisper
Simplify Your Python Code with Clean Code Best Practices
dev.to·2d·
Discuss: DEV
⬆️Lambda Lifting
Semantic Caching with Spring AI & Redis
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·3d
⏰Temporal Logic
The Effect of Prior Parameters on Standardized Kalman Filter-Based EEG Source Localization
arxiv.org·1d
🌈Spectral Methods
Enabling Few-Shot Alzheimer's Disease Diagnosis on Tabular Biomarker Data with LLMs
arxiv.org·1d
💻Local LLMs
Building Secure ReactJS Apps: Mastering Advanced Security Techniques • Jim Manico • GOTO 2024
youtube.com·2d
🛡️WASM Security
Machine Learning Fundamentals: logistic regression with python
dev.to·20h·
Discuss: DEV
🧠Machine Learning
Tokenomics by Grammar
hackernoon.com·5d
📋Document Grammar
Modelling Adjectival Modification Effects on Semantic Plausibility
arxiv.org·3d
🔗Monadic Parsing
HexaMorphHash HMH- Homomorphic Hashing for Secure and Efficient Cryptographic Operations in Data Integrity Verification
arxiv.org·3d
🔐Hash Functions
Loading...Loading more...
AboutBlogChangelogRoadmap