Hacker GitHub

← All repos

anoma/juvix

View on GitHub ↗ ★ 508 Haskell archived

A language for intent-centric and declarative decentralised applications

7 mentions on Hacker News by 3 people: 0 stories, 7 comments · first 2022-08-25 · latest 2023-02-02

Mentions per year 7 mentions · busiest year 2022 (5)
20082026
AllStoriesComments NewestTopOldest
  1. …are Namada ( https://github.com/anoma/namada ), a sovereign proof-of-stake blockchain; Juvix ( https://github.com/anoma/juvix ), an experimental programming language; and Taiga ( https://github.com/anoma/taiga ), a framework for…
    comment by BackgroundClass · 2023-02-02 · in Ask HN: Who is hiring? (February 2023)
  2. …are Namada ( https://github.com/anoma/namada ), a sovereign proof-of-stake blockchain; Juvix ( https://github.com/anoma/juvix ), an experimental programming language; and Taiga ( https://github.com/anoma/taiga ), a framework for…
    comment by BackgroundClass · 2023-01-02 · in Ask HN: Who is hiring? (January 2023)
  3. …are Namada ( https://github.com/anoma/namada ), a sovereign proof-of-stake blockchain; Juvix ( https://github.com/anoma/juvix ), an experimental programming language; and Taiga ( https://github.com/anoma/taiga ), a framework for…
    comment by BackgroundClass · 2022-12-01 · in Ask HN: Who is hiring? (December 2022)
  4. …are Namada ( https://github.com/anoma/namada ), a sovereign proof-of-stake blockchain; Juvix ( https://github.com/anoma/juvix ), an experimental programming language; and Taiga ( https://github.com/anoma/taiga ), a framework for…
    comment by BackgroundClass · 2022-11-03 · in Ask HN: Who is hiring? (November 2022)
  5. …are Namada ( https://github.com/anoma/namada ), a sovereign proof-of-stake blockchain; Juvix ( https://github.com/anoma/juvix ), an experimental programming language; and Taiga ( https://github.com/anoma/taiga ), a framework for…
    comment by BackgroundClass · 2022-10-03 · in Ask HN: Who is hiring? (October 2022)
  6. …are Namada ( https://github.com/anoma/namada ), a sovereign proof-of-stake blockchain; Juvix ( https://github.com/anoma/juvix ), an experimental programming language; and Taiga ( https://github.com/anoma/taiga ), a framework for…
    comment by adulakis · 2022-09-01 · in Ask HN: Who is hiring? (September 2022)
  7. …to write VMs and DSLs to express safe application-level environments. An example is Anoma's Juvix: https://github.com/anoma/juvix A job I was looking at involved building a more programmatic interface to some legacy SCADA systems, i.e.…
    comment by sshine · 2022-08-25 · in Ask HN: How to get a job as a compiler engineer?