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

194 points

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

22 points

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

204 points

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

54 points

Blog Feeds(blogfeeds.net)

100 points

Mod. 5140 - IBM's First Laptop Computer(richardsapperdesign.com)

9 points

Microsoft 365 Copilot is a commercial failure(www.perspectives.plus)

56 points

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

30 points

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

33 points

One Battle After Another: PTA and the Death of Revolutionary Cinema(letterboxd.com)

3 points

Search for something

Powered by Algolia

Or browse recents submissions

Or active discussions