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

Singletons, Type-level Programming, GADTs, Kind Polymorphism

Python, interactively
leancrew.com·7h
📺Terminal UI
What Is a Number?
idrisschebak.com·3d·
Discuss: Hacker News
📐Mathematical Art
Zero to Mastery: [June 2025] Python Monthly Newsletter 🐍
zerotomastery.io·2d
🎯Gradual Typing
Claude 4, Gemini 2.5 Pro, and GPT-4.1: Understanding Their Unique Quirks
eval.16x.engineer·19h·
Discuss: Hacker News
⚡Proof Automation
ATMEGA328P-PU: The Little Prince of Microcontrollers in Circuits & Stars
dev.to·4h·
Discuss: DEV
🔌Single Board PC
Embedded DevOps: A Survey on the Application of DevOps Practices in Embedded Software and Firmware Development
arxiv.org·7h
❄️Nix Adoption
Localized evaluation and fast summation in the extrapolated regularization method for integrals in Stokes flow
arxiv.org·7h
🔗Tailscale
Quantum Circuit Structure Optimization for Quantum Reinforcement Learning
arxiv.org·7h
⚛️Quantum Circuits
Best Agent Identification for General Game Playing
arxiv.org·7h
🎯Threat Hunting
Machine Learning Fundamentals: autoencoder project
dev.to·1d·
Discuss: DEV
💻Local LLMs
Training for X-Ray Vision: Amodal Segmentation, Amodal Content Completion, and View-Invariant Object Representation from Multi-Camera Video
arxiv.org·7h
📊Learned Metrics
Auto-TA: Towards Scalable Automated Thematic Analysis (TA) via Multi-Agent Large Language Models with Reinforcement Learning
arxiv.org·1d
🤖Grammar Induction
Positioning AI Tools to Support Online Harm Reduction Practice: Applications and Design Directions
arxiv.org·1d
🎙️Whisper
Learning-to-Context Slope: Evaluating In-Context Learning Effectiveness Beyond Performance Illusions
arxiv.org·1d
📊Learned Metrics
Sim2Real Diffusion: Learning Cross-Domain Adaptive Representations for Transferable Autonomous Driving
arxiv.org·7h
🌀Riemannian Computing
Does Math Reasoning Improve General LLM Capabilities? Understanding Transferability of LLM Reasoning
arxiv.org·7h
💻Local LLMs
Middleware Magic Advanced Request Processing(1751149077660400)
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Generalization performance of narrow one-hidden layer networks in the teacher-student setting
arxiv.org·7h
🧠Machine Learning
VOCAL: Visual Odometry via ContrAstive Learning
arxiv.org·7h
🌀Differential Geometry
Building Your First MCP Server: A Beginners Tutorial
dev.to·14h·
Discuss: DEV
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap