GSOC 2025 - Converting Demucs v4 (Hybrid Transformer) AI model to ONNX format
mixxx.org·20h
🎲Probabilistic Programming
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·4d·
Discuss: Lobsters, Hacker News
✅Formal Verification
Flag this post
New comment by iamartech in "Ask HN: Who wants to be hired? (November 2025)"
docs.google.com·15h·
Discuss: Hacker News
🔌Network Programming
Flag this post
Note
hsu.cy·1d
🧮Programming Language Theory
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Remind: A sophisticated calendar and alarm program
dianne.skoll.ca·11h·
Discuss: Hacker News
📝Text Editors
Flag this post
Testing an updated approach to package splitting in makepkg
lists.archlinux.org·10h·
Discuss: r/archlinux
👐Open Source Software
Flag this post
Why Code Execution is Eating Tool Registries
levelup.gitconnected.com·12h·
Discuss: r/programming
🏗️Software Architecture
Flag this post
You Should Write An Agent
fly.io·1d·
Discuss: Lobsters, Hacker News
🧩Theorem Proving
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·3d·
Discuss: Lobsters, Hacker News
🧠Memory Management
Flag this post
When deep thinking turns into deep hallucination
techkettle.blogspot.com·1h·
Discuss: Hacker News
🧭SMT Solvers
Flag this post
Show HN: Elden Stack – A mini game where your stack overflows in glorious combat
github.com·23h·
Discuss: Hacker News
🦀Rust
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·1d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·2d·
Discuss: Hacker News
🤝Protocol Design
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·3d·
Discuss: Hacker News, Hacker News
🤝Protocol Design
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
## Enhanced Degradation Rate Prediction and Optimization of Poly(butylene succinate) (PBS) Blends via Machine Learning and Microstructural Analysis
freederia.com·4h
🎲Probabilistic Programming
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Improving Diagnostic Performance on Small and Imbalanced Datasets Using Class-Based Input Image Composition
arxiv.org·7h
🎲Probabilistic Programming
Flag this post