HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
901.
▲
Compile-Time Checked Typed Actors for Scala and Akka
github.com/knutwalker
discuss
11 years ago
kushti
6 points
902.
▲
Show HN: Check what is hogging your disk zpace
github.com/AzisK
4 comments
8 months ago
azisk1
5 points
903.
▲
I did my wedding invitation website in Angular2 and TypeScript, check it out
github.com/amcdnl
2 comments
10 years ago
amcdnl
5 points
904.
▲
Show HN: Scope-structured arena memory for C, O(1) cleanup, no GC/borrow checker
github.com/hollow-arena
1 comment
2 months ago
theperezident
5 points
905.
▲
I built a tool to check if Trump AI video comments were bots
github.com/nerder
1 comment
9 months ago
nerder92
5 points
906.
▲
Show HN: Standard-HTML – Check if your HTML is compliant with W3C standards
github.com/abereghici
1 comment
3 years ago
abereghici
5 points
907.
▲
Show HN: Girl: Check your GitHub READMEs for broken links
github.com/bamos
discuss
11 years ago
bdamos
5 points
908.
▲
LinEnum – Scripted Local Linux Enumeration and Privilege Escalation Checks
github.com/rebootuser
discuss
12 years ago
jdash
5 points
909.
▲
Show HN: Fact check, summarize, explain any article or webpage on local CPU
github.com/kouhxp
discuss
18 days ago
mrkn1
5 points
910.
▲
Show HN: YAML Validator –A simple Docker-based YAML checker
discuss
7 months ago
pooyanazad
5 points
911.
▲
Automated Workday check in/check out and Microsoft Teams messages monitoring
discuss
10 months ago
quacktheboss
5 points
912.
▲
Opt-In Strict Memory Safety Checking in Swift 6.2
github.com/swiftlang
discuss
10 months ago
todsacerdoti
5 points
913.
▲
Why check if something is odd simply, when you can do it with AI
github.com/rhettlunn
discuss
2 years ago
amrrs
5 points
914.
▲
BorrowScript: TypeScript with a Borrow Checker
github.com/alshdavid
discuss
5 years ago
pitaj
5 points
915.
▲
P: A language for asynchronous event-driven programming and model checking
github.com/p-org
discuss
6 years ago
fanf2
5 points
916.
▲
Show HN: Toggleable type/shape checking for numpy, pytorch, and TensorFlow
github.com/brendanxwhitaker
discuss
6 years ago
bxw
5 points
917.
▲
Show HN: Brök – a command-line tool to check for broken links in text documents
github.com/smallhadroncollider
discuss
7 years ago
shcollider
5 points
918.
▲
A system for fast dynamic type and bounds checking in unsafe languages like C
github.com/stephenrkell
discuss
8 years ago
creolabs
5 points
919.
▲
Show HN: Revos – architecture checks for AI-generated code
github.com/mattykry
6 comments
a month ago
Mattykry
4 points
920.
▲
I built a tool that forces 5 AI to debate and cross-check facts before answering
github.com/KeaBase
6 comments
5 months ago
Stanislaw_
4 points
921.
▲
Jinx: Enchanted Spell Checker (Package for Emacs)
github.com/minad
4 comments
3 years ago
ashton314
4 points
922.
▲
Show HN: Zugspaet – Check if your DB train was late in the past
github.com/AlexW00
2 comments
a year ago
surrTurr
4 points
923.
▲
Show HN: Python app to check you in to your Southwest flight
github.com/pyro2927
2 comments
7 years ago
mikece
4 points
924.
▲
Sparrow compliance check for Linux configs
github.com/melezhik
1 comment
a month ago
melezhik
4 points
925.
▲
Show HN: Git hook for Rails to rollback/migrate database on branch checkout
github.com/scouttyg
1 comment
14 years ago
eggbrain
4 points
926.
▲
Show HN: Git command for creating snapshot commits on a not checked-out branch
github.com/meribold
1 comment
3 months ago
meribold
4 points
927.
▲
Show HN: Agentcheck – Check what an AI agent can access before you run it
github.com/Pringled
1 comment
4 months ago
Bibabomas
4 points
928.
▲
Show HN: SkyClaw -Self-healing LLM agent runtime in Rust with task checkpointing
github.com/nagisanzenin
1 comment
4 months ago
nagi_builds
4 points
929.
▲
Show HN: Ruby-TI – Static Type Checker for Mruby (Version 1.0)
github.com/engneer-hamachan
1 comment
6 months ago
hamachang
4 points
930.
▲
Show HN: I made a code-aware spell checker for Zed
github.com/blopker
1 comment
a year ago
blopker
4 points
More