Life & fun · November 15, 2023
Numbat – A programming language with physical dimensions as types
In plain words
Numbat is a programming language that treats physical dimensions as types, launched in 2023. It enables developers to write code that automatically tracks and validates units of measurement, preventing calculation errors across different physical quantities. The language is designed for scientists, engineers, and programmers who work with physical calculations and need built-in type safety for dimensional analysis. Its distinctive feature is the integration of dimensional analysis directly into the type system, reducing bugs in scientific and engineering applications.
written from the facts on this page · September 2026
More life & fun this month
the category →- TL
Life & fun · 10d ago · louisabraham.github.io
Photosynthesis fires two of your iPhone
Life & fun · 28d ago · photosynthesis.camera
SoloUno▲310Take control of hair pulling, nail biting & skin picking
Life & fun · 28d ago · solouno.io
Scroll through all 43,252,003,274,489,856,000 reachable Rubik's Cube permutations.
Life & fun · 26d ago · everycube.alen.is
Hi HN, I built Eigendrum, a web tool that solves the 2D wave equation for arbitrary shapes so you can hear what they sound like as drums. How it works: * Solves -∇²u = λu using finite element analysis (Kφ = λMφ) on a triangle mesh. * Validated to <0.1% error against closed-form solutions for circles (Bessel zeros) and rectangles. * Sound model factors in strike location, Rayleigh damping, and mallet width. * Includes Kac drums I & II to demonstrate identical sound spectra from different geometries. * No frameworks, build steps, or dependencies. Repo and tests:…
Life & fun · 27d ago · baselashraf81.github.io
Launched alongside, November 2023
the whole month →
Discover & book top creators to promote your product
Growth · 2023 · passionfroot.me
