ahsillyme
- Karma
- 27
- Created
- 1 year ago
Recent Submissions
- 1. ▲ Escaping the Quicksand: A Call to Arms (arxiv.org)
- 2. ▲ NASA Lessons Learned System (llis.nasa.gov)
- 3. ▲ Phantom Type (wiki.haskell.org)
- 4. ▲ Algorithmic Information Theory Data Compression Challenge (arxiv.org)
- 5. ▲ Step in Tine: Forking Processes in Functional Choreographies (arxiv.org)
- 6. ▲ Neuro-Symbolic Ode Discovery with Latent Grammar Flow (arxiv.org)
- 7. ▲ Optimal Software Pipelining Using an SMT-Solver (arxiv.org)
- 8. ▲ The quadratic knapsack problem (2025) (sciencedirect.com)
- 9. ▲ Kleene Algebra (arxiv.org)
- 10. ▲ Massively Parallel Proof-Number Search for Impartial Games and Beyond (arxiv.org)