Project Lana attempts to formalize hard to understand UIT in Lean

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
hardware-buttons template-engine-js data-labelling

AppSignal - Monitoring that respects your time & budget
APM, error tracking, and dashboards for modern web apps. Ten-minute setup, transparent flat pricing, and support from engineers who actually use the product.
www.appsignal.com
sponsored
Kargo - Stop Scripting Promotions. Start Shipping with Kargo
Kargo automates promotion across dev, staging, and prod with approval gates and verification. Open source, built by the team behind Argo CD. Download now.
akuity.io
sponsored

  1. LANA_report_202607

    In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”

  2. AppSignal

    Monitoring that respects your time & budget. APM, error tracking, and dashboards for modern web apps. Ten-minute setup, transparent flat pricing, and support from engineers who actually use the product.

    AppSignal logo
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

  • I Compared 4 Dungeon Generation Algorithms. One of Them Never Works.

    1 project | dev.to | 4 Sep 2026

  • I Trained a Vulnerability Detection Model. It Was Reading Comments, Not Code.

    1 project | dev.to | 4 Sep 2026

  • The Mathematical Principles of Quantum Computer [pdf]

    1 project | news.ycombinator.com | 27 Aug 2026

  • Python Polars Cheatsheet (based on our O'Reilly book)

    2 projects | news.ycombinator.com | 18 Aug 2026

  • AI-Generated Voice Evidence Poses Dangers in Court

    1 project | news.ycombinator.com | 11 Mar 2025

Did you know that TeX is
the 32nd most popular programming language
based on number of references?

Loading...