๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ—๏ธ Constructive Mathematics

Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance

RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.orgยท1d
๐ŸŒDNS Security
Valuable News โ€“ 2025/07/14
vermaden.wordpress.comยท12h
๐Ÿ”ŒOperating system internals
Simple stat method for <=5 datapoints
ohmurphy.substack.comยท6hยท
Discuss: Substack
๐ŸงฎKolmogorov Bounds
LLM Daydreaming
gwern.netยท2hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
The Siren Song of LLMs
anukrit.deยท20hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Machine Learning Fundamentals: data preprocessing tutorial
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Stop Saying RAG Is Dead
hamel.devยท8hยท
Discuss: Hacker News
๐Ÿ“ŠMulti-vector RAG
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
You Are in a Box
jyn.devยท12hยท
Discuss: Lobsters, Hacker News
๐ŸšShell Calculus
Show HN: Context Rot Technical Report โ€“ How Input Length Impacts LLM Performance
research.trychroma.comยท7hยท
Discuss: Lobsters, Hacker News
๐Ÿ”Information Retrieval
What birdsong and backends can teach us about magic
digitalseams.comยท1dยท
Discuss: Hacker News
โ›๏ธFile Carving
Modeling Partially Observed Nonlinear Dynamical Systems and Efficient Data Assimilation via Discrete-Time Conditional Gaussian Koopman Network
arxiv.orgยท23h
๐ŸงฎKolmogorov Bounds
Machine Learning Fundamentals: data preprocessing with python
dev.toยท11hยท
Discuss: DEV
โš™๏ธBatch Processing
Embedding User-Defined Indexes in Apache Parquet Files
datafusion.apache.orgยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ’พDatabase Formats
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.orgยท23h
๐Ÿ’พBinary Linguistics
Building High-Performance GraphQL Servers in Golang with Optimized Resolver Patterns
dev.toยท4hยท
Discuss: DEV
๐ŸŒŠStream Processing
Spending Inference Time
kevinlu.aiยท1dยท
Discuss: Hacker News
๐ŸŒŠStreaming Algorithms
Generating Almost Equally-Spaced Points Along a Parabola
arjuns07.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Adapting Teaching and Assessment Strategies in the Age of LLMs
kstan.gitlab.ioยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
How I Trained a Neural Network in Nushell
ryanxcharles.comยท9hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Loading...Loading more...
AboutBlogChangelogRoadmap