Search: github.com/agda | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Spanish Government Takedown Request Against Tsunami Democratic

github.com/github

7 years ago

7 points

212.

Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model

github.com/SpecStudio-net

21 days ago

7 points

213.

GitHub is down again

status.github.com

14 years ago

7 points

214.

Show HN: Run SQL Queries Against JSON, CSV, Excel, Parquet, and More

github.com/multiprocessio

5 years ago

7 points

215.

Ntest is a cross-platform CLI app that runs multiple tests against any address

github.com/bschaatsbergen

5 years ago

7 points

216.

Show HN: Fast Video Obfuscation Against Machines

github.com/dgcrouse

11 years ago

6 points

217.

Claude Code with Bedrock broken again

github.com/anthropics

2 months ago

6 points

218.

Show HN: Disavow Generator – Open-source tool to defend against negative SEO

github.com/BansheeTech

5 months ago

6 points

219.

Coronavirus diary: Ethically sourcing data for the fight against COVID19

github.com/joshua-s

6 years ago

6 points

220.

Docker are requiring logins to download their binaries again

github.com/docker

8 years ago

6 points

221.

GitHub reverses DMCA against oh-my-fish

github.com/github

10 years ago

6 points

222.

Show HN: UiForm – Never write a parser again, make any file LLM-ready

a year ago

6 points

223.

Supply-chain attack against Russian/Belarusian users by node-ipc package

github.com/vuejs

4 years ago

6 points

224.

Show HN: AudioContext Scrambler – Protection against Web Audio API fingerpriting

github.com/Sayrus

6 years ago

6 points

225.

Show HN: Test Go code against elastic search, postgres and others with docker

github.com/ory-am

10 years ago

6 points

226.

Trump.css (Lets Make Padding and Margin Great Again)

github.com/rakibtg

10 years ago

5 points

227.

Show HN: I got a 10 year old project of mine working again in 2023

github.com/dayvonjersen

3 years ago

5 points

228.

The case against Almost Always auto in C++

gist.github.com

10 months ago

5 points

229.

Watch six different LLMs play Texas Hold'em against each other

github.com/sgoedecke

2 years ago

5 points

230.

Plexiglass: A toolbox for testing against adversarial attacks in DNNs and LLMs

3 years ago

5 points

231.

GitHub is suffering major downtime again

status.github.com

9 years ago

5 points

232.

I got tired of React bloat, so I wrote 350 LOC lib to never touch it again

github.com/MatthiasKainer

7 months ago

5 points

233.

Show HN: txt2jira – text to Jira work log – work logging made easy and fun again

github.com/klammbueddel

4 years ago

5 points

234.

Show HN: Mitigate against 0-day supply chain attacks with safe-NPM

github.com/stagas

4 years ago

5 points

235.

Πfs: Never worry about data again

github.com/philipl

10 years ago

5 points

236.

A Crusade Against Bad Code

gist.github.com

11 years ago

5 points

237.

TrumpScript Make Python great again

github.com/samshadwell

a year ago

5 points

238.

Nitter Is Fixed Again

github.com/zedeus

3 years ago

5 points

239.

Incremental import of git into darcs and back again

github.com/ganwell

4 years ago

5 points

240.

Lets Get Arrested: This project is a protest against the police in Japan

github.com/hamukazu

7 years ago

5 points