| 1. | | LeanReact-v0.1: A Lean 4 framework to write web applications (github.com/theoriclabs) |
| 1 point by hargup 5 days ago | past | discuss |
|
| 2. | | LeanHTTP: HTTP Client for Lean 4 (github.com/theoriclabs) |
| 1 point by hargup 6 days ago | past | discuss |
|
| 3. | | LeanDB a strongly Typed SQL front end (theoric.com) |
| 18 points by hargup 15 days ago | past | 6 comments |
|
| 4. | | Show HN: Compute.cx is simple (modal.com like) interface for on-demand GPUs (compute.cx) |
| 7 points by hargup 22 days ago | past |
|
| 5. | | Show HN: You can continue a Claude session in Codex, and vice versa (github.com/theoriclabs) |
| 3 points by hargup 64 days ago | past | 3 comments |
|
| 6. | | We rewrote an ML Framework* in Lean, (and yes it is faster*) (theoric.com) |
| 2 points by hargup 73 days ago | past |
|
| 7. | | The Co-Blub Paradox (reasonablypolymorphic.com) |
| 5 points by hargup 5 months ago | past |
|
| 8. | | Mass Resignation from xAI |
| 19 points by hargup 7 months ago | past | 13 comments |
|
| 9. | | VisBrowser: Visual Browsing Adapter for Playwright (github.com/hargup) |
| 3 points by hargup on May 7, 2024 | past | 1 comment |
|
| 10. | | [AskHN] Anyone working on an ASIC for a JavaScript engine? |
| 1 point by hargup on March 16, 2024 | past | 3 comments |
|
| 11. | | Does Reality Have a Surprising _Lack_ of Detail? (ribbonfarm.com) |
| 2 points by hargup on March 16, 2024 | past | 1 comment |
|
| 12. | | CLI utility to counting GPT-3 tokens in a file or directory (github.com/felvin-search) |
| 1 point by hargup on March 18, 2023 | past |
|
| 13. | | RLTF: Reinforcement Learning with Terminal Feedback (twitter.com/hargup13) |
| 2 points by hargup on Jan 16, 2023 | past |
|
| 14. | | The E/Jugaad Manifesto (ctojunior.substack.com) |
| 8 points by hargup on Jan 16, 2023 | past |
|
| 15. | | Effective Jugaad: An Ideology for Navigating Complexity (mostwrong.github.io) |
| 3 points by hargup on Jan 10, 2023 | past |
|
| 16. | | Felvin – Wix for Generative AI (felvin.com) |
| 2 points by hargup on Dec 9, 2022 | past |
|
| 17. | | GPT-3 based parser can produce valid JSON (hargup.substack.com) |
| 2 points by hargup on Sept 29, 2022 | past |
|
| 18. | | Tell HN: Locked out of Gmail account even after right password, recovery email |
| 326 points by hargup on Sept 16, 2022 | past | 314 comments |
|
| 19. | | Felvin: Google Search Enhancer for Developers (chrome.google.com) |
| 2 points by hargup on March 24, 2022 | past | 1 comment |
|
| 20. | | See mom, so many instant apps (felvin.com) |
| 2 points by hargup on Nov 1, 2021 | past |
|
| 21. | | Collapse of a Grand Plan: Search for open slack communities (rakaar.github.io) |
| 1 point by hargup on Aug 5, 2021 | past |
|
| 22. | | Ignoring extra word in Meili Search (rakaar.github.io) |
| 1 point by hargup on June 21, 2021 | past |
|
| 23. | | The World’s First Search Engine Based on Synthetic AI-Generated Data (usearch.com) |
| 1 point by hargup on June 21, 2021 | past |
|
| 24. | | Amazon for Search [Re-Explained] (hargup.substack.com) |
| 2 points by hargup on June 12, 2021 | past |
|
| 25. | | Coding Horror: Google Fu (codinghorror.com) |
| 3 points by hargup on June 1, 2021 | past |
|
| 26. | | Users, Barriers and a Pile of Gold (hargup.substack.com) |
| 2 points by hargup on May 31, 2021 | past |
|
| 27. | | How DDG became a privacy focused search engine (twitter.com/hargup13) |
| 1 point by hargup on May 22, 2021 | past |
|
| 28. | | The internet has changed, our search should change as well (hargup.substack.com) |
| 2 points by hargup on May 21, 2021 | past |
|
| 29. | | What is our advantage against the big players? (hargup.substack.com) |
| 1 point by hargup on May 13, 2021 | past |
|
| 30. | | Lab notebook: Creating a stackoverflow service (hargup.substack.com) |
| 2 points by hargup on May 11, 2021 | past |
|
|
| More |
