HN Explorer

ahsillyme

↗ HN profile [ 84.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Escaping the Quicksand: A Call to Arms (arxiv.org)
    1 points 0
  2. NASA Lessons Learned System (llis.nasa.gov)
    3 points 1
  3. Phantom Type (wiki.haskell.org)
    2 points 0
  4. Algorithmic Information Theory Data Compression Challenge (arxiv.org)
    1 points 0
  5. Step in Tine: Forking Processes in Functional Choreographies (arxiv.org)
    1 points 0
  6. Neuro-Symbolic Ode Discovery with Latent Grammar Flow (arxiv.org)
    1 points 0
  7. Optimal Software Pipelining Using an SMT-Solver (arxiv.org)
    2 points 0
  8. The quadratic knapsack problem (2025) (sciencedirect.com)
    2 points 0
  9. Kleene Algebra (arxiv.org)
    3 points 0
  10. Massively Parallel Proof-Number Search for Impartial Games and Beyond (arxiv.org)
    1 points 0
  11. Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (arxiv.org)
    3 points 0
  12. Depth-13 Sorting Networks for 28 Channels (arxiv.org)
    4 points 0
  13. 2 points 0
  14. Generic functional parallel algorithms: scan and FFT (2017) (dl.acm.org)
    1 points 0
  15. The Model Counting Competitions 2021-2023 (arxiv.org)
    2 points 0
  16. Broughton Suspension Bridge (en.wikipedia.org)
    1 points 0
  17. High-Throughput SAT Sampling (arxiv.org)
    2 points 0
  18. Flip Graphs with Symmetry and New Matrix Multiplication Schemes (arxiv.org)
    3 points 0
  19. Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures (arxiv.org)
    1 points 0
  20. Mlkaps: Machine Learning and Adaptive Sampling for HPC Kernel Auto-Tuning (arxiv.org)
    3 points 0