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

A bird dropped a fish on power lines and sparked a brush fire in Canada, firefighters say
the-independent.com·20h
🚨Incident Response
How to Play (and Win) Connections
lifehacker.com·1d
🔲Cellular Automata
I have cancer...
forums.anandtech.com·1d
🏠Personal Archives
SIEVE — a better algorithm than LRU?
blog.apnic.net·1d
💨Cache Analysis
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·1d·
Discuss: Hacker News
📊Citation Graphs
Perplexity Plagiarized Our Story About How Perplexity Is a Bullshit Machine
wired.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Show HN: Procrastination disguised as preparation for moment that exists in futr
turquoise-cicily-87.tiiny.site·1d·
Discuss: Hacker News
⬜Minimalism
AI-Driven Observability: Fast, Context-Rich MCP Servers
devops.com·1d
👁️System Observability
Perplexity is allegedly scraping websites it's not supposed to, again
engadget.com·1d
🚀Indie Hacking
Stop Exposing Your Data: How to Pack IDs, UUIDs, and More with Obfusbit
dev.to·1d·
Discuss: DEV
💣Compression Security
StackLiverNet: A Novel Stacked Ensemble Model for Accurate and Interpretable Liver Disease Detection
arxiv.org·2d
🧠Machine Learning
LLMs are the End of Serverless
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
SAMPO: Visual Preference Optimization for Intent-Aware Segmentation with Vision Foundation Models
arxiv.org·1d
🌀Differential Geometry
Path-LLM: A Shortest-Path-based LLM Learning for Unified Graph Representation
arxiv.org·1d
🕸️Graph Embeddings
The Core Idea: Finding the Best Separator
dev.to·2d·
Discuss: DEV
🧠Machine Learning
ClinicalFMamba: Advancing Clinical Assessment using Mamba-based Multimodal Neuroimaging Fusion
arxiv.org·7h
🤖Advanced OCR
OpenAI’s GPT-OSS Models vs Claude 4.1: How Open-Weight and Closed-Source AI Are Redefining the Future
dev.to·4h·
Discuss: DEV
🔓Open Source Software
Solved in Unit Domain: JacobiNet for Differentiable Coordinate Transformations
arxiv.org·1d
🌀Riemannian Computing
Integrating clinical reasoning into large language model-based diagnosis through etiology-aware attention steering
arxiv.org·2d
🔍Information Retrieval
Loading...Loading more...
AboutBlogChangelogRoadmap