IndexTTS2: Emotional duration-controlled autoregressive zero-shot text-to-speech
index-tts.github.io·3d·
Discuss: Hacker News
🐫Embedded OCaml
I just wanted to teach my kid to code — ended up building a full AI app.
vibelf.com·4d·
Discuss: r/programming
🎮Verification Games
Let Me Cook You a Vulnerability: Exploiting the Thermomix TM5
synacktiv.com·23h·
Discuss: Lobsters, Hacker News
💾Retro Computing
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·5d·
Discuss: Hacker News, r/programming
🔬Static Analysis
The FIPS 140-3 Go Cryptographic Module
go.dev·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🛡️seL4
Topical Authority: A Guide to SEO in the Age of AI (GEO)
tryzenith.ai·2d·
Discuss: Hacker News
🧗Climbing Tech
NixOS: Declarative Management, Imperative Privilege Escalation
labs.snyk.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
A post by me urging you to write more stories
medium.com·4d·
Discuss: r/programming
🔄Finite State Machines
The Next Wave
dumindu.github.io·6d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Kubernetes Finally Solves Its Biggest Problem: Managing Databases
thenewstack.io·2d·
Discuss: Hacker News
⎈Kubernetes
Show HN: MCP Project Manager – Hierarchical task management for AI assistants
github.com·22h·
Discuss: Hacker News
🏠HomeLab
Learning to Quantize and Precode in Massive MIMO Systems for Energy Reduction: a Graph Neural Network Approach
arxiv.org·1d
➡️Category Theory
Cross-lingual Few-shot Learning for Persian Sentiment Analysis with Incremental Adaptation
arxiv.org·6h
🐫OCaml
Modern webapp to write, run and learn M68K, MIPS, RISC-V, x86 assembly code
github.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools
github.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Mechanistic Indicators of Understanding in Large Language Models
arxiv.org·3d
➡️Category Theory
A parametric activation function based on Wendland RBF
arxiv.org·1d
➡️Category Theory
Last Layer Hamiltonian Monte Carlo
arxiv.org·2d
💻CS
Brain Stroke Detection and Classification Using CT Imaging with Transformer Models and Explainable AI
arxiv.org·2d
✓Automated Theorem Proving
MP1: Mean Flow Tames Policy Learning in 1-step for Robotic Manipulation
arxiv.org·2d
🔄Finite State Machines