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

Mathematicians create a tetrahedron that always lands on the same side
newscientist.com·1d
📐Mathematical Art
Trying out the ice4pi from Lightside Instruments
mikecoats.com·1d
🔌Single Board PC
How to Make Claude Code Use Other Models
pixelstech.net·2d
🔓Open Source Software
Counting Digits Quickly
jcarroll.com.au·14h
🔗Concatenative Languages
Traitors to the Earth: Fascism, Christian Nationalism, and the Tech Elite
organizingmythoughts.org·8h
🧲Magnetic Philosophy
Humanity Needs Aliens to Survive
rodyne.com·11h·
Discuss: Hacker News
🔲Cellular Automata
A Breakdown of Single Player Role-Playing Games
wizardsrespite.com·8h·
Discuss: Hacker News
🕹️Game Preservation
AI Manager - The Future of Management
aimanagers.app·23h·
Discuss: Lobsters, Hacker News
💾Persistence Strategies
Masochism: a bad rap from inception
languagelog.ldc.upenn.edu·16h
🏛️Philosophy
From Firefighter to Game Dev: Why I’m Building a Perspective-Shifting PWA
dev.to·16h·
Discuss: DEV
🗺️Competency Maps
🔷 Tutorial: Building a Simple PBR Scene with Shadows and FPS Controls in Three.js
dev.to·1d·
Discuss: DEV
⟷Bidirectional Programming
Extended VC-dimension, and Radon and Tverberg type theorems for unions of convex sets
arxiv.org·5d
🏗️Constructive Analysis
API Versioning Strategies That Actually Work in Production
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·3d
📊Quantization
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·3d·
Discuss: DEV
🌊Stream Ciphers
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1751116236719200)
dev.to·1d·
Discuss: DEV
🌐Network Protocols
26th June.
dev.to·1d·
Discuss: DEV
💻Programming languages
Revolutionizing AI: Can Human Brain Cells Replace CPUs and GPUs?
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
How Good Are Synthetic Requirements ? Evaluating LLM-Generated Datasets for AI4RE
arxiv.org·2d
🌀Brotli Internals
Navigating Complex Decisions: Criteria & Evaluation Table
dev.to·1d·
Discuss: DEV
📇Indexing Strategies
Loading...Loading more...
AboutBlogChangelogRoadmap