HN Explorer

hargup

↗ HN profile [ 66.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. LeanReact-v0.1: A Lean 4 framework to write web applications (github.com)
    1 points 0
  2. LeanHTTP: HTTP Client for Lean 4 (github.com)
    1 points 0
  3. LeanDB a strongly Typed SQL front end (theoric.com)
    1 points 9
  4. Show HN: Compute.cx is simple (modal.com like) interface for on-demand GPUs (compute.cx)

    Hi everyone, Please checkout compute.cx which is a simple cli interface for using on demand GPUs from RunPod and HotAisle. I created this because I really like the ease of modal.com for severless gpu access, but don’t…

    4 points 0
  5. Show HN: You can continue a Claude session in Codex, and vice versa (github.com)
    3 points 3
  6. We rewrote an ML Framework* in Lean, (and yes it is faster*) (theoric.com)
    2 points 0
  7. The Co-Blub Paradox (reasonablypolymorphic.com)
    5 points 0
  8. Mass Resignation from xAI

    Seems like xAI is having a Fairchild semiconductor moment, saw at least half a dozen people posting they are leaving xAI, and seems like all of them are starting something new, together. -…

    19 points 7
  9. [AskHN] Anyone working on an ASIC for a JavaScript engine?

    Javascript runs everywhere, and all the time. Curious if something is trying to build a JS engine in an ASIC (Application specific Integrated Circuit)?f Might be pretty useful in large data centers.

    1 points 3
  10. Does Reality Have a Surprising _Lack_ of Detail? (studio.ribbonfarm.com)
    2 points 1
  11. CLI utility to counting GPT-3 tokens in a file or directory (github.com)
    1 points 0
  12. RLTF: Reinforcement Learning with Terminal Feedback (twitter.com)
    2 points 0
  13. The E/Jugaad Manifesto (ctojunior.substack.com)
    8 points 0
  14. Effective Jugaad: An Ideology for Navigating Complexity (mostwrong.github.io)
    3 points 0
  15. GPT-3 based parser can produce valid JSON (hargup.substack.com)
    2 points 0
  16. Tell HN: Locked out of Gmail account even after right password, recovery email

    My mom got locked out of her 10yr gmail account. She doesn't have access to the phone number she added for 2FA. This is after she has the right password and also has access to the recovery email. This basically locked…

    326 points 314
  17. Felvin: Google Search Enhancer for Developers (chrome.google.com)
    2 points 1
  18. See mom, so many instant apps (blog.felvin.com)
    2 points 0
  19. Collapse of a Grand Plan: Search for open slack communities (rakaar.github.io)
    1 points 0
  20. A Dynamic Logo for a Dynamic Company (hargup.substack.com)
    1 points 0
  21. Ignoring extra word in Meili Search (rakaar.github.io)
    1 points 0
  22. The World’s First Search Engine Based on Synthetic AI-Generated Data (usearch.com)
    1 points 0
  23. Amazon for Search [Re-Explained] (hargup.substack.com)
    2 points 0
  24. Users, Barriers and a Pile of Gold (hargup.substack.com)
    2 points 0
  25. How DDG became a privacy focused search engine (twitter.com)
    1 points 0