News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
158
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com)
by
barthelomew
4 hours ago
|
17 comments
179
A comparison of Ada and Rust, using solutions to the Advent of Code
(github.com)
by
andsoitis
8 hours ago
|
14 comments
22
Newton: physics simulation engine built upon NVIDIA Warp
(github.com)
by
skilled
3 days ago
|
2 comments
64
Blog Feeds
(blogfeeds.net)
by
stevedsimkins
4 hours ago
|
18 comments
5
XiangShan Vector Floating-Point Unit Design
(docs.xiangshan.cc)
by
camel-cdr
1 hour ago
|
0 comments
47
Show HN: Run – a CLI universal code runner I built while learning Rust
(github.com)
by
esubaalew
4 hours ago
|
4 comments
58
How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs
(arxiv.org)
by
PaulHoule
6 hours ago
|
4 comments
82
$912 energy independence without red tape
(sunboxlabs.com)
by
nikodunk
2 hours ago
|
23 comments
149
Self-hosting email like it's 1984
(maxadamski.com)
by
xmx98
8 hours ago
|
24 comments
4
How do drivers react to partisan bumper stickers?
(frontiersin.org)
by
PaulHoule
1 hour ago
|
0 comments
< prev
1 / 10
more >