derived set
ncatlab.org·19h
🧮Algebraic Archives
A New Pyramid-Like Shape Always Lands the Same Side Up
quantamagazine.org·19h·
Discuss: Hacker News
📐Mathematical Art
AI digital twins in supply chain execution
forbes.com·15h·
Discuss: Hacker News
🏠Homelab Orchestration
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.org·1d
🕸️Graph Algorithms
Optimizing Change-Driven Architectures - A New Cloud-Native Model with Drasi
youtube.com·3h
⚡Incremental Computation
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·14m·
Discuss: DEV
🌳Trie Structures
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
Deciding Termination of Simple Randomized Loops
arxiv.org·2d
🌳Persistent Data Structures
Tech Breakthroughs of June 2025
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
Solving LinkedIn Queens Using MiniZinc
zayenz.se·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·9h·
Discuss: DEV
λLambda Encodings
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·1d
📐Compression Bounds
What LLMs Know About Their Users
schneier.com·23h·
Discuss: Hacker News
💻Local LLMs
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·2d
🔲Cellular Automata
Signal Recovery on Algebraic Varieties Using Linear Samples
arxiv.org·2d
🕸️Algebraic Topology
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression
Quantizing for Noisy Flash Memory Channels
arxiv.org·2d
🛡️Preservation Proofs
Privacy-Preserving LLM Interaction with Socratic Chain-of-Thought Reasoning and Homomorphically Encrypted Vector Databases
arxiv.org·2d
🔐Homomorphic Encryption
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·6h
📐Error Bounds