HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
751.
▲
“Oculus removed the headset check from the DRM in Oculus Runtime 1.5”
github.com/LibreVR
153 comments
10 years ago
T-A
272 points
752.
▲
How to check if two SQL tables are the same
github.com/remysucre
120 comments
3 years ago
remywang
272 points
753.
▲
Say_what: Using speech-to-text to fully check out during conference calls
github.com/joshnewlan
75 comments
10 years ago
pavel_lishin
235 points
754.
▲
Playing Sudoku in TypeScript while the type checker highlights mistakes
github.com/gruhn
90 comments
2 years ago
mjcurl
229 points
755.
▲
Pyright: Static type checker for Python
github.com/Microsoft
87 comments
7 years ago
JacobHenner
214 points
756.
▲
Todo-or-die – Provides procedural macros that act as checked reminders
github.com/davidpdrsn
73 comments
5 years ago
pabs3
214 points
757.
▲
A plain-text file format for todos and check lists
github.com/jotaen
112 comments
4 years ago
quyleanh
207 points
758.
▲
Fast website link checker in Go
github.com/raviqqe
49 comments
8 years ago
raviqqe42
190 points
759.
▲
ZA̡͊͠͝LGΌ causes "Invalid MD5 checksum on messages"
github.com/aws
68 comments
5 years ago
paulddraper
178 points
760.
▲
Checkout github pull requests locally
gist.github.com
12 comments
13 years ago
DanielRibeiro
178 points
761.
▲
Cap'n'Proto remote vuln: pointer overflow check optimized away by compiler
github.com/sandstorm-io
175 comments
9 years ago
fulafel
157 points
762.
▲
Pyright: Static Type Checker for Python
github.com/microsoft
57 comments
3 years ago
pen2l
152 points
763.
▲
EPUBCheck – The official conformance checker for ePub publications
github.com/w3c
25 comments
2 years ago
auraham
146 points
764.
▲
Jet.jl: A WIP compile time type checker for Julia
github.com/aviatesk
19 comments
5 years ago
amkkma
146 points
765.
▲
Unchecked Java: Say goodbye to checked exceptions
github.com/rogerkeays
291 comments
3 years ago
rogerkeays
143 points
766.
▲
Rust--: Rust without the borrow checker
github.com/buyukakyuz
260 comments
6 months ago
ravenical
139 points
767.
▲
Stateright: A model checker for implementing distributed systems
github.com/stateright
24 comments
5 years ago
yagizdegirmenci
133 points
768.
▲
Proposal: A built-in Go error check function, try
github.com/golang
118 comments
7 years ago
stablemap
131 points
769.
▲
GitHub Actions checkspelling community workflow GitHub_TOKEN leakage via symlink
github.com/justinsteven
35 comments
5 years ago
pentestercrab
129 points
770.
▲
Google Kubernetes clusters config checker tool
github.com/google
33 comments
4 years ago
mikowhy
127 points
771.
▲
Rusty.hpp: A Borrow Checker and Memory Ownership System for C++20
github.com/Jaysmito101
167 comments
2 years ago
stanulilic
124 points
772.
▲
Beartype: Fast runtime type checking in Python
github.com/beartype
60 comments
5 years ago
azhenley
117 points
773.
▲
Show HN: Ruby static type checker – proof of concept
github.com/stereobooster
24 comments
9 years ago
stereobooster
115 points
774.
▲
Show HN: Ezno, a TypeScript checker written in Rust, is now open source
github.com/kaleidawave
24 comments
3 years ago
kaleidawave
113 points
775.
▲
List of URLs checked by Twitter for its app targeting
gist.github.com
56 comments
12 years ago
martinml
112 points
776.
▲
Protected branches and required status checks
github.com/blog
47 comments
11 years ago
sanjeetsuhag
109 points
777.
▲
Go/types, the Go type checker: a tutorial
github.com/golang
3 comments
11 years ago
pella
107 points
778.
▲
Launch HN: Berbix (YC S18) – Instant ID checks to fight fraud and stay compliant
51 comments
7 years ago
ericlevine
106 points
779.
▲
A reminder that you should double-check the licenses for software you use
github.com/katharostech
95 comments
5 years ago
serverholic
104 points
780.
▲
Golang Security Checker
github.com/securego
17 comments
5 years ago
ngaut
104 points
More