🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

Freeing up 1132 printer components - part 6
rescue1130.blogspot.com·3h·
Discuss: rescue1130.blogspot.com
⚙️Tape Transport
7 Matplotlib Tricks to Better Visualize Your Machine Learning Models
machinelearningmastery.com·1d
📐Mathematical Art
The shape of the universe revealed through algebraic geometry
phys.org·2d
📐Mathematical Art
On Accessibility Conformance, Design Systems, and CSS “Base” Units
css-tricks.com·1d
🎨Swedish Design Philosophy
2025-08-13: The GNU D compiler has been broken on FreeBSD 14 for over a year and no one noticed, or, why operating system package maintainers matter
briancallahan.net·3d·
Discuss: Hacker News
🐡OpenBSD
PostgreSQL 17.6, 16.10, 15.14, 14.19, 13.22, and 18 Beta 3 Released!
postgresql.org·2d·
Discuss: Hacker News
🗄️PostgreSQL WAL
Using lasers to bring crystal vibrations to their quantum ground state
phys.org·9h
⚛️Quantum Tape
Is chain-of-thought AI reasoning a mirage?
seangoedecke.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Testing AI coding agents (2025): Cursor vs. Claude, OpenAI, and Gemini
render.com·3d·
Discuss: Hacker News
⚡Proof Automation
MCP Horror Stories: The GitHub Prompt Injection Data Heist
docker.com·1d
🌳Archive Merkle Trees
PPL: Point Cloud Supervised Proprioceptive Locomotion Reinforcement Learning for Legged Robots in Crawl Spaces
arxiv.org·1d
📊Computational Geometry
Automated Fracture Toughness Prediction via Hybrid Finite Element-Neural Network Integration
dev.to·1h·
Discuss: DEV
🔐Systems Hardening
Ethical Medical Image Synthesis
arxiv.org·1d
⚖️Emulation Ethics
CoDAE: Adapting Large Language Models for Education via Chain-of-Thought Data Augmentation
arxiv.org·2d
🎙️Whisper
Thoughts on creating a tracking pointer class, part 3: Using a std::vector
devblogs.microsoft.com·2d
🔄Lens Laws
Implicit Hypergraph Neural Networks: A Stable Framework for Higher-Order Relational Learning with Provable Guarantees
arxiv.org·1d
🧠Machine Learning
Introducing Gemma 3 270M: The compact model for hyper-efficient AI
simonwillison.net·1d
🌀Brotli Internals
An Introduction to Agentic Workflows You Need To Know
dev.to·16h·
Discuss: DEV
🌊Stream Processing
A practitioner’s view on how Docker enables security by default and makes developers work better
docker.com·10h
📦Container Security
Stress Detection from Multimodal Wearable Sensor Data
arxiv.org·22h
📈Mutual Information
Loading...Loading more...
AboutBlogChangelogRoadmap