Hacker News new | ask | show | jobs
user: ahsillyme
created: 2025-01-10
karma: 23

submissions:

0 points | 0 comments
Step in Tine: Forking Processes in Functional Choreographies
1 points | 0 comments
Neuro-Symbolic Ode Discovery with Latent Grammar Flow
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Optimal Software Pipelining Using an SMT-Solver
2 points | 0 comments
0 points | 0 comments
The quadratic knapsack problem (2025)
2 points | 0 comments
0 points | 0 comments
Kleene Algebra
3 points | 0 comments
Massively Parallel Proof-Number Search for Impartial Games and Beyond
1 points | 0 comments
0 points | 0 comments
Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
3 points | 0 comments
Depth-13 Sorting Networks for 28 Channels
4 points | 0 comments
0 points | 0 comments
Generic functional parallel algorithms: scan and FFT (2017)
1 points | 0 comments
The Model Counting Competitions 2021-2023
2 points | 0 comments
Broughton Suspension Bridge
1 points | 0 comments
High-Throughput SAT Sampling
2 points | 0 comments
Flip Graphs with Symmetry and New Matrix Multiplication Schemes
3 points | 0 comments
Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures
1 points | 0 comments
Mlkaps: Machine Learning and Adaptive Sampling for HPC Kernel Auto-Tuning
3 points | 0 comments