Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: MCPS – Cryptographic identity and message signing for MCP agents (mcp-secure.dev)

2 points

3 months ago

92.

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

2 points

a year ago

93.

Show HN: Revert the Twitter UI changes (github.com/kamranahmedse)

38 points

9 years ago

94.

Show HN: Google Search “View image” Button (github.com/devunt)

17 points

8 years ago

95.

Don't Fail Me Again: Node.js Error Handler by the Dark Side (github.com/f)

3 points

10 years ago

96.

Chrome extension that makes GitHub load faster (github.com/joshmoody24)

2 points

10 months ago

97.

JRuby web server benchmarks (github.com/isaiah)

1 point

12 years ago

98.

Securing the fight against Covid-19 through open source (securitylab.github.com)

1 point

6 years ago

99.

Show HN: VillageSQL = MySQL and Extensions (github.com/villagesql)

27 points

4 months ago

100.

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

11 points

3 years ago

101.

Show HN: We added ChatGPT to our documentation to make them fully portable (xata.io)

7 points

3 years ago

102.

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

3 points

14 years ago

103.

Show HN: My Weekend Project for our Anniversary

1 point

14 years ago

104.

Show HN: Proof of Thought (Pot)

1 point

4 months ago

105.

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

1 point

6 months ago

106.

New form generator is in the hood! Welcome Jafar

1 point

6 years ago

107.

Against the UUID (github.com/firasd)

8 points

10 months ago

108.

Show HN: A command-line tool to backup all of your iCloud photos (github.com/ndbroadbent)

3 points

9 years ago

109.

Front page of "top 15 most popular news websites" = 698 scripts, 389 cookies (github.com/gorhill)

2 points

12 years ago

110.

Securing against a timing attack with Twisted (lvh.github.com)

2 points

13 years ago

111.

Make GitHub great again (github.com/k-nut)

2 points

10 years ago

112.

Make GitHub great again (github.com/k-nut)

2 points

10 years ago

113.

Tampermonkey Script: Returns Back “View Image” Button for Google Images (github.com/0xC0FFEEC0DE)

1 point

8 years ago

114.

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

3 points

a year ago

115.

Show HN: Standards compliant SAX-style XML parser for JavaScript (github.com/federicocarboni)

3 points

federicocarboni

7 months ago

116.

Show HN: DataStore4J A thread-safe, high-performance key-value data store (github.com/theuntamed839)

2 points

9 months ago

117.

Show HN: LocalAgent: local coding agent CLI with trust and replay (github.com/CalvinSturm)

2 points

3 months ago

118.

Show HN: Lair – CLI Tools for working with generative AI (github.com/DougHaber)

2 points

a year ago

119.

Show HN: F# Server stub generator for Azure functions

2 points

7 years ago

120.

The DSM is not medical science – it's a social control manual (github.com/stagas)

15 points

a year ago