original ↗
maique.eu·14h
🧮Programming Language Theory
Show HN: Online equivalence checker for JavaScript RegExp
gruhn.github.io·3d·
Discuss: Hacker News
✅Formal Verification
Scummvm: Announcing support for World Builder-based games
scummvm.org·8h·
Discuss: Hacker News
💾Retrocomputing
BRAG – Brain Retrieval-Augmented Generation
tostring.ai·1d·
Discuss: r/programming
🎲Probabilistic Programming
I grew my product from 0 to 1k users – here are 5 things I learned
news.ycombinator.com·1d·
Discuss: Hacker News
👐Open Source Software
Stupidity as a Service
lawrenc.es·4d·
Discuss: Hacker News
⚙Functional Programming
Weird little games, summer edition
blog.zarfhome.com·16h
🤖Sci-Fi
Infusing AI into Your Java Applications – InfoQ
infoq.com·4d·
Discuss: Hacker News
🔗Parser Combinators
Kids and Cleaning
lesswrong.com·10h
🔄Category Theory
lufin — a selfhosted end-to-end encrypted file sharing, modern alternative to lufi [SELF-PROMOTION]
reddit.com·18h·
Discuss: r/opensource
👐Open Source Software
[$] Python, tail calls, and performance
lwn.net·3d
🏗Computer Architecture
Netbook - a jupyter client for the terminal
reddit.com·18h·
Discuss: r/commandline
💾Retrocomputing
Google SWE L4 Interview Experience: Why Are Cultural Adaptability Tests Not Scheduled?
dev.to·5d·
Discuss: DEV
🧭SMT Solvers
Lessons From Creating My AI Godfather: Digital Power Guide
dev.to·14h·
Discuss: DEV
⚖Algorithmic Game Theory
Constant Refactoring: Refactoring my refactored Website
dev.to·3d·
Discuss: DEV
👐Open Source Software
I made ZZZ Inventory Clone in Godot
reddit.com·1d·
Discuss: r/godot
💾Retrocomputing
I feel yall can use some entertaining…. 👇🏽🪳🤪🤣
threadreaderapp.com·12h
🤖Sci-Fi
No. 22 Iowa State edges No. 17 Kansas State for season-opening win in Dublin
nytimes.com·18h
🧮Programming Language Theory
Making AI Prompts Customizable with Smart Guardrails
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
Cohort-Aware Agents for Individualized Lung Cancer Risk Prediction Using a Retrieval-Augmented Model Selection Framework
arxiv.org·2d
🎲Probabilistic Programming