Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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