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

On Choice
refl.blog·1d
⬜Minimalism
Osaka powers through Minnen to reach U.S. Open second round
japantimes.co.jp·17h
👑Isabelle
Undersound: The Secret Lives of Ponds and the Mysterious Musicality of the World
themarginalian.org·1d
🎵Music Universality
21st century IT is kayfabe: it's all fake, just for show
liam-on-linux.dreamwidth.org·7h
⚖️Emulation Ethics
System eval with Obsidian and Claude Code
interjectedfuture.com·2h
⚡Proof Automation
DIAC ∞ 2: A Post-Quantum, P=NP-Resistant Hybrid Encryption System
osf.io·1d·
Discuss: Hacker News
🔐Quantum Security
BGP’s security problems are notorious. Attempts to fix that are a work in progress
theregister.com·11h·
Discuss: Hacker News
🛣️BGP Hijacking
What Is a Foreign Key Constraint in SQL?
blog.devops.dev·2d
🚀Query Optimization
Game Theory at Work: When to Talk and When to Shut Up
swaits.com·16h·
Discuss: Hacker News
🔲Cellular Automata
Using information theory to solve Mastermind
goranssongaspar.com·3d·
Discuss: Hacker News
🧮Kolmogorov Bounds
TempleOS
en.wikipedia.org·4h·
Discuss: Hacker News
🔌Operating system internals
Sapir-Whorf does not apply to Programming Languages
buttondown.com·6d·
Discuss: Hacker News
💻Programming languages
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Build a baby Claude Code using Python
siddharthbharath.com·2d·
Discuss: Hacker News
⚡Proof Automation
Parallel Nodal Interior-Penalty Discontinuous Galerkin Methods for the Subsonic Compressible Navier-Stokes Equations: Applications to Vortical Flows and VIV Pro...
arxiv.org·1d
🎯Performance Proofs
Creating Wikipedia Search Embeddings with a Gaia Node
dev.to·1d·
Discuss: DEV
🏛Wikidata
HLLM-Creator: Hierarchical LLM-based Personalized Creative Generation
arxiv.org·1d
🎯Content Recommendation
How I Cured My Game Addiction With Python
dev.to·3h·
Discuss: DEV
🔩Systems Programming
An Auditable Pipeline for Fuzzy Full-Text Screening in Systematic Reviews: Integrating Contrastive Semantic Highlighting and LLM Judgment
arxiv.org·2d
🔍Information Retrieval
Is attention truly all we need? An empirical study of asset pricing in pretrained RNN sparse and global attention models
arxiv.org·13h
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap