News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
188
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com)
by
barthelomew
7 hours ago
|
19 comments
198
A comparison of Ada and Rust, using solutions to the Advent of Code
(github.com)
by
andsoitis
10 hours ago
|
14 comments
46
Newton: physics simulation engine built upon NVIDIA Warp
(github.com)
by
skilled
3 days ago
|
4 comments
91
Blog Feeds
(blogfeeds.net)
by
stevedsimkins
6 hours ago
|
19 comments
25
XiangShan Vector Floating-Point Unit Design
(docs.xiangshan.cc)
by
camel-cdr
3 hours ago
|
1 comments
10
Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4
(arxiv.org)
by
bookofjoe
1 hour ago
|
0 comments
30
Matrix Core Programming on AMD GPUs
(salykova.github.io)
by
skidrow
4 hours ago
|
0 comments
14
Probiotics Finder
(probioticfinder.org)
by
cubefox
2 hours ago
|
1 comments
58
Show HN: Run – a CLI universal code runner I built while learning Rust
(github.com)
by
esubaalew
7 hours ago
|
6 comments
65
How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs
(arxiv.org)
by
PaulHoule
8 hours ago
|
4 comments
< prev
1 / 10
more >