Hacker GitHub

← All repos

bendlang/bend

View on GitHub ↗ ★ 24,648 TypeScript

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

28 mentions on Hacker News by 23 people: 4 stories, 24 comments · first 2024-05-17 · latest 2026-10-31

Mentions per year 28 mentions · busiest year 2026 (14)
20082026
AllStoriesComments NewestTopOldest
  1. Start here: https://github.com/bendlang/bend
    comment by f0e4c2f7 · 2026-10-31 · in AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
  2. ▲ 1
    Bend: A fast language that blocks AI mistakes via proof
    story by airhangerf15 · 2026-10-25 · 0 comments
  3. By requiring the LLM to prove your requirements true mathematcially. https://github.com/bendlang/bend
    comment by f0e4c2f7 · 2026-10-25 · in The Goose Programming Language
  4. For the first thing you're talking about check out bend. https://github.com/bendlang/bend
    comment by f0e4c2f7 · 2026-10-19 · in Maxwell: A new kind of model that sits between code and hardware
  5. …fully audited yet. > - Strings are linked lists of characters, so text processing is slow. [0]. https://github.com/bendlang/bend/tree/main
    comment by wg0 · 2026-09-18 · in Bend 2 and the Vibe-Coding Trap
  6. …to duplicate your benchmark results. Why report the SHA if you are going to destroy the history? https://github.com/bendlang/bend/blob/80b6539bc57621633ca68e...
    comment by ModernMech · 2026-09-18 · in Bend – a language that blocks AI mistakes via proof and runs on GPUs
  7. The benchmarks: https://github.com/bendlang/bend/tree/main/bench The script we use to run them on our servers: https://github.com/bendlang/bend/blob/main/gates/perf.ts
    comment by developedby · 2026-09-17 · in Bend – a language that blocks AI mistakes via proof and runs on GPUs
  8. …that force pushing doesn't hide actual commits; it's trivially viewable if someone just iterates https://github.com/bendlang/bend/activity?ref=main e.g. https://github.com/bendlang/bend/commit/d184863 so like... why bother.
    comment by AlexErrant · 2026-09-17 · in Bend – a language that blocks AI mistakes via proof and runs on GPUs
  9. …team. 1. The paper explains it well (sadly it is written by Claude for now, but it is accurate): https://github.com/bendlang/bend/blob/main/paper/BendRT.pdf In short, we implemented a complete allocator, garbage-collector, closure…
    comment by LightMachine · 2026-09-17 · in Bend – a language that blocks AI mistakes via proof and runs on GPUs
  10. …the mean time I have some questions about the "guide", which claims to define the entire language: https://github.com/bendlang/bend/blob/main/guide/GUIDE.md Let's see: - There are no infinite loops, and recursion is kind of softly bounded…
    comment by amluto · 2026-09-17 · in Bend – a language that blocks AI mistakes via proof and runs on GPUs
  11. Multiple times, even. Still no real reason why. https://github.com/bendlang/bend/activity?ref=main One time they force pushed and erased everything except a 2-line README... on purpose. Pre-obliteration version:…
    comment by randomblock1 · 2026-09-17 · in Bend – a language that blocks AI mistakes via proof and runs on GPUs
  12. I’m just looking at it for the first time myself, but isn’t the compiler in https://github.com/bendlang/bend/blob/main/bend2/comp.ts ?
    comment by robinhouston · 2026-09-17 · in Bend – a language that blocks AI mistakes via proof and runs on GPUs
  13. https://github.com/bendlang/bend ...did they just squash the repo to 1 commit for v2.0.4? Why? Yall should know that in this age of AI trust is the real currency... and nuking your history is one hell of a way to raise eyebrows. > Enjoy…
    comment by AlexErrant · 2026-09-17 · in Bend – a language that blocks AI mistakes via proof and runs on GPUs
  14. ▲ 18
    Bend 2 Is Here
    story by tempaccount420 · 2026-09-17 · 3 comments
  15. Bend comes to mind as an attempt at this: https://github.com/HigherOrderCO/Bend Disclaimer: I did not watch the video yet
    comment by abejfehr · 2025-11-05 · in I want a good parallel language [video]
  16. …most mature implementation of that idea. [0]: https://en.wikipedia.org/wiki/Interaction_nets [1]: https://github.com/HigherOrderCO/Bend
    comment by wbpaelias · 2025-10-10 · in Multi-Core by Default
  17. …to interaction combinators: 1. https://en.wikipedia.org/wiki/Interaction_nets#Interaction_c... 2. https://github.com/HigherOrderCO/Bend
    comment by programjames · 2025-07-11 · in Graphical Linear Algebra
  18. …trying to craft a CUDA-based lambda calculus interpreter This is awesome! I assume you have seen https://github.com/HigherOrderCO/Bend https://github.com/higherorderco/hvm Previous discussions https://hn.algolia.com/?dateRange=all&page=0&pr…
    comment by sitkack · 2025-05-13 · in Launch HN: ParaQuery (YC X25) – GPU Accelerated Spark/SQL
  19. …the approach enables you to get reasonably performing parallel functional programs 'for free'. [1] https://github.com/HigherOrderCO/Bend [2] https://github.com/VineLang/vine [3] https://en.wikipedia.org/wiki/Interaction_nets
    comment by snackbroken · 2025-04-26 · in Parallel ./configure
  20. …[6] https://github.com/HigherOrderCO/HVM1 [7] https://higherorderco.com [8] https://github.com/HigherOrderCO/bend [9] https://github.com/HigherOrderCO/kind
    comment by 4ad · 2024-12-19 · in Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches
  21. What do you think of this https://github.com/HigherOrderCO/Bend ?
    comment by adhamsalama · 2024-07-09 · in The Deadlock Empire: An Interactive Guide to Locks
  22. …in programming with these kind of restrictions in practice? Also, is there good FFI options? [1]: https://github.com/HigherOrderCO/bend/blob/main/GUIDE.md
    comment by klabb3 · 2024-05-17 · in Bend: a high-level language that runs on GPUs (via HVM2)
  23. ▲ 1,041
    Bend: a high-level language that runs on GPUs (via HVM2)
    story by LightMachine · 2024-05-17 · 253 comments
  24. Here is an example of it summing a huge set of numbers 100x faster than in C. https://github.com/HigherOrderCO/bend/blob/main/GUIDE.md#par...
    comment by JackMorgan · 2024-05-17 · in Bend: a high-level language that runs on GPUs (via HVM2)
  25. What is the terminal used for that demo? https://github.com/HigherOrderCO/Bend does it just skip commands it cannot execute or?
    comment by anonzzzies · 2024-05-17 · in Bend: a high-level language that runs on GPUs (via HVM2)
  26. …it seems fork is some kind of builtin function that is intimately related to the bend construct: https://github.com/HigherOrderCO/bend/blob/main/FEATURES.md#... . so presumably the initial fork(0) state is implicitly produced by the bend
    comment by anentropic · 2024-05-17 · in Bend: a high-level language that runs on GPUs (via HVM2)
  27. …say that the play on words that gives the language its name ("Bend") doesn't really make sense... https://github.com/HigherOrderCO/bend/blob/main/GUIDE.md > Bending is the opposite of folding. Whatever fold consumes, bend creates. But in…
    comment by anentropic · 2024-05-17 · in Bend: a high-level language that runs on GPUs (via HVM2)
  28. ▲ 9
    Bend – Massively parallel high-level programming language
    story by injuly · 2024-05-17 · 1 comment