Search: github.com/ZheC | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

ZA̡͊͠͝LGΌ causes "Invalid MD5 checksum on messages" (github.com/aws)

178 points

5 years ago

752.

Checkout github pull requests locally (gist.github.com)

178 points

13 years ago

753.

Cap'n'Proto remote vuln: pointer overflow check optimized away by compiler (github.com/sandstorm-io)

157 points

9 years ago

754.

Pyright: Static Type Checker for Python (github.com/microsoft)

152 points

3 years ago

755.

EPUBCheck – The official conformance checker for ePub publications (github.com/w3c)

146 points

2 years ago

756.

Jet.jl: A WIP compile time type checker for Julia (github.com/aviatesk)

146 points

5 years ago

757.

Unchecked Java: Say goodbye to checked exceptions (github.com/rogerkeays)

143 points

3 years ago

758.

Rust--: Rust without the borrow checker (github.com/buyukakyuz)

139 points

5 months ago

759.

Stateright: A model checker for implementing distributed systems (github.com/stateright)

133 points

yagizdegirmenci

5 years ago

760.

Proposal: A built-in Go error check function, try (github.com/golang)

131 points

7 years ago

761.

GitHub Actions checkspelling community workflow GitHub_TOKEN leakage via symlink (github.com/justinsteven)

129 points

5 years ago

762.

Google Kubernetes clusters config checker tool (github.com/google)

127 points

4 years ago

763.

Rusty.hpp: A Borrow Checker and Memory Ownership System for C++20 (github.com/Jaysmito101)

124 points

2 years ago

764.

Beartype: Fast runtime type checking in Python (github.com/beartype)

117 points

5 years ago

765.

Show HN: Ruby static type checker – proof of concept (github.com/stereobooster)

115 points

9 years ago

766.

Show HN: Ezno, a TypeScript checker written in Rust, is now open source (github.com/kaleidawave)

113 points

3 years ago

767.

List of URLs checked by Twitter for its app targeting (gist.github.com)

112 points

12 years ago

768.

Protected branches and required status checks (github.com/blog)

109 points

11 years ago

769.

Go/types, the Go type checker: a tutorial (github.com/golang)

107 points

10 years ago

770.

Launch HN: Berbix (YC S18) – Instant ID checks to fight fraud and stay compliant

106 points

7 years ago

771.

A reminder that you should double-check the licenses for software you use (github.com/katharostech)

104 points

5 years ago

772.

Golang Security Checker (github.com/securego)

104 points

5 years ago

773.

Equal Access: Automated accessibility checker for web projects (github.com/IBMa)

101 points

iovrthoughtthis

6 years ago

774.

Show HN: Kikked – check if any of your NPM repos is trademarked (github.com/parro-it)

98 points

10 years ago

775.

Pure: A static analysis file format checker (github.com/ronomon)

98 points

4 years ago

776.

Jezen/is-thirteen: Check if a number is equal to 13 (github.com/jezen)

97 points

10 years ago

777.

Eqwalizer: A Type-Checker for Erlang (github.com/WhatsApp)

86 points

4 years ago

778.

C# 7 Proposal: Nullable reference types and nullability checking (github.com/dotnet)

84 points

11 years ago

779.

Show HN: An AI program to check videos for NSFW content (github.com/dynamite-ready)

83 points

4 years ago

780.

Elle: A transactional consistency checker for black-box databases (github.com/jepsen-io)

82 points

5 years ago