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
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·17h·
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
Show HN: UView – A Tool to View and Modify Unity Packages Outside Unity
github.com·15h·
Discuss: Hacker News
📦Unikernel Systems
Core Programming Logic: A JS logic library with snippets + markdown docs
github.com·5d·
Discuss: r/javascript, r/programming
✓Automated Theorem Proving
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·4d
🔠Type-Level Programming
Build an AI Agent Web App with String and Lovable
pipedream.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·3d·
Discuss: Hacker News
🐫Embedded OCaml
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·2d·
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