Hacker Newsnew | past | comments | ask | show | jobs | submit | ahsillyme's submissionslogin
1.
Escaping the Quicksand: A Call to Arms (arxiv.org)
1 point by ahsillyme 37 days ago | past
2.
NASA Lessons Learned System (nasa.gov)
3 points by ahsillyme 56 days ago | past | 1 comment
3.
Phantom Type (haskell.org)
2 points by ahsillyme 88 days ago | past
4.
Algorithmic Information Theory Data Compression Challenge (arxiv.org)
1 point by ahsillyme 3 months ago | past
5.
Step in Tine: Forking Processes in Functional Choreographies (arxiv.org)
1 point by ahsillyme 4 months ago | past
6.
Neuro-Symbolic Ode Discovery with Latent Grammar Flow (arxiv.org)
1 point by ahsillyme 5 months ago | past
7.
Optimal Software Pipelining Using an SMT-Solver (arxiv.org)
2 points by ahsillyme 8 months ago | past
8.
The quadratic knapsack problem (2025) (sciencedirect.com)
2 points by ahsillyme 10 months ago | past
9.
Kleene Algebra (arxiv.org)
3 points by ahsillyme 10 months ago | past
10.
Massively Parallel Proof-Number Search for Impartial Games and Beyond (arxiv.org)
1 point by ahsillyme 10 months ago | past
11.
Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (arxiv.org)
3 points by ahsillyme 10 months ago | past
12.
Depth-13 Sorting Networks for 28 Channels (arxiv.org)
4 points by ahsillyme 10 months ago | past
13.
Generic functional parallel algorithms: scan and FFT (2017) (acm.org)
1 point by ahsillyme on Sept 18, 2025 | past
14.
The Model Counting Competitions 2021-2023 (arxiv.org)
2 points by ahsillyme on April 22, 2025 | past
15.
Broughton Suspension Bridge (wikipedia.org)
1 point by ahsillyme on March 2, 2025 | past
16.
High-Throughput SAT Sampling (arxiv.org)
2 points by ahsillyme on Feb 14, 2025 | past
17.
Flip Graphs with Symmetry and New Matrix Multiplication Schemes (arxiv.org)
3 points by ahsillyme on Feb 10, 2025 | past
18.
Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures (arxiv.org)
1 point by ahsillyme on Jan 16, 2025 | past
19.
Mlkaps: Machine Learning and Adaptive Sampling for HPC Kernel Auto-Tuning (arxiv.org)
3 points by ahsillyme on Jan 13, 2025 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: