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

Malicious AI-generated npm package hits Solana users
securityaffairs.com·7h
🛡️WASM Sandboxing
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·13h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Sync primitives are Functionally Complete
kprotty.me·1d·
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·15h·
Discuss: Hacker News
📄Document AI
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·3d·
Discuss: Hacker News
🌳Persistent Data Structures
The pest book is finally complete now!
github.com·2d
🦀Rust Macros
Endowments and Unintended Consequences
paulkedrosky.com·13h·
Discuss: Hacker News
✨Effect Handlers
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
Cloud Native Live: Kyverno 1.15: New Policy Types
youtube.com·8h
💧Liquid Types
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·1d·
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·1d
🛡️WASM Security
Machine Learning Fundamentals: logistic regression with python
dev.to·13h·
Discuss: DEV
🧠Machine Learning
Tokenomics by Grammar
hackernoon.com·4d
📋Document Grammar
Loading...Loading more...
AboutBlogChangelogRoadmap