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

Beyond playgrounds: How less structured city spaces can nurture children's creativity and independence
phys.org·1h
❄️Nordic Design Philosophy
Google launches Gemma 3n, a multimodal AI model built for real-time use on mobile devices
the-decoder.com·2d
🌀Brotli Internals
How I Transformed My Flat into a Smart Home with Home Assistant
jonathas.com·4h·
Discuss: Hacker News, r/selfhosted
🏠Home Automation
adityachandelgit/BookLore
github.com·19h
🔄Sync Engine
Native Subresource Support in Kubectl
blog.abhimanyu-saharan.com·5h
🌊Streaming Systems
I built something that changed my friend group's social fabric
blog.danpetrolito.xyz·1d·
Discuss: Hacker News
🗜️Graph Compression
[D] Suggestions on dealing with ICCV rejection
reddit.com·2d·
Discuss: r/MachineLearning
🔲Proof Irrelevance
Ranking generative AI companies from most to least evil
cwodtke.medium.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Built My First AI Agent Without Code Using SmythOS (Weaver is wild)
dev.to·19h·
Discuss: DEV
📐Proof Assistants
Building a Full-Stack E-Commerce Website in 4 Weeks
dev.to·10h·
Discuss: DEV
🦋Format Metamorphosis
AI agents get office tasks wrong around 70% of the time, and a lot of them aren't AI at all
theregister.com·9h·
Discuss: Hacker News
⚡Proof Automation
Text Based Games and How to Make Them
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·4d
🔗Topological Sorting
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·5d·
Discuss: DEV
🧬Functional Programming
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·3d
📏Linear Logic
The Untold Worker Exploitation Behind Large Language Models
hackernoon.com·19h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Building a Modern Tic-Tac-Toe Game with Radix UI, Tailwind CSS v4, and AI Collaboration
dev.to·11h·
Discuss: DEV
📟Terminal Typography
Flame Graph Performance Truth Analysis(1751071051660200)
dev.to·1d·
Discuss: DEV
⚡Performance Tools
Programming as Art - By Developer Prasoon
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Heartbeat of Modern Web Real Time Patterns User Design(1751179314270300)
dev.to·14h·
Discuss: DEV
🌊Stream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap