HigherOrderCO/HVM1 on Hacker News

…slop accusations. Older variant of what became Bend is 5 years old, so definitely not "vibe coded": https://github.com/HigherOrderCO/HVM1

comment by killerstorm · 2026-09-17 · in Bend – a language that blocks AI mistakes via proof and runs on GPUs

reminds me of https://github.com/HigherOrderCO/HVM I see Salvatore has a fork, so they are obviously aware of it. unsure whether theyre proposing the exact same thing without reference or citation…

comment by asgr · 2025-11-27 · in Interactive λ-Reduction

I took a look at the Taelin's work [1]. [1] https://github.com/HigherOrderCO/HVM From my understanding, main problem there is a compilation into (optimal) CUDA code and CUDA runtime, not language or internal representation per se. CUDA is…

comment by thesz · 2025-11-08 · in Cerebras Code now supports GLM 4.6 at 1000 tokens/sec

…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&prefix=true&que...

comment by sitkack · 2025-05-13 · in Launch HN: ParaQuery (YC X25) – GPU Accelerated Spark/SQL

…The Optimal Implementation of Functional Programming Languages, ISBN-13: 978-0060815424 [2] https://github.com/HigherOrderCO/HVM3/blob/main/src/HVML/Run... [3] https://github.com/HigherOrderCO/HVM/blob/main/src/hvm.c [4]…

comment by 4ad · 2024-12-19 · in Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches

Go on... EDIT: Found this: https://github.com/HigherOrderCO/HVM1/blob/master/guide/HOW....

comment by runeks · 2024-08-02 · in Functional languages should be so much better at mutation than they are

…I see that HVM compiles the inet to a large static term and then links against the runtime. https://github.com/HigherOrderCO/HVM/blob/5de3e7ed8f1fcee6f2... Will have to play around with this and look at the generated assembly, see how much…

comment by animaomnium · 2024-05-17 · in Bend: a high-level language that runs on GPUs (via HVM2)

…HVM2 nets, and a compiler from that language to C and CUDA HVM Will have to look at the code then! https://github.com/HigherOrderCO/HVM Edit: Wait nvm, it looks like the HVM2 cuda runtime is an interpreter, that traverses an in-memory…

comment by animaomnium · 2024-05-17 · in Bend: a high-level language that runs on GPUs (via HVM2)

Reminds me of HVM[0] [0] https://github.com/HigherOrderCO/HVM Really interesting to see how new lang concepts and refinements keep popping up this last decade, between Vale, Gleam, Hylo, Austral... Linear types really opened up lots of…

comment by aredox · 2024-01-23 · in SaberVM

…to GHC that in some cases is orders of magnitudes faster, at least from their benchmarks. [0] https://github.com/HigherOrderCO/hvm

comment by satvikpendem · 2023-11-20 · in Roc – A fast, friendly, functional language

See this for more context: https://github.com/HigherOrderCO/hvm

comment by Gadiguibou · 2023-11-12

You might be interested in https://github.com/HigherOrderCO/HVM

comment by howling · 2023-11-12 · in GPU Survival Toolkit for the AI age

…Haskell derivatives? As well as the HVM and its Lisp-like Haskell-like combo of a language [0]? [0] https://github.com/HigherOrderCO/hvm

comment by satvikpendem · 2023-11-12 · in OCaml: a Rust developer's first impressions

…like in Idris2? Also related, is this similar to how HVM works with their "Interaction nets"? https://github.com/HigherOrderCO/HVM https://www.idris-lang.org/ https://clojure.org/ I'm afraid I don't even understand what the difference…

comment by aeonik · 2023-11-05 · in A new F# compiler feature: graph-based type-checking

…some sequential Haskell code naively transpiled to HVM that GHC doesn't parallelize.) [9] : https://github.com/HigherOrderCO/HVM

comment by bmacho · 2023-10-28 · in Why programming languages matter [video]

…is also built on interaction nets - this computation model enables for-free parallelization [1] https://github.com/HigherOrderCO/HVM

comment by gsuuon · 2023-09-07 · in Show HN: iNet – A programming language for interaction nets

…The results are very impressive. [1] https://link.springer.com/chapter/10.1007/3-540-63237-9_19 [2] https://github.com/HigherOrderCO/HVM

comment by FullyFunctional · 2023-07-13 · in A History of Functional Hardware

…in compiling functional languages. [1] [0]: https://en.wikipedia.org/wiki/Interaction_nets [1]: https://github.com/HigherOrderCO/HVM

comment by howling · 2023-05-29 · in The halting problem is decidable on a set of asymptotic probability one (2006)

…in a way that resembles C, but even more profoundly. For example, in the following GitHub issue: https://github.com/HigherOrderCO/HVM/issues/167 I discuss how HVM is able to perform deforesting, one of the core techniques that made GHC so…

