ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com)
187 points
96
Newton: physics simulation engine built upon NVIDIA Warp
(github.com)
45 points
5
A comparison of Ada and Rust, using solutions to the Advent of Code
(github.com)
197 points
127
Blog Feeds
(blogfeeds.net)
90 points
40
XiangShan Vector Floating-Point Unit Design
(docs.xiangshan.cc)
24 points
1
Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4
(arxiv.org)
8 points
0
Matrix Core Programming on AMD GPUs
(salykova.github.io)
27 points
0
Show HN: Run – a CLI universal code runner I built while learning Rust
(github.com)
58 points
21
How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs
(arxiv.org)
65 points
16
Probiotics Finder
(www.probioticfinder.org)
13 points
0
Load More Posts
BetterHN
Search for something
Powered by Algolia
Search results for
All
Show
Ask
Front Page
Or browse recents submissions
Or active discussions
Previous Page
Next Page