HN Explorer

marclave

↗ HN profile [ 91.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Mathematicians use Lean to verify proofs, whats the equivalent for patent claims (fearn.ai)
    7 points 1
  2. Show HN: Turn your OpenAPI document to an MCP server in ~1000 tokens and 3 tools (scalar.com)
    1 points 0
  3. Gram: Open-Source platform to create, curate and host MCP servers (github.com)
    20 points 2
  4. Show HN: Turn OpenAPI documents to LLM friendly Markdown (github.com)
    6 points 0
  5. Acctual: Get paid how and where you want (acctual.com)
    7 points 2
  6. Ask HN: Advice for someone entering their 30s

    ive been spending a lot of time reflecting on what i want to be focused on in my 30s, aside from company/career but also family/relationships/hobbies & was curious what y'all are experiencing or experienced being in…

    12 points 18
  7. Show HN: Steel.dev – An open-source browser API for AI agents and apps (github.com)
    114 points 52
  8. Show HN: FastAPI OpenAPI Testing and Docs (twitter.com)
    1 points 0
  9. Show HN: Nuxt.js OpenAPI / Swagger API Reference Documentation (github.com)
    5 points 1
  10. Show HN: Scalasaurus – Open API / Swagger API References for Docusuarus (github.com)
    8 points 0
  11. Windows 98 Swagger/OpenAPI Petstore (windows98.apidocumentation.com)
    1 points 0
  12. Ask HN: What are you grateful for?

    happy holidays everyone, it's hard not to look back on the year but what are you grateful for in this moment? i just visited my grandpa, and spent the afternoon going through old photos and hearing his stories. my…

    60 points 54
  13. Hocuspocus: The plug’n’play collaborative editing back end (tiptap.dev)
    5 points 0
  14. Is Algolia Down?

    im trying to use algolia search on a few diff websites and it's not working. Here's one for example [1] [1] https://tiptap.dev/guide/custom-extensions/#node-views

    3 points 0
  15. Hangul: A Korean vocabulary building Chrome extension (chrome.google.com)
    3 points 0
  16. Royal Bank of Canada Is Down (downdetector.ca)
    1 points 0
  17. Ask HN: What are your weekend plans?

    Could be relaxing, reading, working on a side project, catching up on chores; curious what HN is up to this weekend?

    1 points 1
  18. Show HN: Free Resume Builder (app.resumebuilder.com)
    3 points 0
  19. Ask HN: What did you do in your first year after school?

    A year has passed since I finished my engineering undergrad, and am curious what the people of HN did in their first year after school? Was it a transitional period of reflection, did you travel, jump straight into a…

    15 points 15
  20. ArXiv Is Down (arxiv.org)
    7 points 3
  21. Stack Overflow Is Down
    6 points 4
  22. Keybase Security Audit [pdf] (keybase.io)
    2 points 0
  23. Ritual of the Calling of an Engineer (en.wikipedia.org)
    3 points 1
  24. Quasi‐Solid‐State Single‐Atom Transistors (onlinelibrary.wiley.com)
    2 points 1
  25. Ask HN: How do people pair code/debug remotely

    When trying to help coworkers or friends with a issue/bug, and you are not right beside each other, do you often: share small code snippets, use screen share, remote desktop software or other methods?

    1 points 1