๐Ÿฟ๏ธ 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

\(-e^{i\pi}\) to Watch: Henry Segerman
aperiodical.comยท1d
๐Ÿ“Mathematical Art
Coroutines in C
hackaday.comยท1d
๐Ÿ”ฉSystems Programming
Discussing Decision Trees: What Makes a Good Split?
machinelearningmastery.comยท10h
๐ŸŒณHuffman Trees
FSM Library for Embedded C Projects
hackster.ioยท1d
๐Ÿฆ€Embedded Rust
Ilion Framework: A Public Layer for Semantic Alignment with Truth
zenodo.orgยท2dยท
Discuss: Hacker News
๐Ÿ’พBinary Linguistics
Integer Division in Bucketed Time Series
uvdn7.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ“ˆTime Series
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.comยท1dยท
Discuss: Substack
โšกIncremental Computation
The LLM-for-software Yo-yo
tratt.netยท1dยท
Discuss: Lobsters, Hacker News
๐ŸงฎTheoretical Computer Science
LLM Daydreaming
gwern.netยท21hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.orgยท18h
โœจEffect Handlers
PU-Lie: Lightweight Deception Detection in Imbalanced Diplomatic Dialogues via Positive-Unlabeled Learning
arxiv.orgยท18h
๐Ÿ‘‘Coq Tactics
I Built a Testable Recursive Theory of Language Models Using GPT โ€“ It Works
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
MTF-Grasp: A Multi-tier Federated Learning Approach for Robotic Grasping
arxiv.orgยท18h
๐ŸคSecure Multiparty
Show HN: From Zod schema to agent-ready MCP server โ€“ minimal, typed, deployable
github.comยท7hยท
Discuss: Hacker News
๐Ÿ”CBOR
Massively parallel and universal approximation of nonlinear functions using diffractive processors
arxiv.orgยท1d
๐ŸŒ€Fractal Compression
A Training-Free, Task-Agnostic Framework for Enhancing MLLM Performance on High-Resolution Images
arxiv.orgยท18h
๐Ÿ“ŠLearned Metrics
Large Language Models and Non-Negative Matrix Factorization for Bioacoustic Signal Decomposition
arxiv.orgยท18h
๐Ÿ‘‚Psychoacoustic Coding
Machine Learning Fundamentals: decision trees with python
dev.toยท5hยท
Discuss: DEV
๐Ÿ”—Topological Sorting
๐Ÿ” Introducing EMCL โ€“ A Secure Protocol for AI Agents to Call Tools
dev.toยท6hยท
Discuss: DEV
๐ŸŒNetworkProtocols
Capturing Unseen Spatial Extremes Through Knowledge-Informed Generative Modeling
arxiv.orgยท18h
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap