{"site":"startup.is","path":"/projects/attalambda","title":"Attalambda","generated_at":"2026-10-14T05:30:15.986Z","data":{"site":"startup.is","org_key":"attalambda.com","slug":"attalambda","name":"Attalambda","kind":"project","country":"xx","place_key":"xx/com","website":"https://attalambda.com","summary":"AttaLambda: a language where types and data are made of untyped lambdas","extra":{"launched":"2026-09-14","launch_post":"https://news.ycombinator.com/item?id=49699477","hn_score":2,"domain_created":"2026-09-09","classified":{"kind":"project","confidence":0.95,"model":"jev-1.13.0"},"address":null,"phones":[],"email":null,"profiles":[],"rating":null,"reviews":null,"rating_source":null,"rating_read":null,"also_listed_as":[],"related":[],"listing_seen":null,"listed_since":"2026-09-14","located_by":null,"place_from":null},"status":"published","provenance":[{"field":"name","from":"hn_show","observed_at":"2026-09-14","url":"https://news.ycombinator.com/item?id=49699477"},{"field":"website","from":"hn_show","observed_at":"2026-09-14","url":"https://news.ycombinator.com/item?id=49699477"},{"field":"summary","from":"hn_show","observed_at":"2026-09-14","url":"https://news.ycombinator.com/item?id=49699477"}],"first_seen":"2026-10-05T14:51:01.449Z","last_verified":"2026-09-14","web":{"domain":"attalambda.com","site_status":null,"captured_at":"2026-09-15T22:22:34.714Z","thumb_url":"https://cdn.backup.im/file/screenshot-archive/a/attalambda.com_20260916_thumb.jpg","shot_url":"https://cdn.backup.im/file/screenshot-archive/a/attalambda.com_20260916.jpg","desktop_thumb_url":"https://cdn.backup.im/file/screenshot-archive/a/attalambda.com_20260916_desktop_thumb.jpg","title":"AttaLambda — A small language built on lambda calculus","description":"AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.","synced_at":"2026-10-05T14:56:15.962Z"}}}