Cyber resilience quantification: A probabilistic estimation model for IT infrastructure
sciencedirect.com·17h
🎲Probabilistic Programming
SchemaCrawler – Free database schema discovery and comprehension tool
schemacrawler.com·1d·
Discuss: Hacker News
🧭SMT Solvers
I love the Pretty Properties plugin
preview.redd.it·19h·
Discuss: r/ObsidianMD
👐Open Source Software
Clojure Async Flow Guide
clojure.github.io·3d·
Discuss: Lobsters, Hacker News
📝Lisp
A not-so-silent revolution is happening in AI inference
julsimon.medium.com·23h
🏗Computer Architecture
Duality
xythobuz.de·2d
💾Retrocomputing
How to upload files using minimal APIs in ASP.NET Core
infoworld.com·3h
📦WebAssembly
Hybrid AI: The Future of Intelligent Systems
bmmagazine.co.uk·9h
🤖Sci-Fi
I Built LogosDX: A TypeScript ecosystem for cross-runtime JavaScript development
logosdx.dev·5d·
Discuss: r/node
📐Type Theory
Customizing Lisp REPLs
aartaka.me·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📝Lisp
Go language previews performance-boosting garbage collector
infoworld.com·2d
📝Lisp
Carter2099/dsa.rb: A CLI test suite for implementations of core Ruby algorithms
github.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Blink Twice: Measuring Strategic Deception Amongst LLMs
coup.khoj.dev·1d·
Discuss: Hacker News
⚖Algorithmic Game Theory
AI free from bias and ideology is a fantasy—humans can't organize data without distorting reality
techxplore.com·1d
🔢Mathematical Logic
charmbracelet/crush v0.7.0
github.com·15h
👐Open Source Software
Can We Tell if ChatGPT is a Parasite? Studying Human-AI Symbiosis with Game Theory
arxiv.org·3d
⚖Algorithmic Game Theory
Automated Protocol & Metric Harmonization for KS Standard Validation & Gap Analysis
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
2025 Big 12 football predictions: Can Arizona State repeat in a wide-open conference?
nytimes.com·1h
⚙Functional Programming
Will your existing API work with AI agents?
dev.to·20h·
Discuss: DEV
🤝Protocol Design
A journey into Java
dev.to·1d·
Discuss: DEV
🧩Theorem Proving