News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
135
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com)
by
barthelomew
3 hours ago
|
16 comments
168
A comparison of Ada and Rust, using solutions to the Advent of Code
(github.com)
by
andsoitis
7 hours ago
|
14 comments
50
Blog Feeds
(blogfeeds.net)
by
stevedsimkins
3 hours ago
|
16 comments
46
$912 energy independence without red tape
(sunboxlabs.com)
by
nikodunk
1 hour ago
|
11 comments
43
Show HN: Run – a CLI universal code runner I built while learning Rust
(github.com)
by
esubaalew
3 hours ago
|
4 comments
48
How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs
(arxiv.org)
by
PaulHoule
5 hours ago
|
3 comments
34
New California law restricts HOA fines to $100 per violation
(calmatters.org)
by
JumpCrisscross
1 hour ago
|
3 comments
33
Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces
(github.com)
by
zdw
3 days ago
|
2 comments
167
The UK is still trying to backdoor encryption for Apple users
(eff.org)
by
CharlesW
2 hours ago
|
9 comments
181
Earth was born dry until a cosmic collision made it a blue planet
(sciencedaily.com)
by
amichail
4 days ago
|
26 comments
< prev
1 / 10
more >