comment by LightMachine · 2023-03-28 · in Higher-Order Virtual Machine (HVM)

…), I believe that among other things, the issue presented here https://github.com/HigherOrderCO/HVM/issues/60 is really a fundamental blocker to serving as a general purpose runtime, which it appears HVM attempts at. Fund

comment by qazxcvbnm · 2023-03-28 · in Higher-Order Virtual Machine (HVM)

…[2]: https://discourse.haskell.org/t/high-order-virtual-machine-h... [3]: https://github.com/HigherOrderCO/HVM

comment by one-punch · 2023-03-26 · in An apologia of lazy evaluation

…tps://verdagon.dev/blog/zero-cost-memory-safety-regions-pa... [2] https://www.strlen.com/lobster/ [3] https://github.com/HigherOrderCO/HVM

comment by verdagon · 2023-03-09 · in Getting Past “Ampersand-Driven Development” in Rust

…the Higher-Order Virtual Machine for a functional, non-garbage-collected, and parallel runtime: https://github.com/HigherOrderCO/HVM

comment by klavinski · 2023-03-05 · in Building a new functional programming language

Join HVM and Kindelia’s Discord. https://github.com/HigherOrderCO/HVM Read Interaction Nets paper

comment by stealthcat · 2023-02-10 · in Ask HN: Burnt out from big tech. What's next?

…to like languages that have the V and L sounds in them, though I might be uniquely biased ;) [0] https://github.com/Kindelia/HVM [1] https://verdagon.dev/blog/generational-references [2] https://aardappel.github.io/lobster/memory_management…

comment by verdagon · 2022-09-23 · in The Val Programming Language

…The author has since moved on to building a runtime with optimal evaluation ( https://github.com/kindelia/hvm ) and a new proof language on top of that ( https://github.com/Kindelia/Kind2 ) with considerably better performance than exis

comment by smaddox · 2022-09-14 · in The Little Prover

…[1] https://verdagon.dev/blog/generational-references [2] https://vale.dev/memory-safe [3] https://github.com/Kindelia/HVM [4] https://www.strlen.com/lobster/

comment by verdagon · 2022-07-22 · in Some Thoughts on Zig

Check out HVM, an experiment to make copying immutable data really fast: https://github.com/Kindelia/HVM

comment by xigoi · 2022-07-13 · in Functional programming is finally going mainstream

…[5] [0] https://vale.dev/ [1] https://cone.jondgoodwin.com/ [2] https://www.strlen.com/lobster/ [3] https://github.com/Kindelia/HVM [4] https://antelang.org/ [5] https://dlang.org/blog/2022/06/21/dip1000-memory-safety-in-a...

comment by verdagon · 2022-06-30 · in Cell Lang: Why yet another programming language?

…and falls back to clone. It's not shared mutability, but Haskell without GC is pretty cool! https://github.com/Kindelia/HVM I particularly like D's approach because it's opt-in; we can use it in the areas of the program where we need…

comment by verdagon · 2022-06-22 · in Memory Safety in a Modern System Programming Language Pt. 1

…[1] https://aardappel.github.io/lobster/memory_management.html [2] https://github.com/Kindelia/HVM [3] https://www.microsoft.com/en-us/research/publication/perceus...

comment by verdagon · 2022-04-24 · in Chris Lattner on garbage collection vs. Automatic Reference Counting (2017)

…came to mind from having read about [3].) [1] https://ncatlab.org/nlab/show/reflexive+object [2] https://github.com/Kindelia/HVM/blob/master/HOW.md [3] https://100r.co/site/orca.html

comment by kmill · 2022-04-07 · in λ-2D: An exploration of drawing as programming language

ever check this out? https://github.com/Kindelia/HVM

comment by beanjuiceII · 2022-02-08 · in I would like a job writing Haskell

…is also quite useful. There are certainly many uses that I'm not creative enough to think of. [0] https://github.com/Kindelia/HVM/blob/master/HOW.md#bonus-abu...

comment by LightMachine · 2022-02-05 · in High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime

The How page [0] is nicely written! It was a real pleasure to read :) [0] https://github.com/Kindelia/HVM/blob/master/HOW.md

comment by conaclos · 2022-02-05 · in High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime

JFYI, the "This book" link on https://github.com/Kindelia/HVM/blob/master/HOW.md goes to a research gate page which has the wrong book for download (something about category theory). So, this dup primitive, is that explained in the book as…

comment by auggierose · 2022-02-05 · in High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime

…for that to work. In special, there are 3 important rules. I've just written an overview here: https://github.com/Kindelia/HVM/blob/master/HOW.md#bonus-abu...

comment by LightMachine · 2022-02-05 · in High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime

Readers will find HOW.md interesting too: https://github.com/Kindelia/HVM/blob/master/HOW.md

comment by dean177 · 2022-02-05 · in High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime