Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Show HN: StripeOnChain – Verify Stripe's stablecoin payments against blockchain (github.com/geminimir)

3 points

3 months ago

302.

Show HN: Protection Against Zero-Day Cyber Attacks

3 points

3 months ago

303.

The war against Homers continues (github.com/nohomersclub)

3 points

3 months ago

304.

The Conspiracy Against High Temperature LLM Sampling (gist.github.com)

3 points

4 months ago

305.

Benchmarking Postgres for FTS with TOASTed JSONBs and GINs Against Elasticsearch (github.com/inevolin)

3 points

5 months ago

306.

Someone on GitHub filed a bug report against reality, says P=NP cause causality (github.com/tasteburger)

3 points

10 months ago

307.

AdNauseam: Fight back against advertising surveillance (github.com/dhowe)

3 points

a year ago

308.

Building Tempest Like It's 1980 Again (github.com/mwenge)

3 points

2 years ago

309.

Every practical and proposed defense against prompt injection (github.com/tldrsec)

3 points

2 years ago

310.

Wacat – Tests your web application against cat chaos (github.com/mikesmallhelp)

3 points

2 years ago

311.

Show HN: Come&try Decision Intelligence version “Agar“ environment, Gobigger (github.com/opendilab)

3 points

4 years ago

312.

Node-safe: Make using Node.js safe again with Deno-like permissions (github.com/berstend)

3 points

4 years ago

313.

Ntest is a cross-platform CLI app that runs multiple tests against any address (github.com/bschaatsbergen)

3 points

5 years ago

314.

Rage against web frameworks - posix shell static site generator (github.com/kisom)

3 points

15 years ago

315.

Husky: When will version 5 be MIT license again? (github.com/typicode)

3 points

5 years ago

316.

Πfs: Never worry about data again (github.com/philipl)

3 points

6 years ago

317.

Sqreen for Go now protects against SQLi, SHi, LFI and SSRF (github.com/sqreen)

3 points

6 years ago

318.

Show HN: Open-source project to fight against sales stagnation in company (github.com/catin-black)

3 points

6 years ago

319.

Torche: A tool to check local files against a torrent (node.js) (github.com/dents)

3 points

6 years ago

320.

Show HN: Cats – Automatically generate and run API tests against OpenAPI APIs (github.com/Endava)

3 points

6 years ago

321.

Mongo Playground – Make MongoDB query designing great again (github.com/Perceptive)

3 points

7 years ago

322.

Show HN: Crypto Protect – Be a bit more protected against crypto viruses (github.com/herber)

3 points

9 years ago

323.

Join GitHub in support of the open internet, again (github.com/blog)

3 points

9 years ago

324.

Defend against the new data URI link attack (github.com/elsehow)

3 points

9 years ago

325.

Make Android Debugging Great Again (github.com/amitshekhariitbhu)

3 points

10 years ago

326.

Show HN: Npm-rescue – protection against destructive upgrades and LeftPad events (github.com/lifebeyondfife)

3 points

10 years ago

327.

Vim plugin that protects you against unicode trolls (github.com/vim-utils)

3 points

11 years ago

328.

A PAM module to test SSH/SUDO passwords against HaveIBeenPwnd (github.com/skx)

2 points

8 years ago

329.

Use Claude Max subscription with OpenClaw again (github.com/zeulewan)

2 points

2 months ago

330.

I Pitted Gemini CLI Against Claude Code to Create Flappy Bird (github.com/kstonekuan)

2 points

a year ago