Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·1d·
Discuss: Hacker News
🌐NetworkProtocols
Diffusion Elites: surprisingly good, simple and embarrassingly parallel
blog.christianperone.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔬Unikernels
Hanami and the Elephant in the Room
hanamirb.org·2h·
Discuss: Hacker News
🔄Reproducible Builds
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·3d·
Discuss: Hacker News
✓Automated Theorem Proving
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·4d·
Discuss: Hacker News
🐫OCaml
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·21h
🔍Formal Verification
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·21h
✓Automated Theorem Proving
Real-Time Decorrelation-Based Anomaly Detection for Multivariate Time Series
arxiv.org·21h
🧪Property-Based Testing
Axiomatic characterizations of dissimilarity orderings and distances between sets
arxiv.org·2d
🔠Type-Level Programming
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·21h
⚙️PL Implementation
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·1d·
Discuss: Substack
🐫Embedded OCaml
Epistemological Primes
news.ycombinator.com·1d·
Discuss: Hacker News
💾Retro Computing
25 Additional Problems -- Extension to the Book "125 Problems in Text Algorithms"
arxiv.org·2d
🔬Static Analysis
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·1d·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Automating Evaluation of Diffusion Model Unlearning with (Vision-) Language Model World Knowledge
arxiv.org·21h
🐫OCaml
A chemical language model for molecular taste prediction
nature.com·2d·
Discuss: Hacker News
🐫OCaml
Hilbert spaces, Ricci traces: the singularity we should attend to
news.ycombinator.com·7h·
Discuss: Hacker News
🏹Effect Systems
Thermodynamic Prediction Enabled by Automatic Dataset Building and Machine Learning
arxiv.org·21h
✓Automated Theorem Proving
SCoRE: Streamlined Corpus-based Relation Extraction using Multi-Label Contrastive Learning and Bayesian kNN
arxiv.org·1d
🔠Type-Level Programming