Automated Job Function Decomposition and Re-Optimization via Constraint Programming and Deep Reinforcement Learning
dev.to·1h·
Discuss: DEV
🧮Constraint Solvers
The maths you need to start understanding LLMs
gilesthomas.com·23h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Semantic Parsing for Question Answering over Knowledge Graphs
arxiv.org·19h
🧮Prolog Parsing
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.com·21h·
Discuss: r/MachineLearning
⚡Proof Automation
ngn/k tutorial
razetime.github.io·1d
🔗Concatenative Programming
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·11h·
Discuss: Hacker News, shkspr.mobi
📏Code Metrics
Writing a C compiler in 500 lines of Python
vgel.me·6h·
Discuss: Hacker News, r/programming
🦀Rust Macros
Learning Machine Learning in Elixir | zacksiri.dev
zacksiri.dev·16h
💻Local LLMs
Anti-patterns and patterns for achieving secure generation of code via AI
ghuntley.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
LLMs to Blaze a Trail
blogger.com·1d
💾Persistence Strategies
LLMs for LLMs: A Structured Prompting Methodology for Long Legal Documents
arxiv.org·19h
💻Local LLMs
Incremental query updating in adhesive categories
topos.institute·3d
🔗Combinatory Logic
Java is a "Tower of Babel" language.
guidewiredevelopment.wordpress.com·12h·
Discuss: Substack
🔗Concatenative Programming
How Causal Reasoning Addresses the Limitations of LLMs in Observability
infoq.com·1d·
Discuss: Hacker News
⚙️TLA+
10 Python One-Liners Every Machine Learning Practitioner Should Know
machinelearningmastery.com·11h
🧮Kolmogorov Bounds
📚 My Python Roadmap Journey #3 & #4 - Data Structures & Algorithms
dev.to·8h·
Discuss: DEV
🌀Brotli Dictionary
Formal Verification of Isothermal Chemical Reactors
arxiv.org·19h
👑Isabelle/HOL
Mu Puzzle
en.wikipedia.org·3h·
Discuss: Hacker News
🔲Proof Irrelevance
3 Greedy Algorithms for Decision Trees, Explained with Examples
towardsdatascience.com·1d
🌳Huffman Trees
Lessons from building an AI data analyst
pedronasc.com·2d·
Discuss: Hacker News
🌀Brotli Internals