Problem-solving is fundamental to human nature
freethink.com·1h
🔲Cellular Automata
A Principled Approach to Randomized Selection under Uncertainty
arxiv.org·15h
🌸Bloom Variants
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·18h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·7h·
Discuss: Hacker News
🔗Constraint Handling
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·3h
💻Local LLMs
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.com·1h·
Discuss: Lobsters
🎼Audio Lambda Calculus
Primitive Kolmogorov complexity is computable
lewish.io·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
Slashing CI Costs at Uber
uber.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
👑Coq Tactics
AI and ML Courses in Bangalore: Master Exploratory Data Analysis
dev.to·7h·
Discuss: DEV
🎵Audio ML
Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.org·1d
🎯Performance Proofs
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Guide to the Foundation Models Framework
azamsharp.com·6h·
Discuss: Hacker News
λLambda Formalization