Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
541.
▲
Show HN: Formalizing Principia Mathematica using Lean
(github.com/ndrwnaguib)
188 points
ndrwnaguib
a year ago
34 comments
542.
▲
Show HN: Fresh – A new terminal editor built in Rust
(sinelaw.github.io)
187 points
_sinelaw_
6 months ago
150 comments
543.
▲
Show HN: Use Code Llama as Drop-In Replacement for Copilot Chat
(continue.dev)
187 points
sestinj
3 years ago
52 comments
544.
▲
Show HN: Restate – Low-latency durable workflows for JavaScript/Java, in Rust
(restate.dev)
185 points
sewen
2 years ago
109 comments
545.
▲
Launch HN: Deviceplane (YC W20) – Update and Manage Devices Running Linux
185 points
joshwget
6 years ago
63 comments
546.
▲
Show HN: FlyCode – Git-Based Copy and Translations Editor for Web Apps
(flycode.com)
185 points
JakeVacovec
4 years ago
52 comments
547.
▲
Show HN: WasmGPT – “ChatGPT” in the browser, no WebGPU and no server needed
(lxe.co)
185 points
lxe
3 years ago
50 comments
548.
▲
Vouch
(github.com/mitchellh)
185 points
dboon
4 months ago
7 comments
549.
▲
Show HN: Posting v1 – The modern HTTP client that lives in your terminal
(github.com/darrenburns)
184 points
nsdarren
2 years ago
51 comments
550.
▲
Introducing Opencall
183 points
scottybowl
12 years ago
85 comments
551.
▲
Launch HN: Optic (YC S18) – Automate Routine Programming
183 points
addcn
8 years ago
48 comments
552.
▲
Show HN: C3 – A C alternative that looks like C
182 points
lerno
4 years ago
136 comments
553.
▲
Launch HN: DAGWorks – ML platform for data science teams
182 points
krawczstef
3 years ago
65 comments
554.
▲
Show HN: I wrote a book on GNU grep and ripgrep
182 points
asicsp
7 years ago
53 comments
555.
▲
Show HN: Visualize rotating objects from the 4th, 5th, nth dimensions
(ncube.ndavd.com)
181 points
0xndavd
2 years ago
110 comments
556.
▲
Show HN: Sowbot – Open-hardware agricultural robot (ROS2, RTK GPS)
(sowbot.co.uk)
181 points
Sabrees
3 months ago
45 comments
557.
▲
Show HN: Vicinae – A native, Raycast-compatible launcher for Linux
(github.com/vicinaehq)
181 points
aurellius
9 months ago
39 comments
558.
▲
Show HN: SineRider, a math puzzle game
(github.com/hackclub)
181 points
SigmaEpsilonChi
3 years ago
23 comments
559.
▲
Show HN: Embed an SQLite database in your PostgreSQL table
(github.com/frectonz)
180 points
frectonz
2 years ago
110 comments
560.
▲
Launch HN: Flower (YC W23) – Train AI models on distributed or sensitive data
180 points
niclane7
3 years ago
69 comments
561.
▲
Show HN: Thi.ng/hdom – S-expression based, pure ES6 UI/VDOM components
180 points
toxmeister
8 years ago
64 comments
562.
▲
Show HN: Circumflex, browse HN in your terminal
(github.com/bensadeh)
180 points
bensadeh
4 years ago
63 comments
563.
▲
Show HN: Visualize the entropy of a codebase with a 3D force-directed graph
(github.com/gabotechs)
180 points
gabimtme
2 years ago
59 comments
564.
▲
Show HN: I made a site where you can travel in space in your browser
(spaceinbrowser.com)
179 points
cryptography
4 years ago
77 comments
565.
▲
Show HN: Magnitude – open-source, AI-native test framework for web apps
(github.com/magnitudedev)
179 points
anerli
a year ago
44 comments
566.
▲
Show HN: Data Painter – A Different Way to Interact with Your Data
(docs.kanaries.net)
179 points
loa_observer
3 years ago
29 comments
567.
▲
Show HN: Hacker News Clone – Clojure, GraphQL Learning Project
179 points
promesante
7 years ago
21 comments
568.
▲
Launch HN: Continue (YC S23) – Create custom AI code assistants
(hub.continue.dev)
178 points
sestinj
a year ago
110 comments
569.
▲
Launch HN: Airbyte (YC W20) – Open-Source ELT (Fivetran/Stitch Alternative)
178 points
mtricot
5 years ago
87 comments
570.
▲
Show HN: Auto-generate an OpenAPI spec by listening to localhost
(github.com/Adawg4)
178 points
adawg4
2 years ago
73 comments
More