Categories, most helpful, and community links

Community links

• Community guidelines
• higherorderco.com

• 2 You must be logged in to vote

  💬

  Some issues with the atomics in hvm.c

  zin0viev started Aug 30, 2024 in General

  @zin0viev @enricozb

  @zin0viev @enricozb

  1
• 1 You must be logged in to vote

  💡

  for-loops

  Karilli started May 18, 2024 in Ideas

  @Karilli

  @Karilli

  0
• 1 You must be logged in to vote

  💬

  Busy Beaver optimization?

  Rudxain started Apr 30, 2024 in General

  @Rudxain

  @Rudxain

  0
• 1 You must be logged in to vote

  💡

  Thoughts about supercompilation and optimal reduction

  hirrolot started Dec 22, 2023 in Ideas

  @hirrolot

  @hirrolot

  0
• 1 You must be logged in to vote

  💬

  Is there a concurrency model for HVM?

  glyh started May 30, 2023 in General

  @glyh @zicklag

  @glyh @zicklag

  1
• 5 You must be logged in to vote

  💡

  Deno-like Execution Environment and Ecosystem

  zicklag started Mar 15, 2023 in Ideas

  @zicklag @Boscop @glyh

  @zicklag @Boscop @glyh

  3
• 2 You must be logged in to vote

  🙏

  HVM semantics (in Maude)

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

  @crides @Boscop

  @crides @Boscop

  3
• 11 You must be logged in to vote

  💡

  A path to a verified HVM

  rigille started May 19, 2022 in Ideas

  @rigille @Boscop @steinerkelvin

  @rigille @Boscop @steinerkelvin

  10
• 2 You must be logged in to vote

  🙏

  How Does HVM Avoid "Pointer Spaghetti"?

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

  @zicklag

  @zicklag

  0
• 6 You must be logged in to vote

  💡

  A lambda calculus for the HVM

  August-Alm started Mar 11, 2022 in Ideas

  @August-Alm @VictorTaelin

  @August-Alm @VictorTaelin

  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

  @zicklag @chkoreff @mgubi

  @zicklag @chkoreff @mgubi

  7
• 1 You must be logged in to vote

  💬

  Introspection?

  mgubi started Mar 18, 2023 in General

  @mgubi @zicklag

  @mgubi @zicklag

  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

  @zicklag @erlend-sh @dumblob

  @zicklag @erlend-sh @dumblob

  6
• 2 You must be logged in to vote

  🙏

  Sandboxing / Executing of Untrusted Code

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

  @zicklag @steinerkelvin

  @zicklag @steinerkelvin

  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

  @ken-okabe @steinerkelvin @VictorTaelin

  @ken-okabe @steinerkelvin @VictorTaelin

  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

  @matteo-meluzzi

  @matteo-meluzzi

  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

  @matteo-meluzzi @steinerkelvin

  @matteo-meluzzi @steinerkelvin

  1
• 3 You must be logged in to vote

  📣

  Welcome to HVM Discussions!

  steinerkelvin announced Jan 27, 2022 in Announcements

  @steinerkelvin @Swoorup

  @steinerkelvin @Swoorup

  1
• 8 You must be logged in to vote

  💬

  Relation to older work like BOHM?

  fritzo started Mar 6, 2022 in General

  @fritzo @VictorTaelin

  @fritzo @VictorTaelin

  1
• 5 You must be logged in to vote

  💡

  standard IO?

  ken-okabe started Jan 27, 2022 in Ideas

  @ken-okabe

  @ken-okabe

  1
• 2 You must be logged in to vote

  💬

  Theoretical background of HOVM?

  ken-okabe started Jan 26, 2022 in General

  @ken-okabe @leonardohn @VictorTaelin

  @ken-okabe @leonardohn @VictorTaelin

  4