HN Explorer

lastmjs

↗ HN profile [ 136 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge (github.com)

    Lasm has been my dream for a good part of 2026. I firmly believe that formal verification is the next evolution of software engineering and programming languages. This next wave will largely be enabled by the incredibly…

    1 points 23
  2. Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edge (github.com)
    1 points 1
  3. Bitcoin on Ethereum historical data charts (btconethereum.com)
    1 points 0
  4. USD on Ethereum Dashboard (usdonethereum.com)
    2 points 0
  5. Bitcoin on Ethereum (btconethereum.com)
    2 points 0
  6. Solidity to ELI5 Compiler (eli5smartcontracts.com)
    2 points 0
  7. Query Ethereum: chain analysis from a browser tab

    Hey everyone, I've been working on a new prototype project, https://queryethereum.com If you want to jump straight into trying some examples, use this GraphQL bin: https://www.graphqlbin.com/v2/1GmVUn You can run all of…

    1 points 0
  8. Zwitterion: a web dev server that lets you import anything (github.com)
    103 points 126
  9. A zero confusion polyglot static file server for front-end web development (github.com)
    2 points 0
  10. Show HN: Skip the app store, listen to podcasts with a fully web-native PWA (podcrypt.app)
    2 points 0
  11. Podcrypt Beta has been released

    https://podcrypt.app Podcrypt is a privacy-focused podcast app that facilitates automatic, fair, and peer-to-peer podcast donations. It allows listeners to setup one recurring donation that is automatically split…

    1 points 0
  12. Let's Get GitHub Sponsors to Support Bitcoin and Ethereum

    If you don't want to read, just go here and star this repo: https://github.com/lastmjs/enable-cryptocurrency-in-funding-yml Hey everyone, GitHub Sponsors just recently released, allowing GitHub repositories to show the…

    4 points 1
  13. Podcrypt Alpha (medium.com)
    1 points 0
  14. Patreon alternative for podcasts, using cryptocurrency (hackernoon.com)
    2 points 0
  15. Voluntary universal subscriptions for podcasts

    I'm experimenting with a new monetization model for podcasts. The project that implements the model is called Podcrypt: https://t.me/podcrypt Essentially it's a podcast listening app that allows you to setup what I call…

    2 points 3
  16. The Need for an Open Assessment Platform in Higher Education (medium.com)
    1 points 0
  17. Show HN: Competency-based, crowd-sourced, tokenized JavaScript learning platform (javascriptpractice.com)
    1 points 0
  18. Competency-based JavaScript learning platform (javascriptpractice.com)
    1 points 0
  19. Podcrypt: automatic, fair, peer-to-peer podcast donations with Ether (hackernoon.com)
    1 points 0
  20. Zwitterion, Transpilation Made Simple (medium.com)
    2 points 0
  21. Use HTML custom elements to build robots and servers (scotch.io)
    4 points 0
  22. Show HN: Express Web Components (github.com)
    4 points 1
  23. Server-Side Web Components: How and Why? (scotch.io)
    6 points 0