derived set
ncatlab.org·7h
🧮Algebraic Archives
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.to·13h·
Discuss: DEV
⚡Modern Compression
Detecting Machine-Generated Texts: Not Just "AI vs Humans" and Explainability is Complicated
arxiv.org·18h
🧮Kolmogorov Complexity
AMF-MedIT: An Efficient Align-Modulation-Fusion Framework for Medical Image-Tabular Data
arxiv.org·18h
🤖Advanced OCR
Video Compression for Spatiotemporal Earth System Data
arxiv.org·18h
📊Rate-Distortion Theory
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·6h
💻Local LLMs
Weakly Private Information Retrieval from Heterogeneously Trusted Servers
arxiv.org·2d
📊Compression Proofs
Hypercubical manifolds in homotopy type theory
arxiv.org·18h
🔶Cubical Type Theory
C++ Seeding Surprises (2015)
pcg-random.org·6h·
Discuss: Hacker News
🔢Bitwise Algorithms
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
[📝LeetCode #242] Valid Anagram
dev.to·2d·
Discuss: DEV
🔤Type Theory
"I understand why I got this grade": Automatic Short Answer Grading with Feedback
arxiv.org·1d
🧠Intelligence Compression
Understanding Backpropagation and Gradient Descent in Neural Networks
dev.to·2d·
Discuss: DEV
🧠Neural Codecs
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·18h
📐Compression Bounds
Dialogic Pedagogy for Large Language Models: Aligning Conversational AI with Proven Theories of Learning
arxiv.org·18h
🤖Grammar Induction
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·7h·
Discuss: Substack
🦀Rust Macros
A Study of Dynamic Stock Relationship Modeling and S&P500 Price Forecasting Based on Differential Graph Transformer
arxiv.org·1d
🧠Machine Learning
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·14h·
Discuss: DEV
📐Error Bounds