ahsillyme | Dark Hacker News

1.	NASA Lessons Learned System(llis.nasa.gov) 3 points by ahsillyme 18 days ago \| 1 comment
2.	Phantom Type(wiki.haskell.org) 2 points by ahsillyme 50 days ago \| 0 comments
3.	Algorithmic Information Theory Data Compression Challenge(arxiv.org) 1 points by ahsillyme 65 days ago \| 0 comments
4.	Step in Tine: Forking Processes in Functional Choreographies(arxiv.org) 1 points by ahsillyme 87 days ago \| 0 comments
5.	Neuro-Symbolic Ode Discovery with Latent Grammar Flow(arxiv.org) 1 points by ahsillyme 122 days ago \| 0 comments
6.	Optimal Software Pipelining Using an SMT-Solver(arxiv.org) 2 points by ahsillyme 202 days ago \| 0 comments
7.	The quadratic knapsack problem (2025)(sciencedirect.com) 2 points by ahsillyme 265 days ago \| 0 comments
8.	Kleene Algebra(arxiv.org) 3 points by ahsillyme 276 days ago \| 0 comments
9.	Massively Parallel Proof-Number Search for Impartial Games and Beyond(arxiv.org) 1 points by ahsillyme 279 days ago \| 0 comments
10.	Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph(arxiv.org) 3 points by ahsillyme 281 days ago \| 0 comments