Sign in

Jimmy Miller

@jimmyhmiller.bsky.social
1.3K followers 254 following 87 posts

Compiler engineer and co-host of the feeling of computing podcast jimmyhmiller.com feelingof.com/episodes

PostsRepliesMedia
Jimmy Miller @jimmyhmiller.bsky.social · 29/09/2026
I spent some time playing with React Compiler to implement some optimizations. It was amazing how much performance I could gain. Makes me really want to spend more time in the frontend compiler space. So much potential performance left on the table. jimmyhmiller.com/what-does-th...
jimmyhmiller.com
Can we Make React Faster using the React Compiler?
I prototyped a number of optimizations as a way to learn more about the React Compiler and got some significant improvements.
050
Jimmy Miller @jimmyhmiller.bsky.social · 22/09/2026
I've always hated that mainstream languages don't have macros as powerful as lisp macros. So I'm doing my small part to fix that. First an argument why we need them. jimmyhmiller.com/change-our-l... Second a library to add them to typescript sweetener-ts.github.io
jimmyhmiller.com
We Should be Able to Change our Languages — Jimmy Miller
It's time we stopped treating languages as sacred fixed objects. We need now, more than ever, languages we can change.
5223
Reposted by Jimmy Miller
Ivy Reese @spiralganglion.com · 15/09/2026
here's a peak at what i've been doing for the past few years: building a calm, playful little space for thinking, doodling, journalling, and programming with materials like ink, paper, and… flux that spreads through your notes like a fluid wait what? www.youtube.com/watch?v=GurW...
youtube.com
PlayBook: A Programmable Paper Notebook
YouTube video by Ink & Switch
35218
Jimmy Miller @jimmyhmiller.bsky.social · 21/08/2026
Now that language adoption is not bottlenecked by people learning it or liking the syntax, we are going to start seeing more ambitious languages. Type system craziness, distributed systems languages, dsl first approaches. All the crazy dreams of pl nerds are now possible.
2163
Jimmy Miller @jimmyhmiller.bsky.social · 06/06/2025
For the longest time I shied away from low level programming. I always found it intimidating. It turns out it isn’t any harder than other programming. It’s just that everything written about it assumes too much. So here’s my attempt at an intro to machine code jimmyhmiller.com/machine-code...
jimmyhmiller.com
Machine Code Isn't Scary
Machine code isn't scary. If you can make sure your JSON conforms to a JSON schema, you can write machine code.
28813
Reposted by Jimmy Miller
Tomas Petricek @tomasp.net · 06/05/2025
Can software express critical reflections on its own nature in the same way post-modern architecture does? I don't have the answers, but I wrote a long text with some early thoughts: tomasp.net/architecture/
63412
Reposted by Jimmy Miller
Patrick Dubroy @dubroy.com · 03/02/2025
New blog post: Five coding hats → dubroy.com/blog/five-c... Yeah it's kinda goofy, but maybe also useful?
Early in my career, I was convinced there was “good code” and “bad code”. That you could look at something and — without knowing anything about the context — pass judgement on it.  These days, my views are much more nuanced. I try to adapt my style to the situation. The code I write, and the process I use, depends a lot more on what the goals are. Am I trying to bang together a quick prototype to learn something? Or am I fixing a bug that might affect hundreds of thousands of users? My approach would be completely different in those two scenarios.  Years ago, I read Edward De Bono’s Six Thinking Hats, which describes a framework for problem solving and creative thinking. The idea is that you can “put on a hat” to deliberately adopt a specific mode of thinking. It’s a bit corny but (imo) there’s a useful idea there.  Maybe this applies to different styles of programming, too? What “coding hats” do I use?
3196
Jimmy Miller @jimmyhmiller.bsky.social · 31/01/2025
In writing, there is a distinction between those who love to outline and those who discover their story through writing. We seem lack that distinction in the programming world. So I wanted to introduce it. jimmyhmiller.github.io/discovery-co...
jimmyhmiller.github.io
Discovery Coding
Discovery coding is a practice of understanding a problem by writing code first, rather than attempting to do some design process or thinking beforehand.
7303
Reposted by Jimmy Miller
Lu wilson @todepond.com · 26/12/2024
FUTURE OF CODING INTERVIEW featuring @unkai.bsky.social patreon.com/posts/118714678
patreon.com
Interview | Future of Coding
Get more from Future of Coding on Patreon
0143
Jimmy Miller @jimmyhmiller.bsky.social · 25/12/2024
Final Advent of Papers post: Against a Universal Definition of ‘type’. This paper is fantastic. Both haters and fans of types should read it. If every paper in computer science were as good as this one, this series would have been way easier. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Against a universal definition of ‘type’
Is there a universal definition of 'type'? Do we need one?
1170
Jimmy Miller @jimmyhmiller.bsky.social · 24/12/2024
Advent of Papers day 23: Do Artifacts Have Politics? I said no classics, but I made an exception for this one. It is undoubtably a classic, though one I don't think makes HN lists of papers, nor many CS curricula Your code does in fact have politics. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Do Artifacts Have Politics?
Do Artifacts Have Politics? Surprisingly, Betteridge's law does not hold here!
1131
Jimmy Miller @jimmyhmiller.bsky.social · 23/12/2024
Advent of Papers day 22: jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Once More—A Computer Revolution - Joseph Weizenbaum
In 1978, Joseph Weizenbaum asked if computers will really have a big impact, he was wrong in the most interesting way.
040
Jimmy Miller @jimmyhmiller.bsky.social · 22/12/2024
What is Conceptual Engineering and What Should It Be? For day 21 of advent of papers we are covering a topic completely ignored by software engineering, but crucial to it, Conceptual Engineering. How do we fix our broken concepts? How do we make new ones? jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
What is Conceptual Engineering and What Should It Be?
How can we fix our deficient concepts? When should we create new ones?
3192
Jimmy Miller @jimmyhmiller.bsky.social · 21/12/2024
Advent of Papers day 20 Amnon H Eden argues that computer science is really three different paradigms. Rationalistic, Technocratic, and Scientific. This paper argues that we should abandon the first two and "be scientific". Are they right? jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Three Paradigms of Computer Science
What is computer science isn't one unified thing, but actually three distinct disciplines?
070
Jimmy Miller @jimmyhmiller.bsky.social · 20/12/2024
What are you favorite, most interested, weirdest papers? Looking for papers I’m unfamiliar with as I’m finishing up my adventure of papers. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Advent of Papers (2024)
Each day I read and summarize a weird or intersting paper related to computing.
3114
Jimmy Miller @jimmyhmiller.bsky.social · 20/12/2024
Advent of papers day 19 Now it's time to get funky To the right now To the left Take it back now y'all Twelve hops this time Slide to the left Slide to the left Slide to the left Slide to the left Slide to the left Slide to the left Slide to the left jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Everybody Clap Your Hands
The cha cha slide is actually turing complete.
050
Jimmy Miller @jimmyhmiller.bsky.social · 19/12/2024
How can we understand the meaning of a program? James Grimmelmann gives us three ways. This is a fantastic paper, that I wish I had more time to summarize. Worth the read. Day 18 of advent of papers. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
The Structure and Legal Interpretation of Computer Programs
What do programs mean? Why does this matter for the law?
160
Jimmy Miller @jimmyhmiller.bsky.social · 18/12/2024
Advent of papers day 17: Are the things we learn from culture like programs? Are this programs at all like computer programs? Does this paper have substance? Am I just missing something? From the massive number of citations the paper has, I'm guessing so. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
The Cultural Part of Cognition
Are the things we learn in life programs? Can culture explain the brain?
161
Jimmy Miller @jimmyhmiller.bsky.social · 17/12/2024
Day 16 of advent of papers: Will Computers Ever Become Easy to Use? by Jef Raskin. Raskin believes that apps stand in the way of computers being easy. But in the nearly 20 years since, alternatives haven't really been explored. Will they ever be? jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Will Computers Ever Become Easy to Use?
Jef Raskin explores how computers could become easier to use. It's really not that great.
1121
Jimmy Miller @jimmyhmiller.bsky.social · 15/12/2024
On day 2 of advent of papers, we asked about the ontology of software. On day 15 we ask about the ontology of programming languages. Aren't these the same? According to our paper, no. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Programming Languages as Technical Artifacts
How do programming langauges get their meanings? How are these meanings related to the phyiscal implementations of them?
2120
Jimmy Miller @jimmyhmiller.bsky.social · 15/12/2024
Advent of Papers 15: This tutorial on bidirectional type checking really makes the whole seem way less magical. I was amazed at how easy writing a basic type checker with this setup was. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Bidirectional Type Checking
A super readable paper on how to implement a bidirectional type checker
1141
Jimmy Miller @jimmyhmiller.bsky.social · 14/12/2024
Advent of Papers day 13. What is knowledge? In this 3 page paper, Edmund Gettier over-turned a tradition reaching back to Plato which told us that it was "Justified True Belief". Turns out, that was wrong. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
What Knowledge Isn't
A three page paper overturned 2000 years of philosophy.
2102
Jimmy Miller @jimmyhmiller.bsky.social · 13/12/2024
What if your database didn't actually have to do all that work to write transactions, but could just promise you it would do it later? It turns out lazy evaluation in databases is just as interesting as it is in languages! Advent of papers day 12: jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Lazy Evaluation of Transactions in Database Systems
We discuss a fascinating paper that shows the benefits of only pretending to commit a transaction.
1100
Jimmy Miller @jimmyhmiller.bsky.social · 12/12/2024
Can OO and FP be reconciled? Probably not. But day 11 of advent of papers provides a super interesting take on a version of OO that is completely compatible with immutability and purity. On Understanding Data Abstraction, Revisited by William Cook. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
On Understanding Data Abstraction, Revisited
What if you could have your beautiful immutability, but keep object oriented programming?
2255
Jimmy Miller @jimmyhmiller.bsky.social · 11/12/2024
Large Models of What? Do LLMs actually model language? Not if we properly consider language in its full human context. In day 10 of advent of papers, we look at ways in which LLMs fall short. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Large Models of What?
Do large language models actually model language? Not if we think about language as it is actually used by humans
4403
Jimmy Miller @jimmyhmiller.bsky.social · 10/12/2024
What is a game? Wittgenstein famously asserted there was no way to define "games". Bernard Suits took that personally. Day 9 of advent of papers, I may have cheated because this isn't a computing paper. But it has completely changed the way I write my code. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
What is a Game?
Can we provide a definition of a game? How might it change the way we look at programming?
191
Reposted by Jimmy Miller
Red Blob Games @redblobgames.com · 08/12/2024
This has been a wonderful series to read!
0161
Jimmy Miller @jimmyhmiller.bsky.social · 08/12/2024
Why do all tools for remote work suck? Because they all keep trying to replicate the feeling of "being there". For advent of papers day 8 we look at a 1992 paper that gives us a better alternative. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Beyond Being There: Making Remote Work Better
What if instead of trying to recreate being in person, we embraced what remote work gives us?
0223
Jimmy Miller @jimmyhmiller.bsky.social · 08/12/2024
Advent of papers day 7. What is implementation? Well according to Rapaport the answer is "Semantic interpretation". But what does that mean? Well, it kind of sounds like the stuff haskellers say when they tell you about monads. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Implementation is Semantic Interpretation
What is implementation? Why does this paper not give us a good answer?
030
Jimmy Miller @jimmyhmiller.bsky.social · 07/12/2024
Will there ever be a good software development method? Why is the answer so definitively no? In day 6 of #AdventOfPapers we look at Peter Naur's "Intuition in Software Development" where he tells us exactly that. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Intuition in Software Development
All software development methods are bad. Peter Naur tells us why.
3240
Jimmy Miller @jimmyhmiller.bsky.social · 06/12/2024
Today's advent of papers explores a fascinating programming construct from Alex Warth and Alan Kay called Worlds. Worlds let you control mutation by branching your program state. Later if you decide you want those changes, you can commit them back. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Worlds: Mutability with Control
What if your programming langauge could spawn many possible worlds? Wouldn't that be cool?
1299
Jimmy Miller @jimmyhmiller.bsky.social · 05/12/2024
Day four of #AdventOfPapers. Is the Brain a Digital Computer? No. There is a tension between the idea that the brain is a computer and the fact that we can implement a computation with any physical media. It turns out, nothing is intrinsically a computer. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Is the Brain a Computer?
Is there a problem with thinking about the brain as a computer? Yes.
3231
Reposted by Jimmy Miller
Advent of Computing @adventofcomp.bsky.social · 04/12/2024
This is something I like to think about.
011
Jimmy Miller @jimmyhmiller.bsky.social · 04/12/2024
Squeaking in right before the self-imposed deadline, I bring to you advent of papers day 3. Sadly it's an awful paper. Writing about good papers takes time. So instead today I ranted about Google's paper on Tech Debt. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
Google's Awful Paper on Technical Debt
I ran out of time today, so I rant about this bad paper.
340
Jimmy Miller @jimmyhmiller.bsky.social · 03/12/2024
Today's advent paper is a work in ontology. What exactly is the ontological status of software? Where do programs exist? Nurbay Irmak tells us that software is an abstract artifact. Much like music is more than its score, software is more than its text. jimmyhmiller.github.io/advent-of-pa...
jimmyhmiller.github.io
What is Software Anyways? Where Does it Exist?
In the second of our advent of papers, we look at a seemingly pointless question. What exactly is software?
1224
Jimmy Miller @jimmyhmiller.bsky.social · 02/12/2024
Rather than trying to do advent of code, I'm doing advent of papers! jimmyhmiller.github.io/advent-of-pa... Hopefully I can read and share some of weirder computer related papers. First paper is Elephant 2000 by John McCarthy. Did you know he didn't just make lisp? Wonderful paper, worth a read.
jimmyhmiller.github.io
Advent of Papers (2024)
59425
Reposted by Jimmy Miller
Ivy Reese @spiralganglion.com · 29/11/2024
Every month, we do a Future of Coding bonus episode. They're mint. $5. Helps us do the show. You know the deal. This time, @jimmyhmiller.bsky.social and moi share a *lot lot* of thoughts about Visual Programming, circling @mwh.nz's Reclaiming The Unexplored. www.patreon.com/posts/reclai...
patreon.com
Reclaiming the Unexplored in Hybrid Visual Programming | Future of Coding
Get more from Future of Coding on Patreon
0237
Jimmy Miller @jimmyhmiller.bsky.social · 21/11/2024
One clever technique I learned from the gdb JIT interface is how to communicate between a program and a debugger. You just need an empty function! The debugger simply puts a breakpoint on this empty fn and reads some data from a predefined location (args or a global). Super simple, very effective.
271
Jimmy Miller @jimmyhmiller.bsky.social · 18/11/2024
When building a compiler, one of the things I always desperately want is a debugger that lets me compare across runs. It should by default save as much information (ast, ir, codegen, functions hit, arguments, etc) as it can and let me see the diff in all these areas.
5301
Jimmy Miller @jimmyhmiller.bsky.social · 11/11/2024
I’m making a functional language. I want a syntactic construct like clojures loop. (I have auto tail calls, want something nicer). But I never really liked loop + recur as the names for this construct. Loop is nice. But recur feels off. Anyone have suggestions? Happy for general thoughts as well.
870
Jimmy Miller @jimmyhmiller.bsky.social · 03/05/2023
I’ve never been a note taker or highlighter when reading. But now that I’m having a conversation with @spiralganglion.com on the podcast I’ve found it to be wonderful But it isn’t working for readings outside the podcast. For note takers, do you have a frame of mind? An audience? Any advice?
430
Jimmy Miller @jimmyhmiller.bsky.social · 02/05/2023
I’ve been streaming some work on an arm assembler in service of grander goals for prog langs I resisted this sort of wheel reinvention for so long Why? Because resisting NIH has been indoctrinated in my from my day jobs. Why have I let company logic dictate my personal life? When did I get boring?
020