Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
961.
Show HN: u there? Let Claude Code check if you're at your computer (github.com/odfalik)
3 points
odedfalik
2 months ago
discuss
962.
CCheckpoints: A checkpoint system for Claude Code CLI sessions (github.com/p32929)
3 points
alexdevson42
2 months ago
discuss
963.
Show HN: A TUI for checking and comparing cloud and AI pricing (github.com/OverloadBlitz)
3 points
cover3
2 months ago
discuss
964.
Show HN: Namera – Domain, trademark, and social handle checks from one CLI (github.com/siddmax)
3 points
Tanzimsaadi
2 months ago
discuss
965.
Show HN: license checker for npm projects (github.com/Chrilleweb)
3 points
chrillemn
3 months ago
discuss
966.
Show HN: A Rust compiler with ownership checking, written in PHP (github.com/mrconter1)
3 points
mrconter11
4 months ago
discuss
967.
Simple CUDA-checkpoint wrapper to freeze and restore GPU processes quickly (github.com/shayonj)
3 points
shayonj
4 months ago
discuss
968.
Show HN: Diesel-guard v0.5.0 – Lint Diesel/SQLx Postgres migrations (24 checks) (github.com/ayarotsky)
3 points
ayarotsky
5 months ago
discuss
969.
I made a tiny macOS CLI to instantly check and remove quarantine flags (OSS) (github.com/jurek-zsl)
3 points
jurekdev
7 months ago
discuss
970.
Tuckr – Stow alternative with symlink checking (github.com/RaphGL)
3 points
todsacerdoti
8 months ago
discuss
971.
Show HN: Kexa – lightweight cross-cloud rules engine for infra checks (kexa.io)
3 points
adriencloud
8 months ago
discuss
972.
Pompelmi – RFI-safe uploads for Node.js with ZIP inspection, MIME/size checks (github.com/pompelmi)
3 points
zdw
10 months ago
discuss
973.
Pure: A static analysis file format checker for Zip files (github.com/ronomon)
3 points
Bogdanp
10 months ago
discuss
974.
The truth about original Oberon compiler performance: A reality check (github.com/rochus-keller)
3 points
Rochus
a year ago
discuss
975.
Pattern matching and exhaustiveness checking algorithms implemented in Rust (github.com/yorickpeterse)
3 points
fanf2
a year ago
discuss
976.
Git Based Undo/Checkpoint in Claude Code (gist.github.com)
3 points
soheilH
a year ago
discuss
977.
Pyrefly – A fast type checker and IDE for Python (github.com/facebook)
3 points
microflash
a year ago
discuss
978.
Pyrefly – A fast type checker and IDE for Python (github.com/facebook)
3 points
gjvc
a year ago
discuss
979.
Show HN: SimilarCLI – CLI for checking website traffic (github.com/matisiekpl)
3 points
matisiekpl
a year ago
discuss
980.
Show HN: Check Out Our New Open-Source Project: GroupTrack (github.com/canopas)
3 points
snehhh_shah
2 years ago
discuss
981.
Jet.jl: static type checker with type inference for Julia (github.com/aviatesk)
3 points
fanf2
2 years ago
discuss
982.
Git helpers to checkout collaborator branches from the main or forked repos (gist.github.com)
3 points
Olshansky
2 years ago
discuss
983.
Show HN: AI spelling and grammar checker for docs (github.com/AgentOps-AI)
3 points
Areibman
2 years ago
discuss
984.
Type witness in Rust examples – type check all the things (github.com/tinybeachthor)
3 points
tinybeachthor
2 years ago
discuss
985.
Beartype: The bare-metal type checker (github.com/beartype)
3 points
tehnub
2 years ago
discuss
986.
Crik – checkpoint and restore in Kubernetes (CRIU) (github.com/qawolf)
3 points
evenh
2 years ago
discuss
987.
A collection of relevant RSS sources with an algorithm to check connectivity (github.com/Martinviv)
3 points
StreamSphere
2 years ago
discuss
988.
Shac: A framework for writing and running static analysis checks (github.com/shac-project)
3 points
dannyrosen
3 years ago
discuss
989.
Porcupine is a fast linearizability checker for distributed systems (github.com/anishathalye)
3 points
gjvc
3 years ago
discuss
990.
Checking Causal Consistency the Easy Way (github.com/endpointservices)
3 points
tlarkworthy
3 years ago
discuss
More