Show HN: Notion – a strongly typed Python client for Notion
ultimate-notion.com·3h·
Discuss: Hacker News
🐫OCaml
Lumo: The least open 'open' AI assistant
osai-index.eu·10h·
Discuss: Hacker News
🔬Unikernels
This Page Is a Quine
pranavg.me·4d·
Discuss: Hacker News
🧮Lambda Calculus
Fantastic Pretraining Optimizers and Where to Find Them
arxiviq.substack.com·1d·
Discuss: Substack
📚Automata Learning
Serving AI from the basement part I
ahmadosman.com·13h·
Discuss: Hacker News
🏠HomeLab
The case against Almost Always `auto` (AAA)
gist.github.com·2d·
Discuss: Hacker News, r/cpp
📚Automata Learning
Wild Performance Tricks
davidlattimore.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🐫Embedded OCaml
Expert Trap: why expertise breeds error—and how to course-correct
lesswrong.com·18h
✓Automated Theorem Proving
Disentangling the schema turn: Restoring the information base to conceptual modelling
arxiv.org·1d
📝Term Rewriting
Conformal Predictive Monitoring for Multi-Modal Scenarios
arxiv.org·1d
🩹Self-Healing Systems
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·3d·
Discuss: Hacker News
🎮Verification Games
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·2d·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
OrgChart: Coding Agent Organizations (Open Source)
gpeake.com·1d·
Discuss: Hacker News
⚙Operational Semantics
Designing LMS and Instructional Strategies for Integrating Generative-Conversational AI
arxiv.org·1d
🎮Verification Games
Extracting OPQRST in Electronic Health Records using Large Language Models with Reasoning
arxiv.org·1d
🧩Parser Combinators
Rethinking the Chain-of-Thought: The Roles of In-Context Learning and Pre-trained Priors
arxiv.org·1d
📚Automata Learning
Bootstrapping a Forth for Art
tia.mat.br·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Robix: A Unified Model for Robot Interaction, Reasoning and Planning
arxiv.org·1d
🧠Automated Reasoning
Morse sequences on stacks and flooding sequences
arxiv.org·1d
➡️Category Theory
Pose as Clinical Prior: Learning Dual Representations for Scoliosis Screening
arxiv.org·1d
🧩Parser Combinators