Stories by hargup

LeanHTTP: HTTP Client for Lean 4

LeanDB a strongly Typed SQL front end

Show HN: Compute.cx is simple (modal.com like) interface for on-demand GPUs

Show HN: You can continue a Claude session in Codex, and vice versa

We rewrote an ML Framework* in Lean, (and yes it is faster*)

The Co-Blub Paradox

Mass Resignation from xAI

VisBrowser: Visual Browsing Adapter for Playwright

[AskHN] Anyone working on an ASIC for a JavaScript engine?

Does Reality Have a Surprising _Lack_ of Detail?

CLI utility to counting GPT-3 tokens in a file or directory

RLTF: Reinforcement Learning with Terminal Feedback

The E/Jugaad Manifesto

Effective Jugaad: An Ideology for Navigating Complexity

Felvin – Wix for Generative AI

GPT-3 based parser can produce valid JSON

Tell HN: Locked out of Gmail account even after right password, recovery email

Felvin: Google Search Enhancer for Developers

See mom, so many instant apps

Collapse of a Grand Plan: Search for open slack communities

1 2 3