🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Constructive Mathematics

Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance

Swedish startup unveils Starlink alternative — that Musk can’t switch off
thenextweb.com·2h
🇷🇺Russian Computing
Storage at GPU Speed: Benchmarking Graid SupremeRAID AE for AI
storagereview.com·2d·
Discuss: Hacker News
💾Persistence Strategies
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·6d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Your MCP Doesn’t Need 30 Tools: It Needs Code
lucumr.pocoo.org·3d·
Discuss: Hacker News
🐚Shell Calculus
Lovable's CEO tells us he's looking for 4 traits when hiring for the vibe coding startup
businessinsider.com·4h
🎯Content Recommendation
Remix: iOS 26 offers six versions of the "Reflection" ringtone
heise.de·2d
🔊Audio Compression Theory
CFAR RadarSim - Multi Target Detection System
hackster.io·2d
📊Spectrograms
🧠 AI + Human Mind Reading: A Future to Prevent Crime Before It Happens
dev.to·2h·
Discuss: DEV
🏠Home Automation
GhostObjects: Instructing Robots by Manipulating Spatially Aligned Virtual Twins in Augmented Reality
arxiv.org·3d
🏺Computational Archaeology
Open, Reproducible and Trustworthy Robot-Based Experiments with Virtual Labs and Digital-Twin-Based Execution Tracing
arxiv.org·3d
🔄Reproducible Builds
SAGE: Scale-Aware Gradual Evolution for Continual Knowledge Graph Embedding
arxiv.org·3d
🕸️Graph Embeddings
Generalize across Homophily and Heterophily: Hybrid Spectral Graph Pre-Training and Prompt Tuning
arxiv.org·3d
📊Learned Metrics
Towards Faithful Class-level Self-explainability in Graph Neural Networks by Subgraph Dependencies
arxiv.org·3d
🕸️Graph Embeddings
I built a home server for under $50 using 14 year old CPU
reddit.com·2d·
Discuss: r/homelab
🏠Homelab Archaeology
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
arxiv.org·3d
👁️System Observability
Training Machine Learning Models on Human Spatio-temporal Mobility Data: An Experimental Study [Experiment Paper]
arxiv.org·2d
📐Vector Similarity
Unsupervised Pairwise Learning Optimization Framework for Cross-Corpus EEG-Based Emotion Recognition Based on Prototype Representation
arxiv.org·2d
📊Learned Metrics
Adaptive Spiking with Plasticity for Energy Aware Neuromorphic Systems
arxiv.org·2d
🦾ARM Cortex-M
What Happens When an Entire Scientific Field Changes Its Mind
scientificamerican.com·1d·
Discuss: Hacker News, Hacker News
🌡️Preservation Physics
Feedback Indicators: The Alignment between Llama and a Teacher in Language Learning
arxiv.org·3d
⚙️Parser Generators
Loading...Loading more...
AboutBlogChangelogRoadmap