Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
211.
The Z3 Theorem Prover released under MIT license (github.com/Z3Prover)
304 points
dahlia
11 years ago
66 comments
212.
RouteLLM: A framework for serving and evaluating LLM routers (github.com/lm-sys)
244 points
djhu9
2 years ago
36 comments
213.
Mwm – The smallest usable X11 window manager (github.com/lslvr)
203 points
daureg
a year ago
93 comments
214.
Windows-Use: an AI agent that interacts with Windows at GUI layer (github.com/CursorTouch)
135 points
djhu9
9 months ago
26 comments
215.
Transducers for JavaScript (github.com/cognitect-labs)
79 points
dahjelle
12 years ago
22 comments
216.
Show HN: Goralim - a rate limiting pkg for Go to handle distributed workloads (github.com/0verread)
69 points
dasubhajit
2 years ago
28 comments
217.
Show HN: PyGeno, a Python Package for Precision Medicine (github.com/tariqdaouda)
64 points
daoudat
10 years ago
17 comments
218.
Show HN: Apache Cloudberry – Open-source Massively Parallel Processing database (github.com/apache)
35 points
djhu9
a year ago
7 comments
219.
AFNetworking alternative: STHTTPRequest (github.com/nst)
32 points
dahx4Eev
12 years ago
27 comments
220.
BlindAI: Open-source, fast and privacy-friendly AI deployment solution in Rust (github.com/mithril-security)
32 points
dhuynh95
4 years ago
7 comments
221.
Assistant-UI: A set of React components for AI chat (github.com/Yonom)
21 points
djhu9
2 years ago
1 comment
222.
Fedify 2.0.0: Modular architecture, debug dashboard, and relay support (github.com/fedify-dev)
17 points
dahlia
3 months ago
2 comments
223.
TailGuard: A way to connect your home WireGuard router into Tailscale via Docker (github.com/juhovh)
9 points
daduke
9 months ago
2 comments
224.
Show HN: Minigrad – a small neural network lib in Golang (github.com/0verread)
9 points
dasubhajit
2 years ago
2 comments
225.
Show HN: Mariana, the Cutest Deep Learning Framework (github.com/tariqdaouda)
9 points
daoudat
10 years ago
1 comment
226.
ZeroDB [“end-to-end encrypted database”] is Open Source (github.com/zero-db)
8 points
dahjelle
10 years ago
3 comments
227.
Lua Internal Development History Released (github.com)
8 points
daurnimator
10 years ago
2 comments
228.
OpenAI Agents SDK (github.com/openai)
6 points
dphuang2
a year ago
1 comment
229.
Learn React by building the Hacker News front page (github.com/mking)
6 points
dchuk
11 years ago
discuss
230.
Show HN: An open source web crawler for the Mwmbl non-profit search engine (github.com/mwmbl)
6 points
daoudc
4 years ago
discuss
231.
Show HN: A dashboard for fast and easy WireGuard setups (github.com/wireguard-dashboard)
6 points
daluf
7 years ago
discuss
232.
Show HN: An open source web crawler for the Mwmbl non-profit search engine (github.com/mwmbl)
4 points
daoudc
4 years ago
4 comments
233.
Systemd-importd drops docker support (github.com/systemd)
4 points
daurnimator
10 years ago
2 comments
234.
Lazygit v0.41 (github.com/jesseduffield)
4 points
dagurp
2 years ago
discuss
235.
Show HN: Colota – Open-source, self-hosted GPS tracker for Android (github.com/dietrichmax)
3 points
daturbod
3 months ago
5 comments
236.
Chia adds support for NFTs to their blockchain (github.com/Chia-Network)
3 points
dchuk
4 years ago
1 comment
237.
GitHub and Export Controls – GitHub Help (help.github.com)
3 points
dahacker
7 years ago
1 comment
238.
Nanobot: Ultra-Lightweight Personal AI Assistant (github.com/HKUDS)
3 points
djhu9
4 months ago
discuss
239.
LLM-optimizer: Benchmark and optimize LLM inference across frameworks with ease (github.com/bentoml)
3 points
djhu9
9 months ago
discuss
240.
Combustion engine simulator that generates realistic audio (github.com/ange-yaghi)
3 points
dau
4 years ago
discuss
More