HNHacker News
TopNewBestAskShowJobs

ahsillyme

32 karma · joined January 10, 2025

submissionscomments

Subgraph Isomorphism, ILP, and Lattices: A Linear Algebraic Framework

arxiv.org·2 pts·ahsillyme·
0

Escaping the Quicksand: A Call to Arms

arxiv.org·1 pts·ahsillyme·
0

NASA Lessons Learned System

llis.nasa.gov·3 pts·ahsillyme·
1

Phantom Type

wiki.haskell.org·2 pts·ahsillyme·
0

Algorithmic Information Theory Data Compression Challenge

arxiv.org·1 pts·ahsillyme·
0

Step in Tine: Forking Processes in Functional Choreographies

arxiv.org·1 pts·ahsillyme·
0

Neuro-Symbolic Ode Discovery with Latent Grammar Flow

arxiv.org·1 pts·ahsillyme·
0

Optimal Software Pipelining Using an SMT-Solver

arxiv.org·2 pts·ahsillyme·
0

The quadratic knapsack problem (2025)

sciencedirect.com·2 pts·ahsillyme·
0

Kleene Algebra

arxiv.org·3 pts·ahsillyme·
0

Massively Parallel Proof-Number Search for Impartial Games and Beyond

arxiv.org·1 pts·ahsillyme·
0

Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph

arxiv.org·3 pts·ahsillyme·
0

Depth-13 Sorting Networks for 28 Channels

arxiv.org·4 pts·ahsillyme·
0

Generic functional parallel algorithms: scan and FFT (2017)

dl.acm.org·1 pts·ahsillyme·
0

The Model Counting Competitions 2021-2023

arxiv.org·2 pts·ahsillyme·
0

Broughton Suspension Bridge

en.wikipedia.org·1 pts·ahsillyme·
0

High-Throughput SAT Sampling

arxiv.org·2 pts·ahsillyme·
0

Flip Graphs with Symmetry and New Matrix Multiplication Schemes

arxiv.org·3 pts·ahsillyme·
0

Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures

arxiv.org·1 pts·ahsillyme·
0

Mlkaps: Machine Learning and Adaptive Sampling for HPC Kernel Auto-Tuning

arxiv.org·3 pts·ahsillyme·
0