Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
What Makes Code Beautiful
thecoder.cafe·1d·
Discuss: r/programming
🔬Static Analysis
I need help.
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Interview with John Bridges (PCPaint, Grasp, GL Pro)
ztoz.blog·2h·
Discuss: Hacker News
💾Retro Computing
LLMs show cultural theory was right about the death of the author
programmablemutter.com·1d·
Discuss: Hacker News
🐫OCaml
Curriculum Negative Mining For Temporal Networks
arxiv.org·16h
🔠Type-Level Programming
Bluish Veil Detection and Lesion Classification using Custom Deep Learnable Layers with Explainable Artificial Intelligence (XAI)
arxiv.org·16h
🍎Apple
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·20h·
Discuss: Hacker News
🌐NetworkProtocols
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
It's bye for now, and so here are my final thoughts on technology
yukinu.com·3h·
Discuss: Hacker News
✓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·16h
✓Automated Theorem Proving
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·2d
🏹Effect Systems
Reinforcement Learning with Action Chunking
arxiv.org·16h
🎮Verification Games
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·16h
🐫OCaml
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·3d·
Discuss: Hacker News
🐫OCaml