Thailand: Former PM Thaksin Shinawatra acquitted of royal defamation charges
lemonde.fr·1h
📝ABNF Extensions
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
Ask HN: How do most dry theory writers struggle to get started?
news.ycombinator.com·4h·
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·1d·
Discuss: Hacker News
🧪Binary Fuzzing
I built my first side project: Tubee, in 2017
blog.tomy.me·11h·
Discuss: Hacker News
🚀Indie Hacking
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·3d·
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
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
PaperRegister: Boosting Flexible-grained Paper Search via Hierarchical Register Indexing
arxiv.org·4d
📇Indexing Strategies
Learning to Drive Ethically: Embedding Moral Reasoning into Autonomous Driving
arxiv.org·3h
🔲Cellular Automata