Discussions

• 2 You must be logged in to vote

  💬

  Some issues with the atomics in hvm.c

  zin0viev started Aug 30, 2024 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Where do you see HVM compared to BEAM in the next couple of years?

  imxade started Jun 5, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  💡

  for-loops

  Karilli started May 18, 2024 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💬

  Busy Beaver optimization?

  Rudxain started Apr 30, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  🙏

  Where was the old CUDA branch?

  glyh asked Mar 25, 2024 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  💡

  Thoughts about supercompilation and optimal reduction

  hirrolot started Dec 22, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💬

  Is there a concurrency model for HVM?

  glyh started May 30, 2023 in General

  

  

  1
• 5 You must be logged in to vote

  💡

  Deno-like Execution Environment and Ecosystem

  zicklag started Mar 15, 2023 in Ideas

  

  

  

  

  3
• 2 You must be logged in to vote

  🙏

  HVM semantics (in Maude)

  crides asked Apr 2, 2023 in Q&A · Answered

  

  

  3
• 11 You must be logged in to vote

  💡

  A path to a verified HVM

  rigille started May 19, 2022 in Ideas

  

  

  

  

  10
• 2 You must be logged in to vote

  🙏

  How Does HVM Avoid “Pointer Spaghetti”?

  zicklag asked Apr 12, 2023 in Q&A · Unanswered

  

  

  0
• 6 You must be logged in to vote

  💡

  A lambda calculus for the HVM

  August-Alm started Mar 11, 2022 in Ideas

  

  

  1
• 4 You must be logged in to vote

  🙌

  Blog Post: Interaction Nets, Combinators, and Calculus

  zicklag started Mar 27, 2023 in Show and tell

  

  

  

  

  7
• 1 You must be logged in to vote

  💬

  Introspection?

  mgubi started Mar 18, 2023 in General

  

  

  6
• 2 You must be logged in to vote

  🙌

  HOP: Tiny HVM Pre-processor Thing and My First Functional Program

  zicklag started Mar 14, 2023 in Show and tell

  

  

  

  

  6
• 2 You must be logged in to vote

  🙏

  Sandboxing / Executing of Untrusted Code

  zicklag asked Nov 19, 2022 in Q&A · Answered

  

  

  2
• 4 You must be logged in to vote

  🙏

  The choice of C not Rust for the transpile target

  ken-okabe asked Jan 27, 2022 in Q&A · Answered

  

  

  

  

  6
• 2 You must be logged in to vote

  🙏

  More detailed explanation on how efficient lamba sharing can be useful

  matteo-meluzzi asked May 26, 2022 in Q&A · Unanswered

  

  

  0
• 3 You must be logged in to vote

  🙏

  HOW.md - Low Level Implementation paragraph

  matteo-meluzzi asked May 1, 2022 in Q&A · Answered

  

  

  1
• 3 You must be logged in to vote

  📣

  Welcome to HVM Discussions!

  steinerkelvin announced Jan 27, 2022 in Announcements

  

  

  1
• 8 You must be logged in to vote

  💬

  Relation to older work like BOHM?

  fritzo started Mar 6, 2022 in General

  

  

  1
• 5 You must be logged in to vote

  💡

  standard IO?

  ken-okabe started Jan 27, 2022 in Ideas

  

  

  1
• 2 You must be logged in to vote

  💬

  Theoretical background of HOVM?

  ken-okabe started Jan 26, 2022 in General

  

  

  

  

  4