Luminal – A truly statically typed Python notebook
Hi everyone! We're the co-founders of Luminal. We built Luminal because we were frustrated with existing Python notebooks. Python is a very powerful programming language, but it can be hard/confusing to use. There are a few aspects to this: • Python likes functions with _lots_ of arguments. Without good type info this means constantly switching back and forth between the docs and your editor. • Except for basic syntax errors, you generally don't know that you have an error in your code until you run it. This can be very annoying, especially if running takes a while! • Many things that…
Luminal – A truly statically typed Python notebook launched on November 5, 2022 with 15 votes, #1,179 of 3,471 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 3 years on.
In plain words
Luminal is a Python notebook that adds static type checking to catch errors before code runs. Built for Python developers frustrated with existing notebooks, it leverages type information to reduce constant documentation switching and provides faster feedback on mistakes. The tool aims to streamline common Python tasks like data reading, plotting, and filtering while offering better performance than traditional browser-based notebooks.
written from the facts on this page · September 2026
From the sources
404 means the file is not found. If you have already uploaded the file then the name may be misspelled or it is in a different folder. You may get a 404 error for images because you have Hot Link Protection turned on and the domain is not on the list of authorized domains. If you go to your temporary url (http://ip/~username/) and get this error, there maybe a problem with the rule set stored in an .htaccess file. You can try renaming that file to .htaccess-backup and refreshing the site to see if that resolves the issue. It is also possible that you have inadvertently deleted your document root or the your account may need to be recreated. Either way, please contact your web host…from getluminal.com
In the maker’s words, at launch
Hi everyone! We're the co-founders of Luminal. We built Luminal because we were frustrated with existing Python notebooks. Python is a very powerful programming language, but it can be hard/confusing to use. There are a few aspects to this: • Python likes functions with _lots_ of arguments. Without good type…
Does a similar job
all alternatives →
Luminal – Open-source, search-based GPU compiler2025 · github.com · ▲153Hi HN, I’m Joe. My friends Matthew, Jake and I are building Luminal (https://luminalai.com/), a GPU compiler for automatically generating fast GPU kernels for AI models. It uses search-based compilation to achieve high performance. We take high level model code, like you'd have in PyTorch, and generate very fast GPU code. We do that without using LLMs or AI - rather, we pose it as a search problem. Our compiler builds a search space, generates millions of possible kernels, and then searches through it to minimize runtime. You can try out a demo in `demos/matmul` on mac to…
I built a hardware processor that runs Python2025 · runpyxl.com · ▲983Hi everyone, I built PyXL — a hardware processor that executes a custom assembly generated from Python programs, without using a traditional interpreter or virtual machine. It compiles Python -> CPython Bytecode -> Instruction set designed for direct hardware execution. I’m sharing an early benchmark: a GPIO test where PyXL achieves a 480ns round-trip toggle — compared to 14-25 micro seconds on a MicroPython Pyboard - even though PyXL runs at a lower clock (100MHz vs. 168MHz). The design is stack-based, fully pipelined, and preserves Python's dynamic typing without static type restrictions.…
- ALA little notebook for learning linear algebra with Python2025 · little-book-of.github.io · ▲190
Bolt – A super-fast, statically-typed scripting language written in C2025 · github.com · ▲261I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…
I am building a new Python library to read/write PDF files2022 · github.com · ▲279Hi HN! This is my pet project, written from scratch because there is so much to discover and learn in the process. The focus is on simplicity and incremental updates. Progress is slow because I do not have much spare time to work on this, but I would love to hear some feedback. Regards
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 23d ago · openbot.run
Talanoa▲346Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 21d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 28d ago · corespeed.io
Source: Show HN post ↗ · launch text quoted in part
Launched alongside, November 2022
the whole month →
I made a thing! In 2014, I was holding a stack of iPhones and thought to myself: "Hey, if I had each phone display a playing card, I could click a button and they'd shuffle themselves" I pared that idea all the way down to this: trading cards made of e-ink displays. Right now, each card costs me about $20 each, but with only a bit more scale, I think I can get that down to $10. In doing this project, I learned how to design electronics and circuit boards. I learned Rust and wrote my first driver, I upped my CAD skills, 3D printed, and did my first resin casting. I generated the images on the…
Dev tools · 2022 · wyldcard.io
