Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

996.icu, Chinese programmers against working overtime gathering on GitHub (github.com/996icu)

89 points

7 years ago

152.

Visual Studio Code repository is open again (github.com/microsoft)

87 points

6 years ago

153.

Flat-UI repository is available again (github.com/designmodo)

87 points

13 years ago

154.

Inception: DMA Attack Against Linux, Windows, and Mac (github.com/carmaa)

79 points

11 years ago

155.

Fastdom – a weapon in the war against jank (github.com/wilsonpage)

77 points

10 years ago

156.

Xitter Broke Nitter Again (github.com/zedeus)

76 points

3 years ago

157.

Kubesafe: Never run Kubernetes commands on the wrong cluster again (github.com/Telemaco019)

73 points

2 years ago

158.

Learn Lisp/Fennel Programming Against Neovim (github.com/humorless)

70 points

6 months ago

159.

DMCA notice against oh-my-fish (github.com/github)

53 points

11 years ago

160.

Show HN: Passpwn – check passwords in pass against haveibeenpwned (github.com/antonlindstrom)

44 points

8 years ago

161.

GitHub under DDoS attack right now (again...) (status.github.com)

42 points

12 years ago

162.

Agar.io Clone DMCA (github.com/github)

42 points

11 years ago

163.

Popcorn-app repository taken down again and main developer missing (github.com/popcorn-org)

41 points

12 years ago

164.

DDoS attack on GitHub has stopped? Status is green again. (status.github.com)

36 points

11 years ago

165.

Superfunctions: A universal solution against sync/async fragmentation in Python (github.com/pomponchik)

35 points

10 months ago

166.

Bluesky now checks against this array of slurs when creating a username (github.com/bluesky-social)

34 points

3 years ago

167.

HN Search updated again

34 points

12 years ago

168.

Again with the Modules (gist.github.com)

33 points

13 years ago

169.

An autonomous robot arm that you can play against (github.com/02alexander)

32 points

2 years ago

170.

Dstp: Run common networking tests against your site (github.com/ycd)

32 points

yagizdegirmenci

5 years ago

171.

Show HN: Notational `ls` - Never get lost in code again (hour long hack)

29 points

15 years ago

172.

CockroachDB has changed their license, again (github.com/cockroachdb)

27 points

a year ago

173.

Environment Variables: For and Against (gist.github.com)

25 points

7 years ago

174.

Show HN: Mdarena – Benchmark your Claude.md against your own PRs (github.com/HudsonGri)

22 points

2 months ago

175.

Piagios: A tool for matching and diffing source code directly against binaries (github.com/joxeankoret)

22 points

2 years ago

176.

_why's site updated again (cwales.github.com)

21 points

13 years ago

177.

Show HN: HappyMac – Make your Mac happy again (github.com/laffra)

20 points

8 years ago

178.

Consider adding warnings against using ZFS native encryption (github.com/openzfs)

18 points

2 years ago

179.

Show HN: Firewall for LLMs–Guard Against Prompt Injection, PII Leakage, Toxicity (automorphic.ai)

17 points

3 years ago

180.

Ask HN: Why are people so mean in the open source community? (about xz again)

15 points

2 years ago