🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Constructive Analysis

Intuitionistic Mathematics, Computable Reals, Bishop Mathematics, Proof Relevance

Where does value accrue beyond Open AI?
collabfund.com·1d
🧭Content Discovery
The counter-intuitive mathematical phenomenon hiding at the Men's Under-21 Euros
kityates.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
The Babel Tower of SQL Dialects
feldera.com·2d·
Discuss: Hacker News
⛏️SQL Archaeology
The second Trump administration is deploying new surveillance methods
tomdispatch.com·1h·
Discuss: Hacker News
🧲Magnetic Philosophy
Life of an inference request (vLLM V1): How LLMs are served efficiently at scale
ubicloud.com·15h·
Discuss: Hacker News
🔒Linear Types
Using Amazon SageMaker AI Random Cut Forest for NASA’s Blue Origin spacecraft sensor data
aws.amazon.com·2d
🌀Differential Geometry
DBMS_SCHEDULER - Complete Guide 2025
dev.to·14h·
Discuss: DEV
🧬PostgreSQL Forensics
🚀 Kickstart Your PL-300 Journey with Practice Lab 1!
dev.to·2d·
Discuss: DEV
🧠Query Planners
Go Coding with Asparagos: Walnuts Take the IQ Test
dev.to·4d·
Discuss: DEV
📐Proof Assistants
Hypercubical manifolds in homotopy type theory
arxiv.org·4d
🔶Cubical Type Theory
OpenAI Agents SDK (TS): voice and multi-agent framework, MIT-licensed
github.com·13h·
Discuss: Hacker News
🔓Open Source Software
I Built This AI Platform Because School Was Boring and My Brain Deserved Better 😤
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Top 5 AI Tools for Paris Consultants in 2025
dev.to·22h·
Discuss: DEV
🎙️Whisper
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.org·5d
🧮Kolmogorov Complexity
🏂 Beginner-Friendly Guide: "Sum of k-Mirror Numbers" – LeetCode 2081 (python| JavaScript | Python )
dev.to·2d·
Discuss: DEV
λLambda Encodings
The Future of AI Is Physical: Simulation Is Key
website-staging.inductiva.ai·1d·
Discuss: Hacker News
🔲Cellular Automata
Therapy as an NLP Task: Psychologists' Comparison of LLMs and Human Peers in CBT
arxiv.org·3d
🌲Parse Trees
On This Day in Math - June 26
pballew.blogspot.com·3d·
Discuss: www.blogger.com
🗃️Punched Cards
Boost Your Dev Workflow with AI Tools (Beginner-Friendly)
dev.to·23h·
Discuss: DEV
⚡Proof Automation
Signal Use and Emergent Cooperation
arxiv.org·4d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap