Learn Commodore 64 Basic Programming – Type-In Text-Based Games
retrogamestart.com·1d·
Discuss: Hacker News
💾Retro Computing
Proof by Intimidation
en.wikipedia.org·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Nuxt v4
nuxt.com·21h·
Discuss: Hacker News, r/javascript
❄️Nixified Development
KDB-X: KX releases FREE Commercial KDB licence
defconq.tech·3h·
Discuss: Hacker News
🔬Unikernels
AI Finance Academy – Free AI-Powered Personal Finance Academy and Chatbot
finance-academy-two.vercel.app·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·3d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Are Your Quality Metrics Lying to You?
theproductmindedqa.com·2d·
Discuss: Hacker News
👁️System Observability
Things Not to Learn as an AI Engineer – By Paul Iusztin
decodingml.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
Turbo Frames, Morphing and the Future of the Web
medium.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Make your repo/project ergonomic for other developers
pdx.su·2d·
Discuss: r/programming
🔄Reproducible Builds
Spending Inference Time
kevinlu.ai·3d·
Discuss: Hacker News
✓Automated Theorem Proving
sca-fuzzer: Revizor - a fuzzer to search for microarchitectural leaks in CPUs
github.com·3d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Stopping the rot when good software goes bad means new rules from the start
theregister.com·2d·
Discuss: Hacker News
💾Retro Computing
Multiplicative Modular Nim (MuM)
arxiv.org·1d
🐫OCaml
ExpStar: Towards Automatic Commentary Generation for Multi-discipline Scientific Experiments
arxiv.org·1d
✓Automated Theorem Proving
Data Depth as a Risk
arxiv.org·2d
🔠Type-Level Programming
Information Must Flow: Recursive Bootstrapping for Information Bottleneck in Optimal Transport
arxiv.org·1d
🔠Type-Level Programming
CMER: A Context-Aware Approach for Mining Ethical Concern-related App Reviews
arxiv.org·1d
🔬Static Analysis
Diffusion Decoding for Peptide De Novo Sequencing
arxiv.org·16h
➡️Category Theory