Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

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

15 points

2 years ago

182.

Ask HN: Why did K8s win against Docker Swarm?

15 points

2 years ago

183.

Fighting back against node's over-modularity (github.com/stephenplusplus)

14 points

11 years ago

184.

Trie matches 10,000 strings against 9,720 patterns in 0.6s, in JavaScript (github.com/rbranson)

14 points

16 years ago

185.

Don't be filing bugs in your code against me (github.com/douglascrockford)

12 points

11 years ago

186.

Docker names generator guards against ever returning “boring_wozniak” (github.com/docker)

11 points

11 years ago

187.

KdExploitMe: A kernel driver to practice writing exploits against (github.com/clymb3r)

11 points

12 years ago

188.

Show HN: Csvlint.go, command line tool for validating CSV files against RFC 4180 (github.com/Clever)

10 points

12 years ago

189.

Monit issues DMCA takedown against Mike Perham's open source Inspeqtor project (github.com/github)

10 points

12 years ago

190.

OpalRB 0.6 successfully runs all specs against MRI 1.8-2.0, JRuby and Rubinius (github.com/opal)

10 points

12 years ago

191.

F# community rally against Social Justice code of conduct (github.com/Microsoft)

10 points

10 years ago

192.

Cards Against Cryptography (github.com/CardsAgainstCryptography)

10 points

8 years ago

193.

Safeguard your device(s) against pesky ads, trackers, and malware (github.com/badmojr)

10 points

4 years ago

194.

Potential-disco – Trying to emulate the NES again in Common Lisp (github.com/samanthadoran)

10 points

9 years ago

195.

Robotic monopoly player competitive against good human players (github.com/giannitedesco)

9 points

13 years ago

196.

Recursive grep written in Go benched against a C++ and Rust variant (github.com/bep)

9 points

a month ago

197.

GitHub outage again, even basic pages give HTTP 500 (github.com/github)

9 points

3 years ago

198.

Bambulab against reverse engineering (OrcaSlicer-bambulab plugin) (github.com/jarczakpawel)

9 points

a month ago

199.

Show HN: WordBattle – Daily word game where AI agents compete against humans

9 points

2 months ago

200.

Show HN: iOS Library to Code Against Unified APIs (github.com/CloudRail)

9 points

9 years ago

201.

Are Prometheus and Thanos developers against fair competition?

8 points

6 years ago

202.

Ask HN: Has GPL ever been successfully enforced against a handset manufacturer?

8 points

4 years ago

203.

P4P: A Proposal Against Parentheses in Racket (Scheme) (shriram.github.com)

8 points

16 years ago

204.

Chef-sugar stands its grounds against ICE contract (github.com/igolman)

7 points

7 years ago

205.

Ask HN: How can employees protect themselves against expiring equity?

7 points

3 years ago

206.

Eg: Never forget a command again--now with Color (github.com/srsudar)

7 points

11 years ago

207.

I turned my AI project into Bible software after getting born-again (github.com/semiosis)

7 points

2 years ago

208.

The RIAA 'case' against YouTube-dl is based on test code that downloads 10 kB (gist.github.com)

7 points

6 years ago

209.

Spanish Government Takedown Request Against Tsunami Democratic (github.com/github)

7 points

7 years ago

210.

Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model (github.com/SpecStudio-net)

7 points

3 days ago