Top education researcher goes to court over plagiarism claims, university review
retractionwatch.com·10h
📊Citation Graphs
Devlog: UCL - Comparing UCL To Some Early Ideas
lmika.org·4h
🐚Shell Calculus
The theorem on formal functions
math.columbia.edu·6d
⚔️Lean Theorem
Steering a middle ground between two extreme takes on the role of statistics in the development of language models
statmodeling.stat.columbia.edu·3d
💻Programming languages
CSF lipoprotein-mediated cholesterol delivery to neurons impaired in Alzheimer's
jlr.org·2d·
Discuss: Hacker News
🧬Copy Number Variants
Ask HN: How do most dry theory writers struggle to get started?
news.ycombinator.com·2h·
Discuss: Hacker News
🕸️Knowledge Graphs
Flammable or Inflammable? and Other Word Pairs That Share a Root
wordsmarts.com·1d·
Discuss: Hacker News
🔤Morphological Analysis
Now, Together
natashajaffe.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Stringly Typed
hanselman.com·22h·
Discuss: Hacker News
🧪Binary Fuzzing
LLMs generate ‘fluent nonsense’ when reasoning outside their training zone
venturebeat.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
A Smarter Way to License Research Articles for AI
scholarlykitchen.sspnet.org·3d·
Discuss: Hacker News
📚MARC Evolution
Language Models as Thespians
jstrieb.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💻Local LLMs
Creating Stock Data | building stocksimpy 3
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Mindful Pomodoro on M5Stack Paper
hackster.io·1d
🖥️Modern Terminals
Cognitive Workspace: Active Memory Management for LLMs -- An Empirical Study of Functional Infinite Context
arxiv.org·2d
📏Linear Logic
Efficient Constraint-Aware Flow Matching via Randomized Exploration
arxiv.org·2d
🎯Performance Proofs
Reclaiming Constitutional Authority of Algorithmic Power
arxiv.org·3d
🌍Cultural Algorithms
Edge-Selector Model Applied for Local Search Neighborhood for Solving Vehicle Routing Problems
arxiv.org·1d
🧠Learned Indexes
MISS: Multi-Modal Tree Indexing and Searching with Lifelong Sequential Behavior for Retrieval Recommendation
arxiv.org·1d
🔍Search Indexing
Copyright Protection for Large Language Models: A Survey of Methods, Challenges, and Trends
arxiv.org·4d
🧪Archive Fuzzing