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

Death of A Tree
nybooks.com·14h
🔗Topological Sorting
Beyond playgrounds: How less structured city spaces can nurture children's creativity and independence
phys.org·5h
❄️Nordic Design Philosophy
The Shrinking Technology Book Section
donraab.medium.com·3h·
Discuss: Hacker News
📕Bookbinding
Show HN: Build Discord bots, earn prizes (18 and under)
converge.hackclub.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Understanding Prolly Tree Balance
dolthub.com·4d·
Discuss: Hacker News
🌲B-tree Variants
adityachandelgit/BookLore
github.com·23h
🔄Sync Engine
How we made a Ruby method faster
nickholden.io·2d·
Discuss: Hacker News
🌊Stream Processing
Native Subresource Support in Kubectl
blog.abhimanyu-saharan.com·9h
🌊Streaming Systems
I built something that changed my friend group's social fabric
blog.danpetrolito.xyz·1d·
Discuss: Hacker News
🗜️Graph Compression
The Museum of All Things: A Wikipedia You Can Visit
hackernoon.com·9h
🏺Computational Archaeology
daily quizzz
dev.to·4d·
Discuss: DEV
λLambda Encodings
Understanding SOLID Once and For All | Part 01
dev.to·3h·
Discuss: DEV
🐚Shell Calculus
AI agents get office tasks wrong around 70% of the time, and a lot of them aren't AI at all
theregister.com·13h·
Discuss: Hacker News
⚡Proof Automation
Ts-Wordle: An implementation of Wordle written in TypeScript types
github.com·5d·
Discuss: Hacker News
🎯Gradual Typing
Shipping Fast(er): How I Used Claude Code to Release Chrome Webhook Extension 2.0
dev.to·17h·
Discuss: DEV
🌳Incremental Parsing
Building a Modern Tic-Tac-Toe Game with Radix UI, Tailwind CSS v4, and AI Collaboration
dev.to·15h·
Discuss: DEV
📟Terminal Typography
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·4d
🔗Topological Sorting
Flame Graph Performance Truth Analysis(1751071051660200)
dev.to·2d·
Discuss: DEV
⚡Performance Tools
Programming as Art - By Developer Prasoon
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·5d·
Discuss: DEV
🧬Functional Programming
Loading...Loading more...
AboutBlogChangelogRoadmap