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

Supreme Court's final opinions of the term are coming Friday, Chief Justice Roberts says
the-independent.com·9h
🔑Cryptographic Protocols
The Feedback Loop
pablofernandez.tech·1d
🎯Threat Hunting
Show HN: What it took to make QKD work in RAM
qsymbolic.com·10h·
Discuss: Hacker News
🔐Quantum Security
RAG Blueprint
docs.vespa.ai·9h·
Discuss: Hacker News
🤖Archive Automation
Reinforcement Learning Teachers of Test Time Scaling
sakana.ai·3d·
Discuss: Hacker News
⚔️Lean Tactics
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·2d·
Discuss: Hacker News
🤖Archive Automation
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
One of the hardest leetcode Problem 2081, so easily explained #lovedit
dev.to·3d·
Discuss: DEV
🎯Performance Proofs
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·4h·
Discuss: DEV
🌊Streaming Compression
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·13h·
Discuss: DEV
🌳Trie Structures
Therapy as an NLP Task: Psychologists' Comparison of LLMs and Human Peers in CBT
arxiv.org·19h
🌲Parse Trees
ProofBoard My Hackathon Journey with Bolt!
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Signal Use and Emergent Cooperation
arxiv.org·1d
🔲Cellular Automata
Vibe Coding: Why Microservices Are Cool Again
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
Stop Chasing “Efficiency AI.” The Real Value Is in “Opportunity AI.”
towardsdatascience.com·1d
🌊Stream Processing
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·1d
📐Compression Bounds
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·2d
🔍Type Inference
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·2d
💻Programming languages
Fast entropy-regularized SDP relaxations for permutation synchronization
arxiv.org·19h
🎯Performance Proofs
Machine Learning Fundamentals: active learning project
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap