News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
229
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com)
by
barthelomew
11 hours ago
|
20 comments
9
What .NET 10 GC Changes Mean for Developers
(roxeem.com)
by
roxeem
3 days ago
|
1 comments
216
A comparison of Ada and Rust, using solutions to the Advent of Code
(github.com)
by
andsoitis
14 hours ago
|
15 comments
132
Blog Feeds
(blogfeeds.net)
by
stevedsimkins
10 hours ago
|
21 comments
73
Newton: physics simulation engine built upon NVIDIA Warp
(github.com)
by
skilled
3 days ago
|
5 comments
54
AI-powered open-source code laundering
(github.com)
by
genkiuncle
6 hours ago
|
8 comments
29
Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL
(github.com)
by
TheWiggles
4 hours ago
|
2 comments
14
Machine Learnability as a Measure of Order in Aperiodic Sequences
(arxiv.org)
by
PaulHoule
3 days ago
|
0 comments
24
Mod. 5140 - IBM's First Laptop Computer
(richardsapperdesign.com)
by
jumpocelot
5 hours ago
|
6 comments
40
Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4
(arxiv.org)
by
bookofjoe
6 hours ago
|
1 comments
< prev
1 / 10
more >