Search: github.com/FormerLab | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: InvokeAI, an open source Stable Diffusion toolkit and WebUI (github.com/invoke-ai)

414 points

4 years ago

32.

Show HN: Fructose – LLM calls as strongly typed functions (github.com/bananaml)

218 points

2 years ago

33.

Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)

188 points

a year ago

34.

I traced $2B in nonprofit grants for Meta and Age Verification lobbying

99 points

3 months ago

35.

Show HN: Checkmate, a server and infrastructure monitoring application (github.com/bluewave-labs)

21 points

2 years ago

36.

Show HN: TutaCrypt, post-quantum encryption protocols for securing emails [pdf] (tuta.com)

15 points

2 years ago

37.

Ask HN: Please critique my metalanguage: “Dogma”

14 points

3 years ago

38.

Show HN: macOS desktop app for turning websites into glanceable widgets (github.com/devin-liu)

7 points

2 years ago

39.

Show HN: Kekkai – Interactive security triage in the terminal

6 points

4 months ago

40.

Show HN: Exponential CMS 6.0.11 – PHP 8.5 Support for a CMS Born in the 1990s (exponential.earth)

5 points

5 months ago

41.

Show HN: TONE3000 – Community for Neural Amp Modeling with 90k+ models trained (tone3000.com)

4 points

a year ago

42.

Show HN: Htmx with ManTL Templates (github.com/manifold-systems)

4 points

2 years ago

43.

Show HN: I made a JavaScript library to turn MPA to SPA

4 points

4 years ago

44.

Show HN: Tiny tech blog aggregator in HTMX and Go (techblo.gs)

3 points

7 months ago

45.

Show HN: Kilo – Lightweight REST for Java (github.com/HTTP-RPC)

3 points

2 years ago

46.

Looking for a Remote Job in Python/Django/Flask

2 points

6 months ago

47.

Show HN: Jspreadsheet CE v5 – A Lightweight, Excel-Like JavaScript Data Grid (bossanova.uk)

2 points

a year ago

48.

Dash.el - A modern list library for Emacs (github.com/magnars)

1 point

14 years ago

49.

Show HN: MAItion – Open-source RAG with pluggable connectors and chat UI (github.com/WikiTeq)

1 point

a month ago

50.

Show HN: ShadowStrike – Windows EDR Post-Analysis

1 point

3 months ago

51.

Show HN: Raps – Rust CLI for Autodesk Platform Services (0ms Deps, MCP Support) (github.com/dmytro-yemelianov)

1 point

5 months ago

52.

Show HN: "Fleck" Front End for Lyrion Music Server (fleck-theme.org)

1 point

a year ago

53.

Show HN: Synmetrix – Open-Source Platform for Data and Metrics Management (synmetrix.org)

1 point

2 years ago

54.

Enable frame pointers for the Rust standard library (github.com/rust-lang)

3 points

formerly_proven

2 years ago

55.

Show HN: Open source tool for watermarking social videos and photos (github.com/Remixee)

1 point

8 years ago