Hacker GitHub

← All repos

alantech/marsha

View on GitHub ↗ ★ 466 Python

Marsha is a functional, higher-level, English-based programming language that gets compiled into tested Python software by an LLM

8 mentions on Hacker News by 2 people: 1 story, 7 comments · first 2023-07-25 · latest 2023-07-26

Mentions per year 8 mentions · busiest year 2023 (8)
20082026
  1. …essentially non-deterministic, and that's 100% not what we're talking about here. If you consider https://github.com/alantech/marsha/blob/main/examples/web/we... ... The generated output of this file is a probability distribution with a…
  2. …tokens together, but goes through a validation phase to make sure what it built is real. [1]: https://github.com/alantech/marsha/blob/main/examples/web/cn... [2]: https://gist.github.com/dfellis/a758a7321b4f62f820ddbad57aac...
  3. …[2]: https://en.wikipedia.org/wiki/Lean_(proof_assistant) [3]: https://github.com/alantech/marsha/blob/main/marsha/parse.py...
  4. …than Python def lines in certain situations, though to be fair none of our examples do this. [1]: https://github.com/alantech/marsha/blob/main/examples/web/du...
  5. Well, to be fair, we do bulk up what you type quite a bit[1] to improve GPT's response. [1]: https://github.com/alantech/marsha/blob/main/marsha/parse.py...
  6. Btw, here's the test job: https://github.com/alantech/marsha/blob/main/.github/workflo... And the core script for the job: https://github.com/alantech/marsha/blob/main/marsha/.time.py
  7. …me to write a Roman Numeral to Integer function in out LLM-based programming language, Marsha: https://github.com/alantech/marsha/blob/main/examples/genera...
    comment by ISV_Damocles · 2023-07-25 · in Llama 2