News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
193
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com)
by
barthelomew
7 hours ago
|
20 comments
19
Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4
(arxiv.org)
by
bookofjoe
2 hours ago
|
1 comments
204
A comparison of Ada and Rust, using solutions to the Advent of Code
(github.com)
by
andsoitis
11 hours ago
|
15 comments
53
Newton: physics simulation engine built upon NVIDIA Warp
(github.com)
by
skilled
3 days ago
|
5 comments
98
Blog Feeds
(blogfeeds.net)
by
stevedsimkins
7 hours ago
|
19 comments
28
XiangShan Vector Floating-Point Unit Design
(docs.xiangshan.cc)
by
camel-cdr
4 hours ago
|
1 comments
47
Microsoft 365 Copilot is a commercial failure
(perspectives.plus)
by
jukkan
6 hours ago
|
12 comments
7
Mod. 5140 - IBM's First Laptop Computer
(richardsapperdesign.com)
by
jumpocelot
1 hour ago
|
0 comments
3
One Battle After Another: PTA and the Death of Revolutionary Cinema
(letterboxd.com)
by
Rant423
2 days ago
|
0 comments
31
Matrix Core Programming on AMD GPUs
(salykova.github.io)
by
skidrow
4 hours ago
|
0 comments
< prev
1 / 10
more >