News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
125
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com)
by
barthelomew
3 hours ago
|
16 comments
160
A comparison of Ada and Rust, using solutions to the Advent of Code
(github.com)
by
andsoitis
6 hours ago
|
14 comments
33
Blog Feeds
(blogfeeds.net)
by
stevedsimkins
2 hours ago
|
11 comments
38
Show HN: Run – a CLI universal code runner I built while learning Rust
(github.com)
by
esubaalew
3 hours ago
|
4 comments
41
How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs
(arxiv.org)
by
PaulHoule
4 hours ago
|
3 comments
23
Solaris 2.1 for x86 (2017)
(os2museum.com)
by
naves
3 hours ago
|
0 comments
8
$912 energy independence without red tape
(sunboxlabs.com)
by
nikodunk
26 minutes ago
|
1 comments
12
Pianists Can Shape Piano Timbre Through Touch
(neuropiano.org)
by
giuliomagnifico
3 days ago
|
4 comments
125
Self-hosting email like it's 1984
(maxadamski.com)
by
xmx98
6 hours ago
|
21 comments
144
The UK is still trying to backdoor encryption for Apple users
(eff.org)
by
CharlesW
1 hour ago
|
8 comments
< prev
1 / 10
more >