Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·16h·
Discuss: Hacker News
🤖AI
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🎹Chord Progressions
Flag this post
Nets snap 7-game slide, earn first win of season against Pacers
nytimes.com·8h
🤖AI
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·11h·
Discuss: Hacker News
🤖AI
Flag this post
The Art of the Command Line
jxself.org·13h
🖱Cursor
Flag this post
🔄 Process Migration Between App Versions in Joget
dev.to·1d·
Discuss: DEV
🖱Cursor
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Logic point entities (Sourcelike)
reddit.com·1d·
Discuss: r/godot
🤖AI
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🤖AI
Flag this post
r/mathematics
reddit.com·1d·
Discuss: r/mathematics
🎹Chord Progressions
Flag this post
Prog8
github.com·1d·
Discuss: Hacker News
🎹Chord Progressions
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·11h
🤖AI
Flag this post
ws-dl.blogspot.com·15h·
Discuss: ws-dl.blogspot.com
🤖AI
Flag this post
Gemini Can Now Create “Presentations” with One Prompt!
analyticsvidhya.com·23h
🤖AI
Flag this post
Engineer's Guide to Local LLMs with LLaMA.cpp on Linux
avatsaev.substack.com·4h·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
How to check if a .onion is alive or dead (with Hidden Service Descriptors)
discuss.privacyguides.net·18h
🤖AI
Flag this post
Text to SQL: Local, Secure, and Smarter
exasol.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Why Logic Isn't as Objective as You Think
dev.to·1d·
Discuss: DEV
🎼Music Theory
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🤖AI
Flag this post
Building Browser-Native Presentations with Scittle
clojurecivitas.github.io·2d·
Discuss: Hacker News
🤖AI
Flag this post