HN
Hacker News
Top
New
Best
Ask
Show
Jobs
hargup
908 karma · joined June 26, 2013
submissions
comments
LeanAPI: API Servers for web applications written in Lean 4
github.com
·
2 pts
·
hargup
·
0
LeanHTTP: HTTP Client for Lean 4
github.com
·
2 pts
·
hargup
·
0
LeanReact: Expressing Composable and Correct React Components in Lean
theoric.com
·
1 pts
·
hargup
·
0
LeanReact-v0.1: A Lean 4 framework to write web applications
github.com
·
1 pts
·
hargup
·
0
LeanHTTP: HTTP Client for Lean 4
github.com
·
1 pts
·
hargup
·
0
LeanDB a strongly Typed SQL front end
theoric.com
·
18 pts
·
hargup
·
6
Show HN: Compute.cx is simple (modal.com like) interface for on-demand GPUs
compute.cx
·
7 pts
·
hargup
·
0
Show HN: You can continue a Claude session in Codex, and vice versa
github.com
·
3 pts
·
hargup
·
3
We rewrote an ML Framework* in Lean, (and yes it is faster*)
theoric.com
·
2 pts
·
hargup
·
0
The Co-Blub Paradox
reasonablypolymorphic.com
·
5 pts
·
hargup
·
0
Mass Resignation from xAI
19 pts
·
hargup
·
13
VisBrowser: Visual Browsing Adapter for Playwright
github.com
·
3 pts
·
hargup
·
1
[AskHN] Anyone working on an ASIC for a JavaScript engine?
1 pts
·
hargup
·
3
Does Reality Have a Surprising _Lack_ of Detail?
studio.ribbonfarm.com
·
2 pts
·
hargup
·
1
CLI utility to counting GPT-3 tokens in a file or directory
github.com
·
1 pts
·
hargup
·
0
RLTF: Reinforcement Learning with Terminal Feedback
twitter.com
·
2 pts
·
hargup
·
0
The E/Jugaad Manifesto
ctojunior.substack.com
·
8 pts
·
hargup
·
0
Effective Jugaad: An Ideology for Navigating Complexity
mostwrong.github.io
·
3 pts
·
hargup
·
0
Felvin – Wix for Generative AI
felvin.com
·
2 pts
·
hargup
·
0
GPT-3 based parser can produce valid JSON
hargup.substack.com
·
2 pts
·
hargup
·
0
Tell HN: Locked out of Gmail account even after right password, recovery email
326 pts
·
hargup
·
314
Felvin: Google Search Enhancer for Developers
chrome.google.com
·
2 pts
·
hargup
·
1
See mom, so many instant apps
blog.felvin.com
·
2 pts
·
hargup
·
0
Collapse of a Grand Plan: Search for open slack communities
rakaar.github.io
·
1 pts
·
hargup
·
0
Ignoring extra word in Meili Search
rakaar.github.io
·
1 pts
·
hargup
·
0
The World’s First Search Engine Based on Synthetic AI-Generated Data
usearch.com
·
1 pts
·
hargup
·
0
Amazon for Search [Re-Explained]
hargup.substack.com
·
2 pts
·
hargup
·
0
Coding Horror: Google Fu
blog.codinghorror.com
·
3 pts
·
hargup
·
0
Users, Barriers and a Pile of Gold
hargup.substack.com
·
2 pts
·
hargup
·
0
How DDG became a privacy focused search engine
twitter.com
·
1 pts
·
hargup
·
0
Page 1 of 4
Next →