Y Hacker News new | ask | show | jobs

user: ahsillyme created: 2025-01-10 karma: 25 submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Phantom Type 2 points | 0 comments Algorithmic Information Theory Data Compression Challenge 1 points | 0 comments 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