🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⬌ Bidirectional Typing

Type Inference, Elaboration, Synthesis, Checking Modes

Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·3d
🌳Archive Merkle Trees
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·3d
🔗Concatenative Programming
How Does Graph Theory Shape Our World?
quantamagazine.org·10h·
Discuss: Hacker News
📐Mathematical Art
What LLMs Know About Their Users
schneier.com·1d·
Discuss: Hacker News
💻Local LLMs
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·4h·
Discuss: DEV
🌊Streaming Compression
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·4h·
Discuss: DEV
🔍BitFunnel
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·2d·
Discuss: r/rust
🦀Rust Verification
[$] Supporting kernel development with large language models
lwn.net·9h
💻Local LLMs
MFTCXplain: A Multilingual Benchmark Dataset for Evaluating the Moral Reasoning of LLMs through Hate Speech Multi-hop Explanation
arxiv.org·1d
⚙️Compression Benchmarking
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·1d
📐Compression Bounds
Just some example work notes
dev.to·4d·
Discuss: DEV
💧Liquid Types
Lazyeat: Control Your World with Hand Gestures!
dev.to·10h·
Discuss: DEV
✋Tactile Computing
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·20h
🔗Parser Combinators
Stop Words Using Spacy - NLP
dev.to·2d·
Discuss: DEV
📝Text Parsing
15 Go Packages Worth Your Time
dev.to·12h·
Discuss: DEV
💧Liquid Types
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·3d
🐛Fuzzing
Detecting Machine-Generated Texts: Not Just "AI vs Humans" and Explainability is Complicated
arxiv.org·1d
🧮Kolmogorov Complexity
Discover C++26’s compile-time reflection
lemire.me·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp, r/programming
🦀Rust Macros
That's Not the Feedback I Need! -- Student Engagement with GenAI Feedback in the Tutor Kai
arxiv.org·20h
🛠Language Design
Vibe Coding: Why Microservices Are Cool Again
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap