HN Explorer

ahsillyme

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