ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com)
194 points
101
Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4
(arxiv.org)
22 points
1
A comparison of Ada and Rust, using solutions to the Advent of Code
(github.com)
204 points
130
Newton: physics simulation engine built upon NVIDIA Warp
(github.com)
54 points
9
Blog Feeds
(blogfeeds.net)
100 points
40
Mod. 5140 - IBM's First Laptop Computer
(richardsapperdesign.com)
9 points
0
Microsoft 365 Copilot is a commercial failure
(www.perspectives.plus)
56 points
39
XiangShan Vector Floating-Point Unit Design
(docs.xiangshan.cc)
30 points
2
Matrix Core Programming on AMD GPUs
(salykova.github.io)
33 points
0
One Battle After Another: PTA and the Death of Revolutionary Cinema
(letterboxd.com)
3 points
1
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