Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
giltho | Dark Hacker News
user:
giltho
created:
September 20, 2022
karma:
20
submissions
comments
1.
Teaching AI to Reason About Software
(soteria-tools.com)
3 points
by
giltho
1 day ago
|
0 comments
2.
Write It in C [video]
(youtube.com)
1 points
by
giltho
14 days ago
|
0 comments
3.
Soteria: A New Generation of Static Analysis for Rust
(soteria-tools.com)
7 points
by
giltho
23 days ago
|
0 comments