I need help.
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·23h·
Discuss: Hacker News
🔠Type-Level Programming
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
What Makes Code Beautiful
thecoder.cafe·1d·
Discuss: r/programming
🔬Static Analysis
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·11h
🎮Verification Games
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·11h
✓Automated Theorem Proving
Data Science Weekly – Issue 607
datascienceweekly.substack.com·11h·
Discuss: Substack
👁️System Observability
Epistemological Primes
news.ycombinator.com·1d·
Discuss: Hacker News
💾Retro Computing
Data-Star.dev – v1 and Beyond
data-star.dev·23h·
Discuss: Hacker News
🧱Immutable Infrastructure
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving
LLMs show cultural theory was right about the death of the author
programmablemutter.com·21h·
Discuss: Hacker News
🐫OCaml
Curriculum Negative Mining For Temporal Networks
arxiv.org·11h
🔠Type-Level Programming
Bluish Veil Detection and Lesion Classification using Custom Deep Learnable Layers with Explainable Artificial Intelligence (XAI)
arxiv.org·11h
🍎Apple
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
$k$-means considered harmful: On arbitrary topological changes in Mapper complexes
arxiv.org·2d
🐫OCaml
HeLo: Heterogeneous Multi-Modal Fusion with Label Correlation for Emotion Distribution Learning
arxiv.org·1d
🐫OCaml
MagiC: Evaluating Multimodal Cognition Toward Grounded Visual Reasoning
arxiv.org·11h
✓Automated Theorem Proving