Ask HN: What technology is “cutting edge” in 2022?

This page summarizes the projects mentioned and recommended in the original post on

Our great sponsors
  • Appwrite - The Open Source Firebase alternative introduces iOS support
  • SonarQube - Static code analysis for 29 languages.
  • Scout APM - Less time debugging, more time building
  • Agda

    Agda is a dependently typed programming language / interactive theorem prover.

  • coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  • Appwrite

    Appwrite - The Open Source Firebase alternative introduces iOS support . Appwrite is an open source backend server that helps you build native iOS applications much faster with realtime APIs for authentication, databases, files storage, cloud functions and much more!

  • cicada

    Cicada Language

  • ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

    Another language I would add to this list is the ATS Language¹. First released in 2013, it tries to follow closer to performance and minimalism of C which can make it a good candidate for systems level programming.


  • nzcp-js

    A verification library for COVID-19 Vaccine Passes in New Zealand

    I'm the author of one of the open source NZ vaccination passport libs. I'm pretty familiar with the specification and afaik I know theres no use of ZKP's. Its a fairly standard public/private key cryptography. Happy to be proven wrong though!

    Here's the spec: and our implementation

  • The documentation isn't that great, but the implementation is here:

    We use IDEMIX to create a unique proof per display of the QR code. So you cannot track a person as they use their QR code (if you have control of a network of scanner apps).

  • Pacman-3D-version

    3D rendered game using OpenGL

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts