language on Hacker News
234 titles from 195 authors in the last 30 days, with 221 distinct links and 36 Show HN.
Counts titles, it does not confirm facts. Open the source before concluding anything.
Projects on this term
The score comes from our model.
- Show HN: KerfScript Programming Language for Laser Cutting · score 7.3
KerfScript is a domain-specific programming language and library for laser cutting, analogous to OpenSCAD but designed for flat parts with built-in support for kerf compensation, finger joints, living hinges, and sheet packing. It ships a language interpreter, standard library, playground, Node.js/browser/WASM library API for building generators, and an MCP server for AI assistants. The project is notable for treating laser cutting as a first-class programming target with a coherent toolchain and many worked examples.
- Show HN: Phobos – a tiny kernel language that now runs LLMs on a 2019 GPU · score 7.3
Phobos is a tile-based GPU kernel language (Triton-inspired, MLIR/LLVM-based) that also powers a full GGUF LLM inference engine and an OpenAI-compatible server. It targets low-VRAM machines with expert caching for MoE models and reports decoding at or above llama.cpp speeds while reaching 87% of cuBLAS SGEMM throughput. The compiler-plus-runtime plus clustering story makes it an unusually ambitious single-author systems project.
- Show HN: Lessong - Turn any song into a language lesson · score 7.3
Lessong is a Python tool that transforms any song into a language lesson by separating vocals, transcribing lyrics, translating lines, and generating a narrated audio lesson over a looping instrumental. It cleverly combines Demucs, ElevenLabs, OpenAI, and librosa for beat-aligned mixing and caching, making it a polished and technically impressive pipeline. The concept is refreshingly novel and the documentation is thorough, though its practical utility is currently limited by API costs and rights concerns.
- Show HN: Chelis, a tensor language agents can write and prove · score 7.3
Chelis is a tensor language designed for AI agents to write and prove programs, featuring named dimensions, effect tracking, and formal verification via SMT and Lean. It stands out by integrating an MCP server for agent interaction and providing a proof stack that checks properties, making it a novel tool for safe numerical computing.
Recent titles
- Sayloe – Speak in one language, type in another on Mac
2026-11-01 · sayloe.com · HN discussion - V0.5.0 of PSSA: a non-transformer language model
2026-11-01 · github.com · HN discussion - Show HN: Kin – Natural language search for family voice notes and memories
2026-11-01 · kin.camera · HN discussion - Earliest spoken audio of endangered U.S. language discovered
2026-11-01 · cam.ac.uk · HN discussion - Toit. Language for ESP32
2026-10-31 · toit.io · HN discussion - Inference engine in game scripting language using macros
2026-10-31 · dasllama.io · HN discussion - Show HN: KerfScript Programming Language for Laser Cutting
2026-10-31 · kerfscript.mylasertools.com · HN discussion - Show HN: A language model that lives in a boot sector
2026-10-31 · github.com · HN discussion - Lspkit – a Rust Toolkit for Building Programming Language Toolsets
2026-10-31 · lspkit.dev · HN discussion - Language Models Need Sleep: Learning to Self-Modify and Consolidate Memories
2026-10-31 · arxiv.org · HN discussion - ProgramBench: Can Language Models Rebuild Programs from Scratch?
2026-10-30 · github.com · HN discussion - Copper – A minimal low-level programming language with OOP and generics
2026-10-30 · tibleiz.net · HN discussion - Language models running locally on hardware that has no business running them
2026-10-30 · github.com · HN discussion - Language Oriented Low Level Programming with Pille [video]
2026-10-30 · youtube.com · HN discussion - Show HN: Pep/nom, a sed-inspired language for parsing
2026-10-30 · nomlang.org · HN discussion - GitHub language bar is lying (how to fix it)
2026-10-30 · mkennedy.codes · HN discussion - MacoraOne – A C bytecode VM, language runtimes, and developer tools
2026-10-30 · github.com · HN discussion - Efficient Streaming Language Models with Attention Sinks
2026-10-30 · idlemachines.co.uk · HN discussion - Rockstar is a programming language based on 1980s hard rock lyrics
2026-10-29 · codewithrockstar.com · HN discussion - Constraint as Language: The Aesthetics of New Media and the Fate of the Image
2026-10-29 · medium.com · HN discussion - Language and Intelligence: What Can/Cannot AI Do with Natural Language? (2022)
2026-10-29 · arxiv.org · HN discussion - Show HN: Hackerscad – script 3D solids in a C/JS-like language, with MCP server
2026-10-29 · hackerscad.com · HN discussion - Show HN: Google translate replacement for language learners
2026-10-29 · manalect.com · HN discussion - Compile-time dependent types in the Syl programming language
2026-10-29 · thenumb.at · HN discussion - Show HN: Halis – A secure, self-hosting, native-first programming language
2026-10-29 · github.com · HN discussion - Show HN: MealWords – Show waiters what you can't eat, in their language
2026-10-29 · mealwords.com · HN discussion - Mull: Note-Taking with a Language Server
2026-10-29 · github.com · HN discussion - N-gram hinted language modeling: NanoGPT Speedrun in 6.7s
2026-10-29 · brunborg.com · HN discussion - Local Inference with Large Language Models
2026-10-29 · jacquesmattheij.com · HN discussion - Albite – a self-hosted, dependently typed language with Rust syntax
2026-10-28 · albite-lang.com · HN discussion