🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔶 Cubical Type Theory

Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types

From Signal to Molly-FOSS and Unified Push
blog.wirelessmoves.com·17h
⚡gRPC
RISC V Latest Developments Discussion [No Politics]
forums.anandtech.com·1d
🧲RISC-V Preservation
Beelink EQi13 Pro Review – Part 3: Ubuntu 24.04 on an Intel Core i5-13500H mini PC
cnx-software.com·2d
🔌Operating system internals
Context engineering anchors AI agents to ground truth
blog.jonudell.net·21h
⚙️Proof Engineering
A look at a P2P camera (LookCam app)
palant.info·1d·
Discuss: Lobsters, Hacker News
🔬Floppy imaging
How We Built Our lakeFS Iceberg Catalog
lakefs.io·2d·
Discuss: Hacker News
📦METS Containers
LLMs Are Adaptive Data Organisms
worldgov.org·3d·
Discuss: Hacker News
🔐Capability Systems
GPT-5 Thinking in ChatGPT (aka Research Goblin) is shockingly good at search
simonw.substack.com·2d·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Using pulsar accelerations to detect a dark matter sub-halo in the Milky Way for the first time
phys.org·9h
🧲Magnetic Resonance
The Python Software Federation – 2025 Elections
github.com·1d·
Discuss: Hacker News
📝ABNF Parsing
Billion-Line Days Demand Billion-Test Nights
momentic.ai·9h·
Discuss: Hacker News
📏Code Metrics
Vehicle-to-Infrastructure Collaborative Spatial Perception via Multimodal Large Language Models
arxiv.org·4d
⧗Information Bottleneck
Evaluating Multiple Instance Learning Strategies for Automated Sebocyte Droplet Counting
arxiv.org·1d
🧠Machine Learning
Automated Analysis of Metamorphic Rock Textures for Enhanced Resource Prospecting
dev.to·7h·
Discuss: DEV
🏺Computational Archaeology
Anthropic confirms technical bugs after weeks of complaints about declining Claude code quality
the-decoder.com·15h
✨Effect Handlers
Learning Multidimensional Urban Poverty Representation with Satellite Imagery
arxiv.org·1d
🧠Machine Learning
Offline vs. Online Learning in Model-based RL: Lessons for Data Collection Strategies
arxiv.org·20h
🔲Cellular Automata
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·5d
⚖️Verification Calculi
SL-SLR: Self-Supervised Representation Learning for Sign Language Recognition
arxiv.org·1d
🔤Character Classification
How to Install & Run EmbeddingGemma-300m Locally?
dev.to·1d·
Discuss: DEV
🌀Brotli Dictionary
Loading...Loading more...
AboutBlogChangelogRoadmap