HN Explorer

namin

↗ HN profile [ 121 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. LemmaScript: A Verification Toolchain for TypeScript via Dafny (midspiral.com)
    4 points 0
  2. Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny (github.com)

    I created LemmaScript to compile TypeScript to a verification backend (Dafny or Lean) and prove properties on the systematically derived model. I'll keep developing this, but I have a few case studies already, and it…

    5 points 0
  3. Show HN: Guardians – Verify tool-using agent workflows before execution (github.com)
    8 points 0
  4. Show HN: Lemmafit: Make agents prove that their code is correct (github.com)
    7 points 2
  5. A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com)
    4 points 1
  6. Verifying State and Reconciliation in Collaborative Web Apps (midspiral.com)
    3 points 0
  7. Show HN: Henri: a small, hackable agent CLI (github.com)
    4 points 0
  8. Show HN: Holey: Staged execution from Python to SMT for synthesis (github.com)
    4 points 0
  9. Building a React App with Formally Verified State (midspiral.com)
    3 points 1
  10. From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
    5 points 0
  11. Show HN: Tiny Hoare logic verifier using SMT (github.com)
    12 points 1
  12. Show HN: Live software archaeology of FOL (theory of reasoning) (io.livecode.ch)

    I want to share this live playground for FOL, an old system from the late 70s. It has many precursor ideas about reasoning at the meta-level, including the now common proof by reflection which turns proving in the…

    3 points 0
  13. Work with Apps on macOS (help.openai.com)
    5 points 1
  14. A Scalable Communication Protocol for Networks of Large Language Models (agoraprotocol.org)
    3 points 0
  15. Arc Prize Guide (arcprize.org)
    7 points 3
  16. Show HN: Verified Multi-Step Synthesis Using LLMs and MCTS (arxiv.org)

    3 months ago, I submitted a hack on using Monte Carlo Tree Search (MCTS) with an LLM guided by a program verifier: https://news.ycombinator.com/item?id=38235407 I just wanted to send this update, because we now have a…

    1 points 0
  17. Show HN: LLM Verified with Monte Carlo Tree Search (github.com)

    This is a weekend hack that I'd like to further develop as it's working surprisingly well. Using MCTS, we can explore a space of possible verified programs with an LLM. We check the partial programs at each step, and so…

    102 points 15
  18. Edited Works of Locke (earlymoderntexts.com)
    3 points 0
  19. Show HN: Turn GitHub repos into tutorials with code that can be edited and run (io.livecode.ch)
    4 points 1
  20. Understanding Machine Learning: From Theory to Algorithms (Downloadable Book) (cs.huji.ac.il)
    80 points 3
  21. UCL Course on Reinforcement Learning including Videos (2015) (www0.cs.ucl.ac.uk)
    2 points 0
  22. interactive programming tutorials, powered by GitHub and Docker (io.livecode.ch)
    7 points 0
  23. Verified Programming in F*: A Tutorial (fstar-lang.org)
    95 points 30
  24. Can the Crowd Solve Medical Mysteries? (pbs.org)
    29 points 2
  25. The Intelligent Plant (newyorker.com)
    1 points 0