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

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
#Dependent Types #proof-assistant #programming-language #type-theory #Data structures

Our great sponsors
  • Appwrite - The Open Source Firebase alternative introduces iOS support
  • InfluxDB - Access the most powerful time series database as a service
  • Sonar - Write Clean JavaScript Code. Always.
Our great sponsors

  • 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 (by cicada-lang)

  • 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.

    ¹http://www.ats-lang.org

  • 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: https://nzcp.covid19.health.nz/ and our implementation https://github.com/vaxxnz/nzcp-js

  • nl-covid19-coronacheck-idemix

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

    https://github.com/minvws/nl-covid19-coronacheck-idemix

    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

  • InfluxDB

    Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

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