Skintone Color Analysis AI Model and App
palettebymomo.com·4d·
Discuss: Hacker News
🏹Effect Systems
The Year of Peak Might and Magic
filfre.net·1d·
Discuss: Hacker News
🎮Verification Games
The Kepler Problem (Part 4)
johncarlosbaez.wordpress.com·11h·
Discuss: Hacker News
➡️Category Theory
When .999… Isn’t 1
mathenchant.wordpress.com·2d·
Discuss: Hacker News
🏹Effect Systems
Silence Is a Commons by Ivan Illich (1983)
davidtinapple.com·1d·
Discuss: Hacker News
🔬Unikernels
Making a short film with AI – harder than I thought
pranshum.com·1d·
Discuss: Hacker News
🎮Verification Games
"I think about this often" (2023)
dejavucoder.substack.com·1d·
Discuss: Substack
➡️Category Theory
The cost of selfishness
morrick.me·21h·
Discuss: Hacker News
🍎Apple
Show HN: Context Rot Technical Report – How Input Length Impacts LLM Performance
research.trychroma.com·5d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Proof-theoretic Semantics for First-order Logic
arxiv.org·2d
➡️Category Theory
Core Programming Logic: A JS logic library with snippets + markdown docs
github.com·6d·
Discuss: r/javascript, r/programming
✓Automated Theorem Proving
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·4d
🔠Type-Level Programming
Show HN: Ggc – A terminal-based Git CLI written in Go
github.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.org·3d
🎮Verification Games
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·3d
🐫OCaml
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·3d
🐫OCaml
Show HN: SilentArena – Learn ransomware behavior safely (C-based)
github.com·3d·
Discuss: Hacker News
🛡️seL4
BlueGlass: A Framework for Composite AI Safety
arxiv.org·5d
🔄Finite State Machines
I created EvoFormula, an open-source tool for interpretable symbolic regression that finds simple formulas in your data.
github.com·5d·
Discuss: r/programming
🐫OCaml
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·4d
🔬Static Analysis