ahsillyme
- Karma
- 32
- 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)