Search: github.com/agda | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Tell HN: Claude-code prompt-cache fix

2 months ago

3 points

92.

Tell HN: I think Ruby on Rails is dying, and it makes me sad

6 years ago

2 points

93.

Tell HN: Claude-code prompt-cache workaround/fix

2 months ago

2 points

94.

Show HN: MCPS – Cryptographic identity and message signing for MCP agents

3 months ago

2 points

95.

Show HN: Sics-Ground – An Open Source Physics Sandbox with Real-Time Effects

a year ago

2 points

96.

Show HN: Revert the Twitter UI changes

github.com/kamranahmedse

9 years ago

38 points

97.

Show HN: Google Search “View image” Button

github.com/devunt

8 years ago

17 points

98.

Don't Fail Me Again: Node.js Error Handler by the Dark Side

10 years ago

3 points

99.

Chrome extension that makes GitHub load faster

github.com/joshmoody24

10 months ago

2 points

100.

JRuby web server benchmarks

github.com/isaiah

12 years ago

1 points

101.

Securing the fight against Covid-19 through open source

securitylab.github.com

6 years ago

1 points

102.

Show HN: VillageSQL = MySQL and Extensions

github.com/villagesql

5 months ago

27 points

103.

Ask HN: How do you find contributors to your open source projects?

3 years ago

11 points

104.

Show HN: We added ChatGPT to our documentation to make them fully portable

3 years ago

7 points

105.

Ask HN: CoffeeScript used in open-source JavaScript libraries?

15 years ago

3 points

106.

Show HN: My Weekend Project for our Anniversary

14 years ago

1 points

107.

Show HN: Proof of Thought (Pot)

4 months ago

1 points

108.

I killed a worker mid-payment to test "exactly-once" execution

6 months ago

1 points

109.

New form generator is in the hood! Welcome Jafar

6 years ago

1 points

110.

Against the UUID

github.com/firasd

10 months ago

8 points

111.

Show HN: A command-line tool to backup all of your iCloud photos

github.com/ndbroadbent

9 years ago

3 points

112.

Front page of "top 15 most popular news websites" = 698 scripts, 389 cookies

github.com/gorhill

12 years ago

2 points

113.

Securing against a timing attack with Twisted

13 years ago

2 points

114.

Make GitHub great again

github.com/k-nut

10 years ago

2 points

115.

Make GitHub great again

github.com/k-nut

10 years ago

2 points

116.

Tampermonkey Script: Returns Back “View Image” Button for Google Images

github.com/0xC0FFEEC0DE

8 years ago

1 points

117.

Show HN: Chatwoot 4.0 – Open-source intercom alternative with AI agents

a year ago

3 points

118.

Show HN: Standards compliant SAX-style XML parser for JavaScript

github.com/federicocarboni

8 months ago

federicocarboni

3 points

119.

Show HN: DataStore4J A thread-safe, high-performance key-value data store

github.com/theuntamed839

9 months ago

2 points

120.

Show HN: LocalAgent: local coding agent CLI with trust and replay

github.com/CalvinSturm

4 months ago

2 points