This old-school mind-mapping app still beats modern note tools
makeuseof.com·55m
🧠Memory Management
Flag this post
Fourier Transforms
📝Lisp
Flag this post
Up and Down the Ladder of Abstraction
🧫Cellular Automata
Flag this post
Dive into Systems
🧩Theorem Proving
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
🗄️Database Theory
Flag this post
The New Optimization Stack: Where SEO Meets AI Retrieval via @sejournal, @DuaneForrester
searchenginejournal.com·1h
📈Complexity Theory
Flag this post
Testing Cursor's New Model: Composer
shuttle.dev·1d
🏗Computer Architecture
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
🧮Programming Language Theory
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·3d
🔐Cryptography
Flag this post
Finding Non-Redundant Simpson's Paradox from Multidimensional Data
arxiv.org·2d
🔢Mathematical Logic
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·1d
🔢Mathematical Logic
Flag this post
Prompting for Policy: Forecasting Macroeconomic Scenarios with Synthetic LLM Personas
arxiv.org·1d
🧮Programming Language Theory
Flag this post
Electric vehicle charging decisions with travel distance: novel clustering algorithm integrating spatial-temporal charging and trip data
sciencedirect.com·2h
⚖Algorithmic Game Theory
Flag this post
Using ensemble learning with hybrid graph neural networks and transformers to predict traffic in cities
arxiv.org·1d
🕸️Graph Theory
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·3d
⚖️Logic Programming
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·2d
⚖Algorithmic Game Theory
Flag this post
Loading...Loading more...