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

How Reading to My Baby Helped Me Read My Baby
theatlantic.com·9h
📕Bookbinding
The AI Crash That Isn’t: A Reality Check from the Trenches
julsimon.medium.com·2h
🖥️Terminal Renaissance
Why the Internet Is "Dangerous" (1995)
spectacle.org·3h·
Discuss: Hacker News
🧲Magnetic Philosophy
There Is No Trolley Problem
the-reframe.com·1h·
Discuss: Hacker News
🔲Cellular Automata
We now have the math to describe 'matrix tides'
buffalo.edu·1d·
Discuss: Hacker News
🌀Differential Geometry
Building a Lambda-Style Feature Platform with GCP Native Services
hackernoon.com·2d
🌀Brotli Internals
How Should a CMS Repository Understand the Content Within It?
deanebarker.net·20h·
Discuss: Hacker News
🗄️Database Internals
How ChatGPT Surprised Me
nytimes.com·10h·
Discuss: Hacker News
🤖AI Curation
Are we heading for a world where no one ever needs to talk to another human being?
theguardian.com·16h·
Discuss: Hacker News
🌐WebSocket Framing
Adaptive DDoS Mitigation via Hyper-Dimensional Signature Correlation & Dynamic Recursion
dev.to·10h·
Discuss: DEV
👁️Observatory Systems
Toying with Poisoned Search Results Fed to an LLM
github.com·2d·
Discuss: Hacker News
🔍Information Retrieval
Make LLMs supportive, not sycophantic
chrisbarber.co·1d·
Discuss: Hacker News
🎯Gradual Typing
the core of rust
jyn.dev·3d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Custom slash commands in Claude Code
boliv.substack.com·1d·
Discuss: Substack
⚔️Lean Tactics
Exact Shapley Attributions in Quadratic-time for FANOVA Gaussian Processes
arxiv.org·3d
🧠Machine Learning
EMNLP: Educator-role Moral and Normative Large Language Models Profiling
arxiv.org·2d
💻Programming languages
Frizzante, an opinionated web framework that renders Svelte.
reddit.com·2d·
Discuss: r/golang
🔒Linear Types
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·1d·
Discuss: Hacker News
📼Tape Combinators
From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
arxiv.org·2d
🔲Cellular Automata
Invention as Exploration
symmetrybroken.com·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
Loading...Loading more...
AboutBlogChangelogRoadmap