ProofOfThought: LLM-based reasoning using Z3 theorem proving(github.com)

187 points

Newton: physics simulation engine built upon NVIDIA Warp(github.com)

45 points

A comparison of Ada and Rust, using solutions to the Advent of Code(github.com)

197 points

Blog Feeds(blogfeeds.net)

90 points

XiangShan Vector Floating-Point Unit Design(docs.xiangshan.cc)

24 points

Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4(arxiv.org)

8 points

Matrix Core Programming on AMD GPUs(salykova.github.io)

27 points

Show HN: Run – a CLI universal code runner I built while learning Rust(github.com)

58 points

How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs(arxiv.org)

65 points

Probiotics Finder(www.probioticfinder.org)

13 points

Search for something

Powered by Algolia

Or browse recents submissions

Or active discussions