Sphinx Translation Tutorial: Localize Your Docs Like a Pro
documatt.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Mighty Simplex
galileo-unbound.blog·1d·
Discuss: Hacker News
🏹Effect Systems
The Recursive Loop: How Code Shapes Minds – Kenneth Reitz
kennethreitz.org·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Mistakes of Omission in AI Evals
bauva.com·14h·
Discuss: Hacker News
🧪Property-Based Testing
Stop writing CLI validation. Parse it right the first time
hackers.pub·11h·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️seL4
All Hype, No Bite: The "Your Brain on ChatGPT.." Preprint
residualinsights.com·3d·
Discuss: Hacker News
🎮Verification Games
Augment, Complement and Empower Yourself
arttuv.com·2d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
The Babysitter Problem
chrisbeckman.dev·1d·
Discuss: Hacker News
🛡️seL4
TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space
arxiv.org·3d
📐Denotational Semantics
ContraGS: Codebook-Condensed and Trainable Gaussian Splatting for Fast, Memory-Efficient Reconstruction
arxiv.org·2d
🐫OCaml
Reading with AI
arnoldkling.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
ProCause: Generating Counterfactual Outcomes to Evaluate Prescriptive Process Monitoring Methods
arxiv.org·4d
🧠Automated Reasoning
Model-Task Alignment Drives Distinct RL Outcomes
arxiv.org·6d
🧩Parser Combinators
Attention as an Adaptive Filter
arxiv.org·2d
💻CS
Mitigating Catastrophic Forgetting in Continual Learning through Model Growth
arxiv.org·4d
🧩Parser Combinators
L3Cube-IndicHeadline-ID: A Dataset for Headline Identification and Semantic Evaluation in Low-Resource Indian Languages
arxiv.org·4d
🧩Parser Combinators
Semantic and episodic memories in a predictive coding model of the neocortex
arxiv.org·4d
📐Denotational Semantics
Detecting Regional Spurious Correlations in Vision Transformers via Token Discarding
arxiv.org·2d
🧩Parser Combinators
The Personality Illusion: Revealing Dissociation Between Self-Reports & Behavior in LLMs
arxiv.org·2d
🧩Parser Combinators
Comparison of End-to-end Speech Assessment Models for the NOCASA 2025 Challenge
arxiv.org·3d
🧩Parser Combinators