hargup

907 karmajoined June 26, 2013On HN

Recent submissions

LeanReact-v0.1: A Lean 4 framework to write web applications github.com/theoriclabs
1hargup6ddiscuss
LeanHTTP: HTTP Client for Lean 4 github.com/theoriclabs
1hargup6ddiscuss
LeanDB a strongly Typed SQL front end theoric.com
18hargup15d6 comments
Show HN: Compute.cx is simple (modal.com like) interface for on-demand GPUs compute.cx
7hargup23ddiscuss
Show HN: You can continue a Claude session in Codex, and vice versa github.com/theoriclabs
3hargup2mo3 comments
We rewrote an ML Framework* in Lean, (and yes it is faster*)theoric.com
2hargup2modiscuss
The Co-Blub Paradox reasonablypolymorphic.com
5hargup5modiscuss
Mass Resignation from xAI
19hargup7mo13 comments
VisBrowser: Visual Browsing Adapter for Playwright github.com/hargup
3hargup2y1 comment
[AskHN] Anyone working on an ASIC for a JavaScript engine?
1hargup2y3 comments
Does Reality Have a Surprising _Lack_ of Detail?studio.ribbonfarm.com
2hargup2y1 comment
CLI utility to counting GPT-3 tokens in a file or directory github.com/felvin-search
1hargup3ydiscuss
RLTF: Reinforcement Learning with Terminal Feedback twitter.com
2hargup3ydiscuss
The E/Jugaad Manifesto ctojunior.substack.com
8hargup3ydiscuss
Effective Jugaad: An Ideology for Navigating Complexity mostwrong.github.io
3hargup3ydiscuss
Felvin – Wix for Generative AI felvin.com
2hargup3ydiscuss
GPT-3 based parser can produce valid JSON hargup.substack.com
2hargup3ydiscuss
Tell HN: Locked out of Gmail account even after right password, recovery email
326hargup3y314 comments
Felvin: Google Search Enhancer for Developers chrome.google.com
2hargup4y1 comment
See mom, so many instant apps blog.felvin.com
2hargup4ydiscuss

All submissions and comments on Hacker News.