Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
211.
▲
Show HN: CleanAF – One-click Desktop cleaner for Windows
(github.com/TheZemmouri)
2 points
Zemmouri
4 months ago
discuss
212.
▲
Show HN: Spine – Verifiable audit logs with BLAKE3 and Ed25519
(github.com/EulBite)
2 points
mattiaaleo
4 months ago
discuss
213.
▲
Astra v1.0 – Formally verified smart contracts with six mathematical axioms
2 points
kroesser4
5 months ago
discuss
214.
▲
Show HN: Glogos: a consensus-free attestation proposal
2 points
vnlemanhthanh
6 months ago
discuss
215.
▲
Show HN: Quirky – server monitoring for real people
(github.com/quirky-dev)
2 points
remy_v
6 months ago
discuss
216.
▲
Show HN: OTS-SDK – a tiny OpenTimestamps API that never keeps your data
(github.com/Gridsfeed)
2 points
RHS191911
7 months ago
discuss
217.
▲
Show HN: GroupMQ – A FIFO job queue for node and Redis
(github.com/Openpanel-dev)
2 points
lindesvard
8 months ago
discuss
218.
▲
Reverse engineered 90 legacy builder tools – created a YARA corpus
2 points
GokbakarE
10 months ago
discuss
219.
▲
Show HN: Tqu – A Minimal CLI for Queue-Based Task Tracking
(github.com/primaprashant)
2 points
primaprashant
a year ago
discuss
220.
▲
Show HN: Aesthetic Computer – Runtime and social network for creative computing
(aesthetic.computer)
2 points
aesthetic_cpu
2 years ago
discuss
221.
▲
Show HN: Exploring Apple Health with ClickHouse, Vega-Altair, Llama 3, Quarto
(github.com/atlaslib)
2 points
tosh
2 years ago
discuss
222.
▲
Show HN: Pream-team A TUI app that list PRs on multiple GH repos from your team
(github.com/NikolaDucak)
2 points
legjitter
2 years ago
discuss
223.
▲
Ask HN: "Time travel" into a SQLite database using the WAL files?
2 points
xrd
2 years ago
discuss
224.
▲
Show HN: Translate Subtitles Using GPT
(subsgpt.com)
2 points
afiodorov
2 years ago
discuss
225.
▲
Thaw: Python tool for CI/updating project dependencies
2 points
_kateapault_
6 years ago
discuss
226.
▲
Show HN: Prima Veritas – Deterministic Analytics Engine for Reproducible ML
(github.com/bryanziehl)
1 point
MLoffshore
6 months ago
4 comments
227.
▲
Show HN: VectorGuard-Nano – Free secure messaging for AI agents
(github.com/Active-IQ)
1 point
supere989
4 months ago
2 comments
228.
▲
Reimagining the imaginary unit I – new proof (PGP signed)
1 point
purrplexia
a year ago
2 comments
229.
▲
Show HN: Open-source scanner finds 97% of AI agent code non-compliant EU AI Act
1 point
airblackbox
3 months ago
1 comment
230.
▲
Show HN: OpenCode-finance – prompt a ticker, get a structured PDF analyst report
(github.com/bilalbayram)
1 point
bilalbayram
4 months ago
1 comment
231.
▲
A fast developer tools website
1 point
darth-cassan
4 months ago
1 comment
232.
▲
Show HN: Protoc-gen-dal – Generate data access converters from protobuf
(github.com/panyam)
1 point
flashgordon
6 months ago
1 comment
233.
▲
Show HN: UUIDv47Sharp
(github.com/taiseiue)
1 point
taiseiue
8 months ago
1 comment
234.
▲
Show HN: CleanCV – I was tired of ugly LaTeX CV templates, so I built my own
(github.com/giladturok)
1 point
gil2rok
10 months ago
1 comment
235.
▲
Show HN: Media Sontent Search
(github.com/mdolmen)
1 point
strikebhack
2 years ago
1 comment
236.
▲
Brute-force a git commit hash
(github.com/bradfitz)
1 point
therealmarv
12 years ago
discuss
237.
▲
Show HN: Open-source AI SaaS to turn long videos into viral shorts
(github.com/mutonby)
1 point
mutonbini
3 months ago
discuss
238.
▲
Show HN: TracePact – Catch tool-call regressions in AI agents before prod
(github.com/dcdeve)
1 point
soydanicg
3 months ago
discuss
239.
▲
Show HN: Residuum | Agentic AI with continuous context
(github.com/Grizzly-Endeavors)
1 point
BearFlinn
3 months ago
discuss
240.
▲
Show HN: Modeled healthcare de-identification as longitudinal RL control problem
(github.com/azithteja91)
1 point
vkatganti
3 months ago
discuss
More