News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
73
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com)
by
barthelomew
1 hour ago
|
8 comments
138
A comparison of Ada and Rust, using solutions to the Advent of Code
(github.com)
by
andsoitis
5 hours ago
|
13 comments
42
The UK Is Still Trying to Backdoor Encryption for Apple Users
(eff.org)
by
CharlesW
20 minutes ago
|
1 comments
87
Five years as a startup CTO: How, why, and was it worth it? (2024)
(distinctplace.com)
by
mooreds
3 days ago
|
6 comments
26
Knowledge Infusion Scaling Law for Pre-Training Large Language Models
(arxiv.org)
by
PaulHoule
3 hours ago
|
2 comments
17
Show HN: Run – a CLI universal code runner I built while learning Rust
(github.com)
by
esubaalew
1 hour ago
|
4 comments
9
Blog Feeds
(blogfeeds.net)
by
stevedsimkins
1 hour ago
|
5 comments
111
Thunderscan: A clever device transforms a printer into a scanner (2004)
(folklore.org)
by
dtgriscom
8 hours ago
|
15 comments
138
The Buchstabenmuseum Berlin is closing
(buchstabenmuseum.de)
by
t-vi
8 hours ago
|
12 comments
158
Earth was born dry until a cosmic collision made it a blue planet
(sciencedaily.com)
by
amichail
4 days ago
|
24 comments
< prev
1 / 10
more >