| 1. | | Mathematicians use Lean to verify proofs, whats the equivalent for patent claims (fearn.ai) |
| 7 points by marclave 86 days ago | past | 1 comment |
|
| 2. | | Show HN: Turn your OpenAPI document to an MCP server in ~1000 tokens and 3 tools (scalar.com) |
| 1 point by marclave 5 months ago | past |
|
| 3. | | Gram: Open-Source platform to create, curate and host MCP servers (github.com/speakeasy-api) |
| 20 points by marclave 12 months ago | past | 2 comments |
|
| 4. | | Show HN: Turn OpenAPI documents to LLM friendly Markdown (github.com/scalar) |
| 6 points by marclave on May 15, 2025 | past |
|
| 5. | | Acctual: Get paid how and where you want (acctual.com) |
| 7 points by marclave on March 18, 2025 | past | 2 comments |
|
| 6. | | Ask HN: Advice for someone entering their 30s |
| 12 points by marclave on Feb 16, 2025 | past | 17 comments |
|
| 7. | | Show HN: Steel.dev – An open-source browser API for AI agents and apps (github.com/steel-dev) |
| 114 points by marclave on Nov 26, 2024 | past | 52 comments |
|
| 8. | | Show HN: FastAPI OpenAPI Testing and Docs (twitter.com/scalar) |
| 1 point by marclave on April 27, 2024 | past |
|
| 9. | | Show HN: Nuxt.js OpenAPI / Swagger API Reference Documentation (github.com/scalar) |
| 5 points by marclave on April 21, 2024 | past | 1 comment |
|
| 10. | | Show HN: Scalasaurus – Open API / Swagger API References for Docusuarus (github.com/scalar) |
| 8 points by marclave on March 10, 2024 | past |
|
| 11. | | Windows 98 Swagger/OpenAPI Petstore (apidocumentation.com) |
| 1 point by marclave on Jan 1, 2024 | past |
|
| 12. | | Ask HN: What are you grateful for? |
| 71 points by marclave on Dec 24, 2023 | past | 52 comments |
|
| 13. | | Hocuspocus: The plug’n’play collaborative editing back end (tiptap.dev) |
| 5 points by marclave on Jan 18, 2023 | past |
|
| 14. | | Is Algolia Down? |
| 3 points by marclave on March 24, 2022 | past |
|
| 15. | | Hangul: A Korean vocabulary building Chrome extension (chrome.google.com) |
| 3 points by marclave on April 4, 2021 | past |
|
| 16. | | Ask HN: What are your weekend plans? |
| 1 point by marclave on Oct 19, 2019 | past | 1 comment |
|
| 17. | | Show HN: Free Resume Builder (resumebuilder.com) |
| 3 points by marclave on Sept 24, 2019 | past |
|
| 18. | | Ask HN: What did you do in your first year after school? |
| 15 points by marclave on Aug 11, 2019 | past | 15 comments |
|
| 19. | | ArXiv Is Down (arxiv.org) |
| 7 points by marclave on Aug 8, 2019 | past | 3 comments |
|
| 20. | | Stack Overflow Is Down |
| 6 points by marclave on June 26, 2019 | past | 4 comments |
|
| 21. | | Keybase Security Audit [pdf] (keybase.io) |
| 2 points by marclave on March 28, 2019 | past |
|
| 22. | | Ritual of the Calling of an Engineer (wikipedia.org) |
| 3 points by marclave on Nov 16, 2018 | past | 1 comment |
|
| 23. | | Quasi‐Solid‐State Single‐Atom Transistors (wiley.com) |
| 2 points by marclave on Aug 18, 2018 | past | 1 comment |
|
| 24. | | Ask HN: How do people pair code/debug remotely |
| 1 point by marclave on June 16, 2018 | past | 1 comment |
|
| 25. | | Show HN: Launchaco Free Online AI Logo Maker (launchaco.com) |
| 32 points by marclave on May 23, 2018 | past | 14 comments |
|
| 26. | | Ask HN: Looking back on the last 5 years, what's your biggest personal milestone |
| 4 points by marclave on April 2, 2018 | past | 2 comments |
|
| 27. | | Launchaco 2.0 – The Simplest Way to Build a Website for Your Startup (launchaco.com) |
| 16 points by marclave on Jan 23, 2018 | past | 2 comments |
|
| 28. | | A radically new digital design tool built for cross-functional product teams (meetalva.io) |
| 1 point by marclave on Dec 22, 2017 | past |
|
| 29. | | A simple and composable way to validate data in JavaScript (github.com/ianstormtaylor) |
| 2 points by marclave on Nov 30, 2017 | past |
|
| 30. | | Sleeping Beauty – How on of the oldest bugs in eve got hunted down and resolved (eveonline.com) |
| 2 points by marclave on Feb 16, 2017 | past |
|
|
| More |
