A misalignment of AI in mathematics
https://terrytao.wordpress.com/2026/09/11/a-severe-misalignm...https://www.economist.com/science-and-technology/2026/09/11/..., https://unwall.app/www.economist.com/science-and-technology/...
There are a bunch of escape hatches if you want to get to the lower level platform (eg use JS libraries, or express a particular piece of styling in HTML+CSS), but the core experience is very VB-like: drag, drop, edit properties, run code on events.
https://terrytao.wordpress.com/2026/09/11/a-severe-misalignm...https://www.economist.com/science-and-technology/2026/09/11/..., https://unwall.app/www.economist.com/science-and-technology/...
We’re looking for an experienced all-rounder to work on the core Anvil platform, with a focus on the back-end. Our stack is mostly Clojure, Javascript, Python, Postgres, and container tools – but we're looking for someone who isn't afraid to jump into something you haven't used before.
You’ll be working with other seriously good all-rounders, including the founders (relevant PhDs, kernel contributors, built a dancing fountain for fun, that sort of thing) and senior colleagues (eg: Stu went from teaching Python in maths class to reverse-engineering our drag'n'drop editor in months), as well as our other developers and developer advocates. We're bootstrapped and profitable, with a small, smart, friendly and diverse team.
Building dev tools is great! We're solving problems we've experienced ourselves, our customers are developers just like us, and platforms have the most fun engineering problems.
For full job descriptions, and to hear what it's like working here, go to https://anvil.works/jobs.
We work hybrid (in the office Tue-Thu, wherever you like Mon/Fri). If you have questions, I'm a founder and my email's in my profile.
We make an open-source web framework, an online code editor, a GUI builder, and a PaaS hosting platform. Together, you can build and host a full-stack web application - and all you need is a little Python. (Yes, even the client-side code - we compile Python to JS with a Pythonic GUI framework!)
We’re looking for an experienced all-rounder to work on the core Anvil platform, with a focus on the back-end. Our stack is mostly Clojure, Javascript, Python, Postgres, and container tools – but we're looking for someone who isn't afraid to jump into something you haven't used before.
You’ll be working with other seriously good all-rounders, including the founders (relevant PhDs, kernel contributors, built a dancing fountain for fun, that sort of thing) and senior colleagues (eg: Stu went from teaching Python in maths class to reverse-engineering our drag'n'drop editor in months), as well as our other developers and developer advocates. We're bootstrapped and profitable, with a small, smart, friendly and diverse team.
Building dev tools is great! We're solving problems we've experienced ourselves, our customers are developers just like us, and platforms have the most fun engineering problems.
For full job descriptions, and to hear what it's like working here, go to https://anvil.works/jobs.
We work hybrid (in the office Tue-Thu, wherever you like Mon/Fri). If you have questions, I'm a founder and my email's in my profile.
We make an open-source web framework, an online code editor, a GUI builder, and a PaaS hosting platform. Together, you can build and host a full-stack web application - and all you need is a little Python. (Yes, even the client-side code - we compile Python to JS and provide a GUI framework!)
We’re looking for an experienced all-rounder to work on the core Anvil platform, with a focus on the back-end. Our stack is mostly Clojure, Javascript, Python, Postgres, and container tools – but we're looking for someone who isn't afraid to jump into something you haven't used before.
You’ll be working with other seriously good all-rounders, including the founders (relevant PhDs, kernel contributors, builders of backyard dancing fountains) and senior colleagues (eg: Stu went from teaching Python in maths class to reverse-engineering our drag'n'drop editor in months), as well as our other developers and developer advocates. We're bootstrapped and profitable, with a small, smart, friendly and diverse team.
Building dev tools is great! We're solving problems we've experienced ourselves, our customers are developers just like us, and platforms have the most fun engineering problems.
For full job descriptions, and to hear what it's like working here, go to https://anvil.works/jobs.
We work hybrid (in the office Tue-Thu, wherever you like Mon/Fri). If you have questions, I'm a founder and my email's in my profile.
We make an open-source web framework, an online code editor, a GUI builder, and a PaaS hosting platform. Together, you can build and host a full-stack web application - and all you need is a little Python. (Yes, even the client-side code - we compile Python to JS and provide a GUI framework!)
We’re looking for developers with great communication skills, to show people how to build awesome things with Anvil. You’ll be building example apps; writing how-to guides, blog posts and tutorials; presenting Anvil at conferences; and helping our users – from individual developers to huge tech companies – build their applications. And then you’ll help us work out how to improve Anvil for them.
It's rewarding work – developers love being introduced to Anvil (our stand is always crowded[0] at conferences!). Plus, there are all the advantages of a small startup: lots of autonomy and huge impact. You'll be working directly with the founders as well as some seriously talented colleagues.
We're bootstrapped and profitable, with customers ranging from tiny (one-person startups) to enormous (HSBC, Bayer, Deloitte, etc). For a full job description, to hear what it's like working here, and to apply, go to https://anvil.works/jobs.
We work hybrid (in the office Tue-Thu, wherever you like Mon/Fri), and we're not looking for fully-remote colleagues right now, but we can sponsor your UK visa. If you have questions, I'm a founder and my email's in my profile.
We make an open-source web framework, an online code editor, a GUI builder, and a PaaS hosting platform. Together, you can build and host a full-stack web application - and all you need is a little Python. (Yes, even the client-side code - we compile Python to JS and provide a GUI framework!)
We’re looking for developers with great communication skills, to show people how to build awesome things with Anvil. You’ll be building example apps; writing how-to guides, blog posts and tutorials; presenting Anvil at conferences; and helping our users – from individual developers to huge tech companies – build their applications. And then you’ll help us work out how to improve Anvil for them.
It's rewarding work – developers love being introduced to Anvil (our stand is always crowded[0] at conferences!). Plus, there are all the advantages of a small startup: lots of autonomy and huge impact. You'll be working directly with the founders as well as some seriously talented colleagues.
We're bootstrapped and profitable, with customers ranging from tiny (one-person startups) to enormous (HSBC, Bayer, Deloitte, etc). For a full job description, to hear what it's like working here, and to apply, go to https://anvil.works/jobs.
We work hybrid (in the office Tue-Thu, wherever you like Mon/Fri), and we're not looking for fully-remote colleagues right now, but we can sponsor your UK visa. If you have questions, I'm a founder and my email's in my profile.
We make an open-source web framework, an online code editor, a GUI builder, and a PaaS hosting platform. Together, you can build and host a full-stack web application - and all you need is a little Python. (Yes, even the client-side code - we compile Python to JS and provide a GUI framework!)
---
1. Senior Developer:
We’re looking for an experienced all-rounder to work on the core Anvil platform, with a focus on the back-end. Our stack is mostly Clojure, Javascript, Python, Postgres, and container tools – but we're looking for someone who isn't afraid to jump into something you haven't used before.
You’ll be working with other seriously good all-rounders, including the founders (relevant PhDs, kernel contributors, builders of backyard dancing fountains) and senior colleagues (eg: a former maths teacher who reverse-engineered our drag'n'drop editor just to build more UI components), as well as our other developers and developer advocates. We're bootstrapped and profitable, with a small, smart, friendly and diverse team.
Building dev tools is great! We're solving problems we've experienced ourselves, our customers are developers just like us, and platforms have the most fun engineering problems.
---
2. Developer Advocate:
We’re looking for a developer with great communication skills to show people how to build awesome things with Anvil, and to make Anvil better to use.
You’ll be writing how-to guides, blog posts and tutorials, building example apps, presenting Anvil at conferences, and helping our users – from individual developers to huge companies – build their web applications. You’ll then use what you’ve learned to help us make Anvil better to use. That might mean deciding what examples to build, or it might mean deciding that we need to redesign the first-run experience for the Anvil Editor – and then doing it.
It's rewarding work – developers love being introduced to Anvil (we get mobbed at conferences!). Plus, there are all the advantages of an early-stage startup: seriously smart colleagues, small team, lots of autonomy, and huge impact. (Did I mention we're diverse, friendly and supportive?)
---
For full job descriptions, and to hear what it's like working here, go to https://anvil.works/jobs.
We work hybrid (in the office Tue-Thu, wherever you like Mon/Fri). If you have questions, I'm a founder and my email's in my profile.
We make an open-source web framework, an online code editor, a GUI builder, and a PaaS hosting platform. Together, you can build and host a full-stack web application - and all you need is a little Python. (Yes, even the client-side code - we compile Python to JS and provide a GUI framework!)
We’re looking for an experienced all-rounder to work on the core Anvil platform, with a focus on the back-end. Our stack is mostly Clojure, Javascript, Python, Postgres, and container tools – but we're looking for someone who isn't afraid to jump into something you haven't used before.
You’ll be working with other seriously good all-rounders, including the founders (relevant PhDs, kernel contributors, builders of backyard dancing fountains) and senior colleagues (eg: a former maths teacher who reverse-engineered our drag'n'drop editor to build more UI components), as well as our other developers and developer advocates. We're bootstrapped and profitable, with a small, smart, friendly and diverse team.
Building dev tools is great! We're solving problems we've experienced ourselves, our customers are developers just like us, and platforms have the most fun engineering problems.
For full job descriptions, and to hear what it's like working here, go to https://anvil.works/jobs.
We work hybrid (in the office Tue-Thu, wherever you like Mon/Fri). If you have questions, I'm a founder and my email's in my profile.
We make an open-source web framework, an online code editor, a GUI builder, and a PaaS hosting platform. Together, you can build and host a full-stack web application - and all you need is a little Python. (Yes, even the client-side code - we compile Python to JS and provide a GUI framework!)
We’re looking for an experienced all-rounder to work on the core Anvil platform, with a focus on the back-end. Our stack is mostly Clojure, Javascript, Python, Postgres, and container tools – but we're looking for someone who isn't afraid to jump into something you haven't used before.
You’ll be working with other seriously good all-rounders, including the founders (relevant PhDs, kernel contributors, builders of backyard dancing fountains) and senior colleagues (eg: a former maths teacher who reverse-engineered our drag'n'drop editor to build more UI components), as well as our other developers and developer advocates. We're bootstrapped and profitable, with a small, smart, friendly and diverse team.
Building dev tools is great! We're solving problems we've experienced ourselves, our customers are developers just like us, and platforms have the most fun engineering problems.
For full job descriptions, and to hear what it's like working here, go to https://anvil.works/jobs.
We work hybrid (in the office Tue-Thu, wherever you like Mon/Fri). If you have questions, I'm a founder and my email's in my profile.
The attribution wasn't subtle - a substantial fraction of Baidu's ads/analytics traffic served to domestic Chinese users was rewritten to hammer that specific repository directly.
NYT coverage at the time: https://www.nytimes.com/2015/03/31/technology/china-appears-...
We make an open-source web framework, an online code editor, a GUI builder, and a PaaS hosting platform. Together, it's a platform for building and hosting full-stack web applications, entirely in Python.
Web development is way too complicated, especially if you're not a professional full-stack dev. So we're fixing it: Instead of writing JS/HTML/CSS/Python/SQL and all the associated frameworks, Anvil enables developers to design pages with drag-and-drop, write Python that runs in the browser and on the server, set up a database, and deploy their code instantly as a hosted service.
---
1. Senior Developer
We’re looking for an experienced all-rounder who's comfortable with a variety of technologies to work on the core Anvil platform, with a focus on back-end and systems engineering. Our stack is mostly Clojure, Javascript, Python, Postgres, and container tools – but we're looking for someone who isn't afraid to jump into something you haven't used before.
You’ll be working with seriously good all-rounders, including the founders (PhDs in programming usability, kernel contributors, builders of backyard dancing fountains) and senior colleagues (a former maths teacher who went from “teaching Python to students” to “reverse-engineering Anvil’s designer to build better UI components” in months), as well as our other developers and developer advocates. It’s a small, smart, friendly and diverse team, and all of us care deeply about building interesting technology that makes life easier for other developers.
Building dev tools is great! We're solving problems we have ourselves, our customers are developers just like us, and platforms get the best engineering problems.
---
2. Developer Advocate
We’re looking for a developer with great communication skills to show people how to build awesome things with Anvil, and to make Anvil better to use.
You’ll be writing how-to guides, blog posts and tutorials, building example apps, presenting Anvil at conferences, and helping our users – from individual developers to huge companies – build their web applications. You’ll then use what you’ve learned to help us make Anvil better to use. That might mean deciding what examples to build, or it might mean deciding that we need to redesign the first-run experience for the Anvil Editor – and then doing it.
It's rewarding work – developers love being introduced to Anvil (we get mobbed at conferences!). Plus, there are all the advantages of an early-stage startup: seriously smart colleagues, small team, lots of autonomy, and huge impact. (Did I mention we're diverse, friendly and supportive?)
---
For full job descriptions, and to hear what it's like working here, go to https://anvil.works/jobs.
We work hybrid (in the office in Cambridge Tue-Thu, wherever you like Mon/Fri).
If you have questions, reach out to me - I'm a founder, and my email's in my profile.
It's quite explicitly VB-esque (only using Python), and having a single paradigm rather than stitching together several different programs speeds things up even for those who can write HTML/JS/CSS in their sleep. (And of course, you can drop out to JS/CSS/HTML if you want.) Overall I think the development speed is comparable to VB6.
Aside: I get grouchy about the term "low-code", mostly because it's almost always a lie (you're going to need the code, and most "low-code" systems just hide how much that's going to hurt - which is why we put the code front and centre), and it causes people to lump Anvil in with, eg, Retool rather than, eg, Pynecone/Viola/Beeware...but this is definitely getting off topic ;)
Interested to hear how your scale-up/B2C users deal with the round-trip delays - I guess that's less of a deal with websites than interactive apps? (Should probably have grabbed you at PyCon to ask, but we were both pinned down pretty hard! I did manage to wave at you though, I think...)
This might not be what you were imagining, but I think this js more or less what we built at https://anvil.works (I'm a founder).
Anvil's UI toolkit is built "straight on the DOM", and it's shaped like Python objects rather than going via some other React-y abstraction. This is possible because we expose the difference between client and server code - even though they're both in Python (transpiled as necessary), and you can make mostly-transparent function calls from one to the other. Contrast Pynecone, where the UI is "puppeteered" from the back end over a websocket. And of course, because you're writing in-browser code, the HTML/JS interop is pretty straightforward (in fact, you can import JS objects right into Python code).
There are downsides to our approach, of course - the developer needs to understand the difference between code in the browser and on the server, which can be a hurdle, and it's really neat that Pynecone apps can be a single Python file - but we've seen people have scaled up to some pretty big apps with Anvil!
https://anvil.works/open-source
(I'm a founder)
FWIW one of these was readily available from my existing bank (Barclays) last time I needed one (~10yrs ago). Bit of hoop-jumping to go through, but definitely worth it for $30k/year.
https://anvil.works/blog/python-in-the-browser-talk
(We chose one of the Python-to-JS compilers, https://skulpt.org, for the Anvil web-app platform, because it's much lighter weight than this. It's a couple of hundred kb on the wire, and you can call to the server for any heavy lifting.)
Here's the giveaway:
> A huge part of the problem is that digital spaces generally have no equivalent of a disapproving glare.
Every. Single. Platform. has an equivalent to this - except Twitter. Reddit (and HN) have visible downvotes. YouTube's downvotes, invisible though they now are, can at least influence the recommender algorithm. Even Facebook has "frowny emoji" reactions. But on Twitter, the only way to express disapproval is to "join the conversation" - thereby amplifying it, and incurring all the negative consequences Devon explores.
It's engagement genius. (Accidental genius, naturally - like most of Twitter's "core game loop", it's an unforseen, emergent phenomenon about which its inventors seem faintly embarrassed). The "grifter" problem Devon mentions exists almost exclusively on Twitter, because it's incentivised by the platform!
Normally I wouldn't get so heated about this stuff, but Twitter has attracted a critical mass of the world's journalists, so its incentives flow directly into The National Conversation(TM). This has visibly malign results, prompting many people to look for ways to fix it. This is a noble aim, but won't get anywhere if we regard Twitter's design decisions as immutable and inevitable, rather than a deliberate choice.
PipeWire is a project that aims to greatly improve handling of audio and video under Linux. It provides a low-latency, graph based processing engine on top of audio and video devices that can be used to support the use cases currently handled by both pulseaudio and JACK.
We make an open-source web framework, an online code editor, a GUI builder, and a PaaS hosting platform.
Anvil is a platform for building and hosting full-stack web applications, entirely in Python. We're looking for developers to help us build our hosting platform-as-a-service, online code editor, and drag-and-drop GUI designer, as part of a small, friendly and diverse team.
Web development is way too complicated, so we're fixing it: Instead of writing JS/HTML/CSS/Python/SQL and all the associated frameworks, Anvil enables developers to design pages with drag-and-drop, write Python that runs in the browser and on the server, set up a database, and deploy their code instantly as a hosted service.
Behind that magic is a lot of work - and that's where you come in. You'll be working on the Anvil editor (that's the dev environment, code editor, drag'n'drop designer, version control, and so on) and the Anvil runtime (that's the Python-to-JS compiler, UI toolkit, database back-end, API router, integrations and infrastructure that make it all go). A lot of your work will be open source.
Building dev tools is great! We're solving problems we have ourselves, our customers are developers just like us, and platforms have the best engineering problems.
We're hiring both senior and junior developers, front-end and back-end. Our stack includes:
* Our code editor and GUI builder (JS, React)
* Our API router and editor backend (Clojure)
* Our front-end UI toolkit (JS, Python)
* Our back-end runtime (Python)
* Our Python-to-JS compiler (JS, Python)
If that sounds like fun, read the full job spec: https://anvil.works/jobs
Fun fact - the entire thing was prototyped by the lawyers using no-code systems, then only rewritten with an actual Web framework when they had proven out the idea:
The short answer is that basically all the current Python-in-the-browser implementations (and there are a few!) predate widespread support of WASM. But even once WASM is a thing, you get a choice between:
1. Compile a full Python environment to WASM (via Emscripten), and load it in the browser. This is what Pyodide does - it lets you use a boatload of existing libraries, but you have to download and bytecode-compile the world to do it. On my machine Pyodide takes 10+ seconds to load. (PyPy.js, which predated WASM, was even worse!) The upside is that you can run more or less anything from the existing ecosystem. This tradeoff is great for Pyodide's use case (notebooks in the browser) - long load times are OK, but you really want those numerical libraries.
2. Ship a lightweight, JS-based runtime. This is what Brython and Skulpt do. You'll pay in performance (compilation overhead, interpretation, and the overhead of preserving Python rather than JS semantics for things like attribute lookup), but your payload will be much smaller (Skulpt is ~250kb on the wire), and you'll be interactive much faster. We chose Skulpt for the client side of our full-stack Python-in-the browser platform, Anvil (https://anvil.works). Unfortunately, you'll be amazed how many Python libraries don't work in this environment. Most "normal" Python code is pretty straightforward, but dig into any big library and you'll find a native dependency really fast. (Skulpt's original 'datetime' implementation was ported from PyPy, and even that depended on native code. In PyPy, the interpreter written in nearly pure Python!) In something like Anvil, this is no biggie, because you can call server-side code with one function call, but it could be a nasty surprise in a traditional app.
3. Compile "not quite Python" to JS (this is what Transcrypt does). This more or less transliterates Python code to the nearest Javascript equivalent. This produces really compact, JIT-friendly JS code, but it will bite you the moment you rely on Python semantics that aren't there in JS. Worse, you're now neither fish nor fowl: If you have a question, you can't consult StackOverflow for Javascript answers, but half the Python answers won't work for you.
(To my knowledge, nobody has yet attempted the "WASM + lightweight runtime" approach. We've occasionally discussed it, but it would be hard to retrofit to an existing project, because you'd want to move a-lot-but-not-all of the runtime into WASM to avoid being hammered by the JS-WASM bridge, and building a Python runtime from scratch is a heavy lift...all for a performance boost you might just get from generating faster JS.)
Before the pandemic, a colleague of mine wrote an in-depth comparison of six popular Python-in-the-browser implementations, with sample code and a discussion of their trade-offs, with a lot more detail than I can fit into this comment: https://anvil.works/blog/python-in-the-browser-talk
Help us fix web development by building better dev tools!
Traditional web development is incredibly complicated – a typical app requires Javascript, HTML, CSS, Python, SQL, and frameworks coming out of your ears. So we built Anvil (https://anvil.works): a simpler way for anyone to build full-stack web apps, entirely in Python.
We make an open-source web framework, an online code editor, a GUI builder, and a PaaS hosting platform. We're bootstrapped, profitable, and growing fast :)
We're hiring at all levels, front-end and back-end. Whatever skills you join us with, you'll eventually be working over the full stack, including:
* Our code editor and GUI builder (JS, React)
* Our API router and editor backend (Clojure)
* Our front-end UI toolkit (JS, Python)
* Our back-end runtime (Python)
* Our Python-to-JS compiler (JS, Python)
If that sounds like fun, read the full job spec: https://anvil.works/jobs
(I can also recommend Script Notes in general. It's a pair of screenwriters, John August (Big Fish) and Craig Mazin (Chernobyl) talking articulately about the art and business of screenwriting. Expert shop talk from an entirely alien field is fascinating.)
Anvil | Junior Software Developer | Cambridge, UK | On-site/Semi-Remote | Full-time or Part-time | https://anvil.works/jobs
Anvil | Developer Advocate | Cambridge, UK | On-site/Semi-Remote | Full-time or Part-time | https://anvil.works/jobs
Help us fix web development at Anvil (https://anvil.works)!
Web development is way too hard – Javascript, HTML, CSS, SQL, and frameworks coming out of your ears. So we built Anvil: a simpler way for anyone to build full-stack web apps, entirely in Python. Anvil is a web framework; it’s an online code editor; it’s a GUI builder; and it’s a hosting platform. And you’ll be helping us with all of it.
We're looking for:
SOFTWARE DEVELOPERS:
Build the platform that's fixing web development for everyone. You’ll be working on the Anvil editor (that’s the development environment, code editor, drag-and-drop designer, version control, and so on) and the Anvil runtime (that’s the Python-to-JS compiler, UI toolkit, database, integrations, and the hosting engine that makes it so easy to deploy).
Our stack is mostly Javascript, Clojure and Python (in descending order of line count). We don’t need you to be an expert in all of these already, and for the junior role we don't require any, just talent and an eagerness to learn. Otherwise, we’ll want to see evidence that you can hit the ground running with at least one of them – or that you’re a great all-rounder who won’t have a problem with any of it.
Much (or most) of your work will be open source: https://anvil.works/open-source
DEVELOPER ADVOCATES:
We need developers with great communication skills, to show people how to build awesome things with Anvil. You’ll be writing how-to guides, blog posts and tutorials, building example apps, presenting Anvil at conferences (when those resume), and helping our users – from individual developers to huge tech companies – build their applications. And then you’ll help us work out how to improve Anvil for them.
It's rewarding work – developers love being introduced to Anvil (our stand is always crowded[0] at conferences!). Plus, there are all the advantages of an early-stage startup: lots of autonomy, and huge impact.
We're bootstrapped and profitable, and a diverse team, with customers ranging from tiny startups to household names. Find out more: https://anvil.works/jobs
https://anvil.works/open-source
(Founder here, confirming that this is a Supported Use Case :-P)
People still upgrade for editor features - eg we have several Business plan users who primarily deploy with the open-source App Server - but it's by no means required.