Search: github.com/20k | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

871.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

177 points

872.

2048 with only 64 bits of state

github.com/izabera

a year ago

173 points

873.

Atom editor still phones home prior to consent dialog

github.com/atom

7 years ago

164 points

874.

Writing A Job Runner (In Elixir) (Again) (10 years later)

github.com/notactuallytreyanastasio

a year ago

164 points

875.

TodoMVC App Written in Vanilla JavaScript

github.com/1Marc

4 years ago

152 points

876.

Getting to Bootstrap v4

github.com/twbs

10 years ago

148 points

877.

DuetDisplay and Unattributed Open-Source

github.com/deanm

12 years ago

139 points

878.

The new ASP.NET Core 2.0 packages can no longer be used on .NET Desktop

github.com/aspnet

9 years ago

124 points

879.

Microsoft rejects documentation PR because AI chatbots can't display tables

github.com/MicrosoftDocs

2 years ago

108 points

880.

Julia for Economists (2022)

github.com/cpfiffer

2 years ago

104 points

881.

How not to behave on GitHub issues

github.com/mishoo

9 years ago

97 points

882.

GitHub experiencing a large DDoS attack

status.github.com

13 years ago

90 points

883.

Source SDK 2013

github.com/ValveSoftware

13 years ago

84 points

884.

RaptorJIT + Studio: Analyzing the evolving C heap of a JIT compiler (2017)

github.com/lukego

7 years ago

BobbyVsTheDevil

84 points

885.

Proposal for an App History API

github.com/WICG

5 years ago

67 points

886.

“Discuss latest changes to master before releasing”

github.com/jashkenas

11 years ago

59 points

887.

Startup School notes on GitHub

github.com/charlesfeng

13 years ago

58 points

888.

T * sin (t) ≈ Christmas tree (2013)

github.com/anvaka

5 years ago

55 points

889.

Quicklisp: On Beyond Beta, Talk at European Lisp Symposium 2015

github.com/quicklisp

11 years ago

43 points

890.

GitHub was down

status.github.com

13 years ago

39 points

891.

World Cup 2022 CLI Dashboard

github.com/cedricblondeau

4 years ago

35 points

892.

C++Now 2014 Presentations

github.com/boostcon

12 years ago

35 points

893.

Show HN: World Cup 2022 CLI Dashboard – Watch matches in your terminal

github.com/cedricblondeau

4 years ago

30 points

894.

(Re//Verse 2026) Taxonomy and Deobfuscation of a Real World Binary Obfuscator [pdf]

github.com/AnalogCyberNuke

14 days ago

27 points

895.

VSCode stopped supporting an old glibc version and near EOL users are in trouble

github.com/microsoft

2 years ago

23 points

896.

OpenAI claiming gold medal standard at IMO 2025

github.com/aw31

a year ago

21 points

897.

Transcript of a Donald Knuth interview (2006)

github.com/kragen

11 years ago

21 points

898.

CVE-2016-6187: Yes, I know. It's 8 years ago

github.com/Milo-D

2 years ago

20 points

899.

cURL stopped HackerOne bug bounty program due to excessive slop reports

github.com/curl

5 months ago

17 points

900.

Compact Object Headers in Java 24

github.com/openjdk

2 years ago

14 points