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

How Cursor AI Cut Legacy Code Coverage Time by 85%
engineering.salesforce.com·1d
🔍Concolic Testing
This Week in Plasma: a lot of polishing!
blogs.kde.org·1d·
Discuss: r/linux
📟Terminals
How One Wikipedia Editor Unraveled the ‘Single Largest Self-Promotion Operation’ in the Site's History
wired.com·22h
🌐WARC Forensics
The Danger of Half-Implementing Raft: Why Consensus Shortcuts Fail
binwang.me·4d
🤝Consensus Protocols
The Problem with AI Benchmarks
melder.io·3d·
Discuss: Hacker News
⚡Performance Mythology
[D] - Neurips Position paper reviews
reddit.com·1d·
Discuss: r/MachineLearning
🔬Academic Search
OpenAI's chief research scientist shares the book that inspired him when he was unsure about his career path
businessinsider.com·6h
🌍Cultural Algorithms
Deploy Pixtral at Scale: vLLM + Docker Made Simple
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
This Week In Techdirt History: August 10th – 16th
techdirt.com·12h
📡Feed Archaeology
Deep Roots Meeting - 2025-08-12
youtube.com·1d
🌊Apache Kafka
Day 66: When Your Coding Session Gets Hijacked by Real Life
dev.to·1d·
Discuss: DEV
📏Code Metrics
BharatBBQ: A Multilingual Bias Benchmark for Question Answering in the Indian Context
arxiv.org·5d
⚙️Compression Benchmarking
InterChart: Benchmarking Visual Reasoning Across Decomposed and Distributed Chart Information
arxiv.org·5d
🤖Advanced OCR
From Prediction to Explanation: Multimodal, Explainable, and Interactive Deepfake Detection Framework for Non-Expert Users
arxiv.org·5d
📊Learned Metrics
Learning to Select MCP Algorithms: From Traditional ML to Dual-Channel GAT-MLP
arxiv.org·5d
🧠Machine Learning
Hugging Face in Production: Hidden Risks AI Startups Often Miss
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Silicon Minds versus Human Hearts: The Wisdom of Crowds Beats the Wisdom of AI in Emotion Recognition
arxiv.org·4d
🧠Intelligence Compression
Sub-field Selected: **Automated Protocol Generation for Cell-Free Protein Synthesis**
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
AI Blob! LLM-Driven Recontextualization of Italian Television Archives
arxiv.org·3d
🏛Digital humanities
Towards Spatially Consistent Image Generation: On Incorporating Intrinsic Scene Properties into Diffusion Models
arxiv.org·2d
📊Learned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap