Show HN: Coalton Playground – Type-Safe Lisp in the Browser

17 agambrahma 1 8/12/2025, 5:39:39 PM coalton.app ↗

I built a browser-based REPL for Coalton, a statically typed Lisp dialect that merges Haskell’s type system with Common Lisp.

Coalton gives you: - Algebraic data types, pattern matching, static guarantees - Full interoperability with dynamic Lisp functions

Demo & examples: https://coalton.app

Under the hood: Prebuilt SBCL cores with Coalton preloaded, running on a droplet

Comments (1)

Learn basics of quantization with beta access to TheStage AI's QLIP framework (docs.thestage.ai)

Elysia – open-source agentic AI platform (github.com)

Show HN: I accidentally built a startup idea validation tool (validationly.com)

We got the internet all wrong (thedispatch.com)

We caught companies making it harder to delete your personal data online (themarkup.org)

Novel Protein to Treat Carbon Monoxide Poisoning in Minutes (health.pitt.edu)

Iceberg Table Corruption and Data Loss in Production (ryft.io)

Teaching New Ways to Build Software with Aravind Putrevu [audio] (coffeeandopensource.com)

Performative virtue-signaling has become a threat to higher ed (thehill.com)

Perplexity makes a bid for Google Chrome (9to5google.com)

AI content is tainting preprints: how moderators are fighting back (nature.com)

The Missing Protocol: Let Me Know (deanebarker.net)

Sam Altman challenges Elon Musk with plans for Neuralink rival (ft.com)

Arizona Iced Tea may be forced to raise price of 99c cans (dexerto.com)

No printers or PCs, Starbucks Korea tells customers (bbc.com)

Serverless WireGuard (proxylity.com)

See-thru Game Boy is a work of art (theverge.com)

OpenAI's big GPT-5 launch gets bumpy (axios.com)

Take part in decision-making survey (barchukova.me)

The Great Unbalding (nymag.com)

The Engineering Marvel That China Hopes Will Help Wean It Off Foreign Energy (wsj.com)

Altcoin season: Watch out for Base Ecosystem

Show HN: AI app for learning Sanskrit, English, Hindi, Kannada and more (indilingo.in)

Show HN: AI Trust Proof – Help AI Trust You with Blockchain-Verifiable Signals (aitrustproof.com)

Is Nuclear Energy Our Best Shot at Saving the Planet? (skeptic.com)

Print, a one-line BASIC program (10print.org)

Automated Browser Testing with Claude Code Agents and Browserbase (ritza.co)

Welcome to ParlaSpeech (clarinsi.github.io)

Cloudflare Repackages Pricing (blog.cloudflare.com)

Nanodevice brings personalized genomics closer to reality (phys.org)

.NET 10 Preview 7 is now available (devblogs.microsoft.com)

Perito Moreno became the first superstar glacier, now set to disappear (theconversation.com)

Slopfest: how I tried to fix my Twitter feed (stuff.hdemirev.com)

From object to iframe – general embedding technologies (developer.mozilla.org)

Researchers uncover secretive Russian spy unit by studying commemorative badges (intelnews.org)

Show HN: Mistral-7B training using pyspark,DeepSpeed (github.com)

Think Stats, 3rd edition (allendowney.github.io)

We Create (linus.coffee)

You've got drought: UK gov suggests you save water by – – – deleting old emails (theregister.com)

Gustav: A sprint orchestrator for Claude Code (github.com)

Laws of Tech: Commoditize Your Complement (gwern.net)

Russia Is Suspected to Be Behind Breach of Federal Court Filing System (nytimes.com)

Show HN: Shhhh Pricing – Price Hider for Non-Logged-In Users (apps.shopify.com)

OpenBench: Provider-agnostic, open-source evaluation infrastructure for LLMs (github.com)

UK government suggests deleting files to save water (theverge.com)

The 'Blue Guide' on the implementation of EU product rules 2022 (eur-lex.europa.eu)

Idea-Driven Ideas (vitalik.eth.limo)

Wireless OLED Contact Lens for Retinal Diagnostics (news.kaist.ac.kr)

Four radioactive wasp nests found on South Carolina nuclear facility (arstechnica.com)

Show HN: Variable Font Debugger (saewitz.com)

Show HN: Coalton Playground – Type-Safe Lisp in the Browser

Comments (1)