2025-09-17: Classic Machine Learning Models and XAI Methods
ws-dl.blogspot.com·1d·
🧠Machine Learning
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·3d·
🔗Concatenative Programming
Such a Classic
blog.hermesloom.org·1d·
Discuss: Hacker News
🧠Intelligence Compression
Learning languages with the help of algorithms
johndcook.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
AWS Certified AI Practitioner (AIF-C01) Study Guide
dev.to·6h·
Discuss: DEV
Proof Automation
Notes on writing a monovocalic sonnet
muppetlabs.com·22h·
Discuss: Hacker News
🔗Concatenative Languages
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·11h·
Discuss: r/golang
🦀Rust Macros
Bridging the Algorithmic Divide: Injecting Logic into Neural Nets
dev.to·1d·
Discuss: DEV
🔬Logic in Computer Science
Audited Reasoning Refinement: Fine-Tuning Language Models via LLM-Guided Step-Wise Evaluation and Correction
arxiv.org·1d
📝Concrete Syntax
Ask HN: LLM Prompt Engineering
news.ycombinator.com·13h·
Discuss: Hacker News
🌳Incremental Parsing
Claude Can (Sometimes) Prove It
galois.com·2d·
⚔️Lean Tactics
K-shot training with LLMs
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Prompt analytics without the complexity (or vendor lock-in)
testune.xyz·13h·
Discuss: DEV, Hacker News
🔄Sync Engine
Enhanced LC-MS Peptide Identification via Augmented Graph Neural Networks and Spectral Deconvolution
dev.to·20h·
Discuss: DEV
🔍Vector Forensics
The Most Strict #ProgrammingLanguage @KevlinHenney Has Ever Used: #occam
youtube.com·15h
💻Programming languages
Intelligent RAG Optimization with GEPA: Revolutionizing Knowledge Retrieval
dev.to·13h·
Discuss: DEV
Effect Handlers
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·8h·
Discuss: Hacker News
🔗Functional Compilers
Hardness of Dynamic Core and Truss Decompositions
arxiv.org·23h
🎯Performance Proofs
AssoCiAm: A Benchmark for Evaluating Association Thinking while Circumventing Ambiguity
arxiv.org·23h
🌳Context free grammars
Benchmarking Humans and AI in Contract Drafting
legalbenchmarks.ai·16h·
Discuss: Hacker News
Proof Automation