Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Show HN: Panoptisch – A recursive dependency scanner for Python projects (github.com/R9295)
45 points
r9295
3 years ago
9 comments
2.
Show HN: Autarkie – Instant grammar fuzzing using Rust macros (github.com/R9295)
41 points
r9295
a year ago
4 comments
3.
Panoptisch: A recursive dependency scanner for Python projects (github.com/R9295)
5 points
bryanrasmussen
3 years ago
discuss
4.
Show HN: Easy Manual auditing of Python (Poetry) package updates (github.com/R9295)
1 point
r9295
3 years ago
discuss
5.
Show HN: Python but with Module Import Policies (github.com/R9295)
1 point
r9295
3 years ago
discuss
6.
Aura – Python source code auditing and static analysis on a large scale (2022) (github.com/SourceCode-AI)
148 points
r9295
3 years ago
13 comments
7.
Dafny is a verification-aware programming language (github.com/dafny-lang)
107 points
r9295
2 years ago
35 comments
8.
Use Cheaper Models with Claude (gist.github.com)
2 points
ashish0112
a month ago
5 comments
9.
Joyent Node.js: Reconciliation with io.js (github.com/joyent)
3 points
fcanela
11 years ago
1 comment
10.
Zed Multibuffers not planned for VSCode (github.com/microsoft)
2 points
behnamoh
2 years ago
discuss