Rendered at 06:07:40 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
swiftcoder 11 hours ago [-]
I feel like this language would really benefit from some sort of 1-pager overview.
I just spent a fair bit of time on the official site, and I still don't think I have a very good grasp of what problem this language aims to solve, or why I would select it over other similar languages
jillesvangurp 35 minutes ago [-]
Their communication definitely needs work. I listened to the interview with Chris on the Lex Friedman podcast a few years ago. Back when the pitch still was "minimal python superset that allows us to make it go voom". It wasn't a bad pitch. But it's gotten a lot murkier since then apparently. And obviously pitching a new language just before world plus dog was about to switch to delegating programming work to AI agents wasn't great timing.
> "Qualcomm to Acquire Modular"
That's linked from their news section. If I read between the lines here what happened is the VC money ran out and they arranged some kind of acquihire. That obviously raises a lot of questions about what will happen to Mojo and the intentions around it. The merger was completed a few weeks ago so apparently this is a done deal. Them wrapping a ribbon around the 1.0 a few weeks later is a bit suggestive.
The modular front page reads like it was trying to pitch the whole thing as a competitor to other inference platforms like open router, replicate, bedrock, etc.
I'm sure there's more to it and that the tech was amazing. But the acquisition raises a lot of questions about the future of the whole thing. An OSS move at least would allow people to continue working on Mojo independently from Qualcomm. I assume some people in the team might be moving on post acquisition.
embedding-shape 10 hours ago [-]
I felt the same way, even after browsing around on the website, and somehow I got to https://mojolang.org/docs/manual/quickstart/, which brings you to mojolang.org instead, which is the real website of the language it seems, instead of "Modular" which I guess is the business.
https://mojolang.org is a lot better as a introduction to the language for a programmer, at least for me, compared to whatever I could find on the modular.com website.
totalperspectiv 10 hours ago [-]
Having written a lot of Mojo over the last two year, just for fun, it's a really cool language. Ownership model adjacent to Rust, comptime in the realm of Zig, rich type system, first class SIMD support, etc.
Performance wise it's the first language in long time that isn't just an LLVM wrapper. LLVM is still involved, but they are using it differently than say, Rust or Zig.
Very excited for Mojo once it's open sourced later this year.
cpeterso 10 hours ago [-]
> LLVM is still involved, but they are using it differently than say, Rust or Zig.
Chris Lattner said in a Developer Voices podcast interview:
"Swift in a way was syntactic sugar for LLVM, at the very bottom of the stack it could talk directly to LLVM primitives. Mojo does basically that same trick, but it supercharges it by moving to this MLIR world."
afdbcreid 10 hours ago [-]
> Performance wise it's the first language in long time that isn't just an LLVM wrapper
Why? Because it uses MLIR? Rust has its own MIR, it's even more not-LLVM-wrapper.
giancarlostoro 9 hours ago [-]
Probably because the creator created both LLVM and MLIR.
skavi 8 hours ago [-]
I'd assume Mojo does more complex transformations at the MLIR level than Rust does at its MIR level.
afdbcreid 8 hours ago [-]
First, I'm not sure. Rust has MIR optimizations and also other transformations.
But even if yes, MLIR is part of the LLVM project, so it's technically still "just an LLVM wrapper".
skavi 6 hours ago [-]
MLIR is more a library for building a compiler than a compiler itself IIUC. LLVM can be thought of similarly, but IMO, it's more self contained.
nu11ptr 10 hours ago [-]
How are compile times compared to Rust? Zig? Go?
melodyogonna 6 hours ago [-]
Mojo is much faster than Rust, but slower than Go. I don't have much experience with Zig.
Mojo is designed to be very fast to compile, so many decisions were made to keep the core language simple, one example is in `where` clause, the checking there happens entirely in the parser. It can be stupid in situations where other languages are smart, and make you explicitly do checks that could be inferred in other languages. But on the other hand, it can be very fast since it doesn't have to do all the complicated resolving.
Another reason is how LLVM is used, Modular found ways to parralize LLVM code generation by introducing novel techniques that'll likely become a lot more popular with other languages.
osigurdson 5 hours ago [-]
From experience, Zig compile times are at least as fast as Go for debug builds that don't need to do linking with C libraries, etc. It does have to use LLVM for release builds however which is a lot slower.
melodyogonna 5 hours ago [-]
Mojo compiles with O2 by default, it is similar to Go here. Release build is the default, debug is something you opt into. It is still very fast nonetheless
edflsafoiewq 3 hours ago [-]
> Modular found ways to parralize LLVM code generation by introducing novel techniques
What techniques?
sakesun 2 hours ago [-]
Whoever behind the company communication have done an incredibly terrible job. They start with an extremely unnecessary polished Steve-Jobs-alike debut video when they have zero stuff to offer, while the founder name is already immensely trustworthy. Then follow with a very ugly AI-image-heavy website and blog posts, only to be reverted back to plain website later.
I'd love the language and platform be succesful, nevertheless.
giancarlostoro 10 hours ago [-]
It's supposed to be (currently) a fully native, Python-like language, but for GPUs primarily. Though I am seeing it as having a future as a fully native Python alternative that might get interesting.
I hope with 1.0 (havent fully read the article yet) they stop breaking language features / syntax because they did quite a few different changes over time, their overall goal is to be a fully native superset of Python.
I do see this one overtaking Nim over time, which kind of saddens me, because I like Nim for what it is, but Mojo trying to be a superset of Python is a no-brainer for most Python developers. Reminds me of how a lot of Go devs were former Python devs not C++.
pansa2 7 hours ago [-]
> their overall goal is to be a fully native superset of Python
Not any more. That was the initial announcement, but I think then somebody actually looked at Python and realised what a complex language it is - so they refocused on being a Python-like language. Python has a reputation for being a simple language, but in reality it isn’t at all.
saghm 4 hours ago [-]
Honestly that doesn't really feel like a glowing endorsement of the language. "They announced a crazy goal, then rolled it back because they grossly underestimated how hard it was" doesn't give me confidence in either the long-term design or the people making it, and I feel like "a Python-like language" is both a lot less interesting and a lot more subjective. If the discussions in this thread around significant whitespace aren't already an indication, which parts of Python people think are good and which aren't will vary by person, so without saying more it's hard to tell whether it's a a language someone will love or hate.
To preempt all of the inevitable responses: yes, I'm aware that this was started by the same guy who started LLVM and Swift. That doesn't automatically mean anything he comes up with will be great, especially when it's specifically trying to be "like" a language that doesn't really have much on common with either of those; there are plenty of instances of very smart people having an overabundance of confidence when jumping into something they assume they'll excel at and getting humbled. I'd also argue both Swift and LLVM have some common criticisms that very much are in line with the same concern I've expressed here (i.e. long term design suffering due to expanded or pivoted scope; even the name LLVM alludes to some of that history of having a somewhat different goal originally). His name is enough that I'll probably always click to take a first look at anything he comes up with, but I'm not going to ignore things that seem like issues because of that either. Smart people don't need to held to a lower standard because their work should be able to speak for itself.
SJMG 3 hours ago [-]
Language-feature-wise it seems like Nim will be competitive. Ecosystem-wise… yeah it's kind of a nonstarter over in Nim land. There are not many go-to libraries and its culture is not very collaborative. People seem more enamored at what they can hack together than what they can contribute to.
winding 1 hours ago [-]
Part of that is because there isn’t yet a package format and a central repository. I have a few libraries I would like to contribute or merge with similar projects.
Do you mean the Modular site or the Mojo site? https://mojolang.org/ makes some clear statements.
manojlds 10 hours ago [-]
Python, but good.
steve1977 10 hours ago [-]
So, without significant indentation?
dimator 6 hours ago [-]
2026 and still talking about python indentation? what's next, `goto` gripes?
ekianjo 50 minutes ago [-]
its not becauae its 2026 that stupid indentation got better
Fraterkes 9 hours ago [-]
Significant indentation is why people love python. Can 2 billion people be wrong?
4 hours ago [-]
ioasuncvinvaer 9 hours ago [-]
yes
ekianjo 50 minutes ago [-]
yes the majority is often very wrong
usef- 8 hours ago [-]
When has it ever been an issue in use?
People complained about this in 1999 but then I used it and it's never mattered.
dgellow 7 hours ago [-]
It’s an issue when generating python, I can tell you from experience. It’s also a pain to not be able to safely rely on an auto formatter
usef- 6 hours ago [-]
Every python developer I know uses an auto formatter today, and never needs to think about it (ruff, black). It's not ambiguous and is immediately visible if something has the wrong indent.
(On other projects, I often wish other languages had formatters as good and standard as the Python ecosystem. I have many complaints about Python but whitespace is just not a problem I've seen)
dgellow 5 hours ago [-]
You missed the point. I’m well aware python has formatters, I use them and implemented my own. The point was that when generating/manipulating python code you cannot just generate in whatever format then run a formatter. you need to carefully keep track of the exact indentation at place where the code in written
usef- 4 hours ago [-]
Fair. That is a very slight friction on what is quite a small niche, though (compared to the wider ecosystem of developers). And most that need similar will use AST or runtime construction.
The trivial kind of raw source generation is still trivial, but I'm guessing you're doing embedding/templates or something?
ameliaquining 3 hours ago [-]
If I were doing this, and the code generator was itself in Python, I'd probably use ast and/or tokenize to avoid having to manipulate literal whitespace.
ameliaquining 4 hours ago [-]
Python's significant indentation does have real costs, but they mostly don't affect experienced programmers working on real codebases in real editors or IDEs. Rather, they are things like, it makes the REPL more cumbersome, and newbies sometimes find that code they copy-paste from the Web mysteriously fails to work.
jhbadger 3 hours ago [-]
Have you never tried to paste python code from the internet into an editor? At least half the time the indentation is screwed up and I have to go in and figure out manually where to put the spaces in. Indentation gets screwed up by pasting in other languages too, but with those I can generally tell the editor to reindent and it can because the information is included in the source code.
tyre 10 hours ago [-]
Oh nooooo, they fucked it up too. Why would someone make a language that’s whitespace sensitive? It’s confounding.
syrrim 9 hours ago [-]
Why would someone make a language where the programmer and the interpreter have two different ways of figuring out where blocks start and end?
ioasuncvinvaer 9 hours ago [-]
at the closing curly?
syrrim 9 hours ago [-]
Programmers look at the indentation.
larodi 8 hours ago [-]
this discussion is so dated...
syrrim 8 hours ago [-]
llms prefer indents too
BeetleB 9 hours ago [-]
To weed out programmers who don't indent.
ekianjo 49 minutes ago [-]
identation should be something the compiler does not care about
grim_io 8 hours ago [-]
I never understood this.
What kind of special whitespace requirements do people have?
pansa2 7 hours ago [-]
I like significant invitation, but I still wouldn’t choose it if I was designing a language today.
Functional-style programming has become much more popular since Python was designed in the 1990s, and there doesn’t seem to be a good way to have Python-like significant indentation and also support true anonymous functions.
winding 1 hours ago [-]
As I understand it, Mojo’s goal is to be able to match state of the art performance for parallel algorithms and be able to use the exotic GPU hardware. A functional style is not necessarily productive in that context.
Haskell has significant indentation and anonymous functions.
ameliaquining 4 hours ago [-]
Haskell's significant indentation is, in my experience, much worse than Python's at fading into the background by matching what you would have done anyway.
8 hours ago [-]
mplewis 10 hours ago [-]
It's really not that bad
swiftcoder 10 hours ago [-]
I mean, it feels like "Python, but aiming at a completely different vertical that values native compilation and a borrow checker"? Which is not quite the same thing
SP3269 18 minutes ago [-]
From Mojo Wikipedia article:
```
The intention behind Mojo is to bridge the gap between Python’s ease of use and the fast performance required for cutting-edge AI applications.
```
Basically, same raison d'etre as that of Julia.
redlewel 11 hours ago [-]
Don't see the value of using a language with a closed source compiler...
Much better options out there. Python already has libraries like Pydantic that offload performance to functions written in Rust under the hood.
nylonstrung 11 hours ago [-]
The point is that Mojo compiles to MLIR for programming on heterogenous compute and GPU so something like Pydantic isn't really comparable here.
The alternatives would be stuff like CUDA
my123 11 hours ago [-]
> Finally, we will continue to progressively open-source more of the Mojo language, as well as components in MAX that we have built with it. Our commitment remains unchanged – we will open source the Mojo compiler and toolchain in 2026.
mort96 11 hours ago [-]
It's categorically uninteresting until and unless that happens. Weird to release 1.0 without it. What are they waiting for?
embedding-shape 11 hours ago [-]
> Weird to release 1.0 without it. What are they waiting for?
Hmm, I've been under the impression that at one point they said it'd be 100% FOSS by the time 1.0 hits, but maybe I misunderstand/misremember the details. But I remember they'd said it'd be FOSS in connection with 1.0, seems weird to do it this way instead of waiting until it's all FOSS then cut 1.0.
From listening to Chris Lattner in interviews my guess it’s learning from when Swift became open source. The beta versions of Swift had massive language changes in how value types worked like with Array. Mojo is trying to get this language design locked down first, which is easier to do behind closed doors.
A compiler promising source stability is a different commitment than the compiler’s code being ready for outside contributors. Which is also different to having ABI stability, which took until 5.0 for Swift to achieve (I think Mojo does not have ABI stability as a goal as it doesn’t have to link to OS frameworks).
jshier 2 hours ago [-]
That doesn't really make sense, as being open source really has nothing to do with whether the language has an open evolution process. And if they've already declared 1.0, then they've already decided they're stable, so the original point doesn't apply any more.
I feel like they're going to remain closed until Qualcomm is convinced they can't make any money from it being so.
fluidcruft 11 hours ago [-]
People to tune in to the conference, probably.
redlewel 11 hours ago [-]
This exactly. Doesn't scream confidence that its still closed upon release.
usef- 8 hours ago [-]
Why? The creators have a strong open source background and it's work to properly open source.
TylerE 3 hours ago [-]
Because they promised 1.0 would be 100% FOSS. That has proven to be a lie.
bourbonproof 11 hours ago [-]
I think they are waiting for a wild success in adoption, and if that doesn't happen they can use the IP to pivot to something else without giving the core away to anyone for free/as open-source.
ktm5j 8 hours ago [-]
A lot of people beg to differ. And it's their decision, not yours on when to open source. They have their reasons even if they aren't explaining them to you.
ekianjo 47 minutes ago [-]
also what license will they be going for?
woadwarrior01 10 hours ago [-]
The value has already been materialized. They were acquired by Qualcomm for $3.9 billion.
sgt 10 hours ago [-]
Wow, so Lattner became a billionaire. Pays to be in compilers.
woadwarrior01 9 hours ago [-]
For once. A former colleague once quipped: The only way to make decent money in the business of language runtimes is to get a job at a big company that depends on it.
saghm 4 hours ago [-]
Yeah, feels kind of odd to phrase it like that when he's already created more than one world famous compiler before this one.
mohamedkoubaa 8 hours ago [-]
The value has been speculated on. It doesn't mean the value has materialized.
pansa2 7 hours ago [-]
That’s insane, for a language that seems to be Temu-Python.
OTOH Python itself is the world’s most popular programming language, yet has only recently had the money to support more than a single full-time developer.
saghm 4 hours ago [-]
It almost feels like they were paying more in the hopes of owning the next LLVM or Swift based on the name on the tin rather than basing the price on the product itself.
jmalicki 6 hours ago [-]
What else are you going to write CUDA kernels in that will be better than Mojo?
This doesn't compete with Python.
Like if someone wrote a competitor to VHDL that looked like TEMU Python... Python would not be its competitor, VHDL would.
adgjlsfhk1 6 hours ago [-]
Julia
IshKebab 5 hours ago [-]
lol no
postflopclarity 3 hours ago [-]
it's legitimately among the best languages for writing GPU kernels
pjmlp 11 hours ago [-]
C and C++ were closed source for quite some time, they still are in places like commercial embedded OSes and console dev kits, even when they happen to be GCC and clang forks nowadays.
Clang actually has replaced most GCC forks exactly because vendors can keep the fork closed source.
redlewel 11 hours ago [-]
Sure but at those times C and C++ had no immediate replacement, and if you were doing embedded C/C++ was your only option.
The same cannot be said for Mojo.
mike_hearn 10 hours ago [-]
There were competitors. Pascal and assembly, most obviously.
It was just a different culture. There was no expectation that everything should be free.
pjmlp 11 hours ago [-]
In that regard yes, personally I think Mojo has lost its opportunity, but not due being commercial.
AMD/NVIDIA/Intel now having first class support for Python DSLs or GPU JITs for their APIs, and Julia as well.
11 hours ago [-]
jibal 11 hours ago [-]
The C compiler source came with the AT&T UNIX tape ... it wasn't open source because FOSS didn't exist at the time and it was under a proprietary license, but it was not "closed source". Parts of MOJO, OTOH, are closed source because the source has not been released (yet ... it apparently will be later this month).
pjmlp 9 hours ago [-]
That one yes, the ones sold by all UNIX clone vendors definitely not.
In fact, GCC was largely ignored until Sun decided to split SunOS into two SKUs.
jibal 7 hours ago [-]
And then you drag the goalposts out of the country ...
As I said, C was not "closed source", it was distributed with source under a proprietary license. And "all the UNIX clone vendors" didn't exist for years after the UNIX tape was first released. And they weren't "clones", they were enhanced supported versions of the AT&T system. I worked for nearly a decade for the first of those commercial UNIX vendors, ISC ... the other prominent ones were SCO and Wollongong. (Sun came along later, based on BSD UNIX, developed for the VAX and of course derived from AT&T UNIX ... none of these were "clones" ... the first of those was Minix, and then GNU/Linux). We all distributed UNIX with the AT&T C compiler. Eventually ISC wrote their own C compiler for IBM's AIX project because IBM always had special requirements ... I don't know whether we distributed the source or not.
But the point is that this was nothing like the situation with Mojo, which currently has not released the compiler source ... which is nothing like what people on this page are writing, because it will be open source SOON, probably coincident with the conference later this month.
I won't respond further about this.
ashu1461 6 hours ago [-]
Pydantic is mainly about making Python strongly typed.
Mojo addresses the actual need to write code in other languages, such as C++ or CUDA, for low level and hardware specific work.
But I wonder if it has already missed the AI hype cycle, when a lot of low level code is being written. I'm not sure how the developer ecosystem will react now.
fluidcruft 11 hours ago [-]
Their website has a banner suggesting news about open sourcing of the compiler at some Aug 18 convention.
zer0zzz 3 hours ago [-]
They are going to open source it eventually
oceansky 11 hours ago [-]
AI generated first image does not give me much confidence.
Lastest OpenCV 5 release notes also had a lot of LLMisms.
I guess that's the new normal. Still, I am very hopeful for Mojo.
redlewel 11 hours ago [-]
I know right? Would be better to have a banner with the language logo than some totally out of place aislop image, almost makes you think this is a random person's blog and not the official Mojo site
fwip 11 hours ago [-]
I believe Mojo has been primarily using AI-generated imagery of its mascot for several years now, which politically aligns with its pivot to being a language for AI development.
ainch 10 hours ago [-]
I wouldn't say there was a pivot, AI development has explicitly been the goal since launch.
Forgeties79 10 hours ago [-]
Oh wow a business pivoted to AI what a shocker lmao (not directed at you/mocking you, to be clear)
sph 10 hours ago [-]
A lot of fancy words to say this is slop.
fwip 7 hours ago [-]
I was trying hard to be diplomatic. :P
bourbonproof 11 hours ago [-]
I spotted the exact same thing with the AI image. makes the whole thing immediately feel cheap, it's wild
winding 10 hours ago [-]
They’ve had this branding for some years, at least since 2023. I doubt at that time it was fully AI generated, although I have no proof of it. I always looked at it as being heavily AI inspired.
BeetleB 9 hours ago [-]
> makes the whole thing immediately feel cheap, it's wild
Hard to decide if the blog post is wild, or people's visceral reactions to it.
I've said it before: I believe the obsession in trying to figure out if something is AI generated will soon be classified as a mental disorder.
galonk 11 hours ago [-]
"Normal" keeps getting more and more depressing.
Did they think that image would make them look fun or interesting? Because it's exactly the opposite.
flexagoon 9 hours ago [-]
> Lastest OpenCV 5 release notes also had a lot of LLMisms.
Yeah, that really made me triple-check if I visited a fake SEO spam website instead of the official OpenCV one. The fact that their blog looks exactly the same every single low-effort AI content farm doesn't help either.
FrustratedMonky 11 hours ago [-]
Isn't Mojo expressly for building AI frameworks? It isn't really needed or special as a language by-itself. It's main purpose is to make it easier to program these high end graphics cards for AI.
So maybe an AI image isn't the worst.
andy99 11 hours ago [-]
People who work with AI all the time should be the most finely tuned in to how sloppy it looks and when to use it and when not.
phoghed 10 hours ago [-]
[flagged]
jibal 11 hours ago [-]
> I guess that's the new normal.
Yes, so basing confidence on it is totally bogus. Such comments are cheap and add nothing to the discussion of Mojo reaching 1.0 status.
phoghed 8 hours ago [-]
Finding some unit of the thing one can actually understand and using it to issue a shallow dismissal is canonically the most Hacker News possible comment. And the rest of the commenters generally love it.
Not to worry though, if there’s nothing webshit accessible in the content there’s surely something wrong with the CSS to complain about!
minraws 11 hours ago [-]
> Finally, we will continue to progressively open-source more of the Mojo language, as well as components in MAX that we have built with it. Our commitment remains unchanged – we will open source the Mojo compiler and toolchain in 2026.
Why not now though? Why wait for 4 more months? What magic is there to hide in just making it source available at least.
rirze 11 hours ago [-]
It's probably very messy and not a great baseline for outside contributors to start create PRs.
That's the favorable interpretation, atleast.
minraws 9 hours ago [-]
Ladybird is Open Source and doesn't accept outside contributions any more same with sqlite and many other projects. Lots of Google's oss projects also are not very open to contribution.
At this point I find it deeply troubling that it isn't open source. I respect Chris I know folks who have worked with him and but at the end of the day I feel too weird about this entire closed source programming language thing.
If we complain to Nvidia about there weird closed source limitations, I think Mojo is just as bad. You don't even know what your compiler might be doing, and if it does something wrong you can't fix it, you now have to file a bug and wait until the gods from above come to your rescue.
I have had similar issues with drivers, I have faced soo many driver bugs in my work and the answer is always write more code that works around it somehow, this warp level is bad, this feature doesn't work with these values, etc. etc. Why can't I fix them, I have often on Linux just pinged the Mesa team about driver bugs with a rough draft of a patch and gotten it fixed, I can even patch and run it myself when I am in a hurry.
I feel like atleast making stuff, source available like Unreal should be the baseline for any "core" software where a bug could possibly be a major blocking issue for a developer. Windows and Mac are very bad with this.
Mac's CoreML has had soo many bugs over the last couple years I have had to email someone I know at the company to get them fixed or try to get into contact with someone.
Intel's drivers have had bugs too but I have had more contacts there which is a wash. AMD well it's AMD...
Either way closed software sucks I don't want to use fully closed stuff unless I don't have a choice people can make what they want of it. I don't really care.
I care much less about just foss.
akshitgaur2005 10 hours ago [-]
They could go the sqlite route for it then, no outside code but let us have a look
melodyogonna 9 hours ago [-]
My guess is that the compiler will be opened next week at Modcon. Honestly? I'm surprised Mojo 1.0 is being released now; I had thought it would be released at Modcon along with the compiler source code, but oh well, 18th August isn't far now.
jibal 8 hours ago [-]
Who said anything about 4 months? Your "logic" seems to be that they are releasing it in 2026 and there are 4 more months in 2026 so they will be releasing it in 4 months. That's obviously flawed thinking. They will probably be releasing it coincident with their August 18 conference.
TylerE 3 hours ago [-]
So why not either delay the 1.0 release by a week or move the open sourcing up by a week? This "strategy" makes absolutely no sense.
jibal 2 hours ago [-]
I don't know why you're responding to me ... I simply pointed out how ludicrous was the statement that it will be 4 months before it is released.
And intelligent imaginative people can make quite a bit of sense out of announcing 1.0 prior to the conference. Open sourcing it may require efforts that simply didn't coincide with that announcement. I see this sort of pronouncement in the chat for the chess.com daily puzzle all the time -- "the solution makes no sense!" ... and yet it always does.
P.S.
> "They will probably be releasing it coincident with their August 18 conference."
Yes, I know I wrote that, genius.
And no, I didn't ask a question, and that's not a rational explanation of why you responded. And I don't owe anyone an explanation of my attitude or tone. If you don't like it then don't interact with me.
TylerE 2 hours ago [-]
"They will probably be releasing it coincident with their August 18 conference."
Edit to your edit: You asked a question, I answered it. Why be a rude about it, "genius"?
derbOac 9 hours ago [-]
Is Mojo being a superset of Python still part of its projected feature set?
I tried Mojo a bit early on and decided to come back to it when it was more complete, and in the interim I read some comments somewhere that the superset-of-Python part was being walked back from.
On https://mojolang.org/docs/roadmap/ it's stated (Phase 3) that "Mojo may or may not evolve into a full superset of Python, and it's okay if it doesn't."
I feel like that "full superset of Python" part was part of the appeal of Mojo.
Personally I'm kind of tired of 97% python-compatible this-and-that. Python itself has enough of a history of incompatibility and the cognitive overhead in switching might be easier with just moving to a totally different language. But maybe not — it depends on the details I guess.
Honestly reading through the documentation more and more I'm more and more confused about what the 1.0 release actually means.
pansa2 7 hours ago [-]
> I feel like that "full superset of Python" part was part of the appeal of Mojo.
It absolutely was, but IMO was never going to happen. Python has a reputation as a simple language, but it really isn’t. It’s a very complex language hiding behind friendly syntax.
I think once the Mojo team realised that, they had to adjust their expectations.
spprashant 9 hours ago [-]
They moved the goalposts. I think the landscape has changed since their initial Python superset pitch.
It seems like a deliberate pivot towards creating an AI-era language which make GPU programming as easy as writing Python.
usef- 8 hours ago [-]
To be fair, translation plays to the strengths of AI, so there's less benefit to being an exact superset.
adsharma 1 hours ago [-]
Given the shared heritage with MLIR, one way to think about mojo: higher level IR, but still an IR. Rpython for GPUs.
But mojo is a superset, not a subset. So why not use a subset, infer what you need and generate mojo?
I've never seen this question actually presented to the company and discussed in more detail.
alberth 12 hours ago [-]
So is the language itself proprietary licensed, with standard library Apache 2?
Am I understanding the current state of things correct?
cuzezzzbbfofai 10 hours ago [-]
Apparently they'll be open sourcing it on August 18th, one week from now.
twsted 9 hours ago [-]
Nothing but respect for Chris, and I understand why founders take these deals. But an acquihire usually means the product is the part that gets left behind, and that's the part I cared about.
blltprfmnk 3 hours ago [-]
Well, there was $300M+ in VC money and after burning through some percentage of it those investors wanted an exit. I don’t think this is so much about founders taking a deal as it is investors demanding that exit.
willseth 8 hours ago [-]
$3.9 billion is not an acquihire!
xiphias2 11 hours ago [-]
Mojo may be interesting to me, but they should really split it from Max, which is some closed stuff I'm not interested in.
They should show some performance comparisions between PyTorch and Mojo, PyTorch+kernel compilation + Triton vs Mojo, ThunderKittens vs Mojo.
embedding-shape 11 hours ago [-]
> They should show some performance comparisions between PyTorch and Mojo, PyTorch+kernel compilation + Triton vs Mojo, ThunderKittens vs Mojo.
The fact that they release 1.0 without doing this, I think says a lot. I personally haven't even started looking into Mojo because of the closed source stuff, but usually you can tell what's going on by looking for what's obviously missing.
geodel 10 hours ago [-]
They kind of did. It has a separate website now [1] . All the docs, announcements, roadmap, some comparisons as you asked are there. So they do seem to be working towards separation.
Aren’t they already separated? Max is an inference runtime, written in Mojolang, which uses the MLIR compiler chain to target diverse accelerator hardware.
adityazero 8 hours ago [-]
[dead]
whimsicalism 8 hours ago [-]
Sorry Chris, love you but will not use a closed language.
gabrielsroka 1 hours ago [-]
They're open sourcing it next week. It's in TFA
ModernMech 1 hours ago [-]
TFA says "we will open source the Mojo compiler and toolchain in 2026" and "we’ll share more on our plans for Mojo, MAX, and open source at ModCon on August 18th" which makes it seem they're not open sourcing it next week, but some time between next week and 1/1/27.
perarneng 11 hours ago [-]
The main downside is that usually I only choose languages that the LLM is extremely good at. (however I avoid dynamically typed).
But I hope they succeed, it's a very interesting approach. Then I will jump on it later on. S
nylonstrung 11 hours ago [-]
The premise of Mojo used to be that it was a superset of Python so in theory LLMs would benefit from that but I'm not sure how much divergence there's been
refactor_master 3 hours ago [-]
Wouldn't that cause an awful lot of confusion in practice? Instead of having one being a superset of the other, you now have two almost identical syntaxes, but probably not quite.
LLMs have enough problems distinguishing between major versions between packages, e.g. where all the imports were moved around and renamed.
Are there any benchmarks on which languages models perform best?
charlieyu1 11 hours ago [-]
Interesting. Heard about Mojo a few years now, never really tried it. My Python brain cannot really write C++ or Rust but still need the performance.
seanw444 11 hours ago [-]
You may have heard of it already, but Nim has existed in this space for some time.
mathverse 11 hours ago [-]
Nim could do better with more than just 1 or 2 brilliant developers
SJMG 3 hours ago [-]
Julia as well.
raytopia 9 hours ago [-]
Take a look into numba, you add a decorator to your function and it turns it into compiled code.
maleldil 5 hours ago [-]
It's JIT only, and it needs to be in a particular shape to be effectively compiled. It's mostly for numeric code, but there are many other cases where native code would be better.
beanjuiceII 11 hours ago [-]
never has their been a language release so uninspiring
tyre 10 hours ago [-]
> following the standards of how mature languages (e.g. C++) evolve over time
This gave me a chuckle. When I think of languages evolving their standards, I do think of C++. But not, you know, in a good way.
bobajeff 7 hours ago [-]
I wish Modular/Qualcomm good luck with this. We would be well served with a good alternative to Cuda. I will be looking at Modcon to see how serious they are with Mojo's ecosystem. (Hopefully it won't be yet another SYCL).
melodyogonna 13 hours ago [-]
Hurray!
jax_bro 10 hours ago [-]
closed source ngmi
hnfwd5lqmp 11 hours ago [-]
Clear, useful, done
r_lee 10 hours ago [-]
the 1.0 release of Mojo, it's a pretty big event, of course first thing I'm greeted with is an AI slop image on the top of the blog post
awesome
netdur 10 hours ago [-]
like finding a rock of gold underground and tossing it away because it’s dirty?
ltbarcly3 8 hours ago [-]
"We arbitrarily decided we are at 1.0 now, this is a major milestone."
mono442 12 hours ago [-]
Creating a new language in the age of AI seems kind of pointless. I don't write code by hand anymore, I only review it and I prefer it to be in a language which I already know since investing time in learning another language doesn't make sense at this point.
catoc 11 hours ago [-]
Pointless? If compiled mojo is faster, more memory-safe, and more hardware independent, that doesn’t seem pointless at all to me.
(And now in the age of LLMs, the barriers to get started with a new programming language are lower than ever)
nylonstrung 11 hours ago [-]
Do you know CUDA or Triton? The point of Mojo was to replace GPU kernel programming langs with a Pythonic one that was more familiar
well_ackshually 11 hours ago [-]
And Mojo will die because nvidia is not interested in maintaining any semblance of backwards compatibility when it comes to CUDA. It's going to be a perpetual race forwards, and whenever nvidia upgrades CUDA, you're going to be stuck there twiddling your thumbs and waiting for Mojo to become compatible.
Additionally, anyone who has seen how Swift evolved should be wary of Lattner saying "the language is mostly stable", or even "the language is released".
Conscat 10 hours ago [-]
It's not true that Nvidia doesn't care about CUDA backwards compatibility. The invention of TileIR was motivated entirely by that problem. GPU architectures are supported by the full tool suites for at least 10 years by CUDA (that's longer than they are for graphics).
Nvidia is also a major contributor to MLIR, which they use for TileIR and ClangIR, so should a compatibility break occur it wouldn't be entirely up to Mojo to fix it.
tfrancisl 12 hours ago [-]
this language predates the rise of "AI" (you probably mean harnessed LLMs, but I'll forgive you) by several years. This is the 1.0 release.
winding 11 hours ago [-]
This is the team behind MLIR, they have been in this field for 10 years or so.
ainch 10 hours ago [-]
Does it? Mojo was announced 6 months after ChatGPT was released.
jhatemyjob 10 hours ago [-]
Sounds like you're just lazy. Which is fine. You'll probably have a okay career. But not a great one.
I just spent a fair bit of time on the official site, and I still don't think I have a very good grasp of what problem this language aims to solve, or why I would select it over other similar languages
> "Qualcomm to Acquire Modular"
That's linked from their news section. If I read between the lines here what happened is the VC money ran out and they arranged some kind of acquihire. That obviously raises a lot of questions about what will happen to Mojo and the intentions around it. The merger was completed a few weeks ago so apparently this is a done deal. Them wrapping a ribbon around the 1.0 a few weeks later is a bit suggestive.
The modular front page reads like it was trying to pitch the whole thing as a competitor to other inference platforms like open router, replicate, bedrock, etc.
I'm sure there's more to it and that the tech was amazing. But the acquisition raises a lot of questions about the future of the whole thing. An OSS move at least would allow people to continue working on Mojo independently from Qualcomm. I assume some people in the team might be moving on post acquisition.
https://mojolang.org is a lot better as a introduction to the language for a programmer, at least for me, compared to whatever I could find on the modular.com website.
Very excited for Mojo once it's open sourced later this year.
Chris Lattner said in a Developer Voices podcast interview:
"Swift in a way was syntactic sugar for LLVM, at the very bottom of the stack it could talk directly to LLVM primitives. Mojo does basically that same trick, but it supercharges it by moving to this MLIR world."
Why? Because it uses MLIR? Rust has its own MIR, it's even more not-LLVM-wrapper.
But even if yes, MLIR is part of the LLVM project, so it's technically still "just an LLVM wrapper".
Mojo is designed to be very fast to compile, so many decisions were made to keep the core language simple, one example is in `where` clause, the checking there happens entirely in the parser. It can be stupid in situations where other languages are smart, and make you explicitly do checks that could be inferred in other languages. But on the other hand, it can be very fast since it doesn't have to do all the complicated resolving.
Another reason is how LLVM is used, Modular found ways to parralize LLVM code generation by introducing novel techniques that'll likely become a lot more popular with other languages.
What techniques?
I'd love the language and platform be succesful, nevertheless.
I hope with 1.0 (havent fully read the article yet) they stop breaking language features / syntax because they did quite a few different changes over time, their overall goal is to be a fully native superset of Python.
I do see this one overtaking Nim over time, which kind of saddens me, because I like Nim for what it is, but Mojo trying to be a superset of Python is a no-brainer for most Python developers. Reminds me of how a lot of Go devs were former Python devs not C++.
Not any more. That was the initial announcement, but I think then somebody actually looked at Python and realised what a complex language it is - so they refocused on being a Python-like language. Python has a reputation for being a simple language, but in reality it isn’t at all.
To preempt all of the inevitable responses: yes, I'm aware that this was started by the same guy who started LLVM and Swift. That doesn't automatically mean anything he comes up with will be great, especially when it's specifically trying to be "like" a language that doesn't really have much on common with either of those; there are plenty of instances of very smart people having an overabundance of confidence when jumping into something they assume they'll excel at and getting humbled. I'd also argue both Swift and LLVM have some common criticisms that very much are in line with the same concern I've expressed here (i.e. long term design suffering due to expanded or pivoted scope; even the name LLVM alludes to some of that history of having a somewhat different goal originally). His name is enough that I'll probably always click to take a first look at anything he comes up with, but I'm not going to ignore things that seem like issues because of that either. Smart people don't need to held to a lower standard because their work should be able to speak for itself.
Feedback welcome as always and thanks for checking it out! Encourage you to watch ModCon next week for some exciting announcements :)
You can stick to python and generate mojo or rust or lean.
There is more than one solution to the two language problem.
1. https://mlir.llvm.org/
People complained about this in 1999 but then I used it and it's never mattered.
(On other projects, I often wish other languages had formatters as good and standard as the Python ecosystem. I have many complaints about Python but whitespace is just not a problem I've seen)
The trivial kind of raw source generation is still trivial, but I'm guessing you're doing embedding/templates or something?
What kind of special whitespace requirements do people have?
Functional-style programming has become much more popular since Python was designed in the 1990s, and there doesn’t seem to be a good way to have Python-like significant indentation and also support true anonymous functions.
One interesting PL concept they implement are linear types https://mojolang.org/docs/std/traits/anytype/AnyType/
Basically, same raison d'etre as that of Julia.
Much better options out there. Python already has libraries like Pydantic that offload performance to functions written in Rust under the hood.
The alternatives would be stuff like CUDA
Hmm, I've been under the impression that at one point they said it'd be 100% FOSS by the time 1.0 hits, but maybe I misunderstand/misremember the details. But I remember they'd said it'd be FOSS in connection with 1.0, seems weird to do it this way instead of waiting until it's all FOSS then cut 1.0.
Make of that what you will.
A compiler promising source stability is a different commitment than the compiler’s code being ready for outside contributors. Which is also different to having ABI stability, which took until 5.0 for Swift to achieve (I think Mojo does not have ABI stability as a goal as it doesn’t have to link to OS frameworks).
I feel like they're going to remain closed until Qualcomm is convinced they can't make any money from it being so.
OTOH Python itself is the world’s most popular programming language, yet has only recently had the money to support more than a single full-time developer.
This doesn't compete with Python.
Like if someone wrote a competitor to VHDL that looked like TEMU Python... Python would not be its competitor, VHDL would.
Clang actually has replaced most GCC forks exactly because vendors can keep the fork closed source.
It was just a different culture. There was no expectation that everything should be free.
AMD/NVIDIA/Intel now having first class support for Python DSLs or GPU JITs for their APIs, and Julia as well.
In fact, GCC was largely ignored until Sun decided to split SunOS into two SKUs.
As I said, C was not "closed source", it was distributed with source under a proprietary license. And "all the UNIX clone vendors" didn't exist for years after the UNIX tape was first released. And they weren't "clones", they were enhanced supported versions of the AT&T system. I worked for nearly a decade for the first of those commercial UNIX vendors, ISC ... the other prominent ones were SCO and Wollongong. (Sun came along later, based on BSD UNIX, developed for the VAX and of course derived from AT&T UNIX ... none of these were "clones" ... the first of those was Minix, and then GNU/Linux). We all distributed UNIX with the AT&T C compiler. Eventually ISC wrote their own C compiler for IBM's AIX project because IBM always had special requirements ... I don't know whether we distributed the source or not.
But the point is that this was nothing like the situation with Mojo, which currently has not released the compiler source ... which is nothing like what people on this page are writing, because it will be open source SOON, probably coincident with the conference later this month.
I won't respond further about this.
Mojo addresses the actual need to write code in other languages, such as C++ or CUDA, for low level and hardware specific work.
But I wonder if it has already missed the AI hype cycle, when a lot of low level code is being written. I'm not sure how the developer ecosystem will react now.
Lastest OpenCV 5 release notes also had a lot of LLMisms.
I guess that's the new normal. Still, I am very hopeful for Mojo.
Hard to decide if the blog post is wild, or people's visceral reactions to it.
I've said it before: I believe the obsession in trying to figure out if something is AI generated will soon be classified as a mental disorder.
Did they think that image would make them look fun or interesting? Because it's exactly the opposite.
Yeah, that really made me triple-check if I visited a fake SEO spam website instead of the official OpenCV one. The fact that their blog looks exactly the same every single low-effort AI content farm doesn't help either.
So maybe an AI image isn't the worst.
Yes, so basing confidence on it is totally bogus. Such comments are cheap and add nothing to the discussion of Mojo reaching 1.0 status.
Not to worry though, if there’s nothing webshit accessible in the content there’s surely something wrong with the CSS to complain about!
Why not now though? Why wait for 4 more months? What magic is there to hide in just making it source available at least.
That's the favorable interpretation, atleast.
At this point I find it deeply troubling that it isn't open source. I respect Chris I know folks who have worked with him and but at the end of the day I feel too weird about this entire closed source programming language thing.
If we complain to Nvidia about there weird closed source limitations, I think Mojo is just as bad. You don't even know what your compiler might be doing, and if it does something wrong you can't fix it, you now have to file a bug and wait until the gods from above come to your rescue.
I have had similar issues with drivers, I have faced soo many driver bugs in my work and the answer is always write more code that works around it somehow, this warp level is bad, this feature doesn't work with these values, etc. etc. Why can't I fix them, I have often on Linux just pinged the Mesa team about driver bugs with a rough draft of a patch and gotten it fixed, I can even patch and run it myself when I am in a hurry.
I feel like atleast making stuff, source available like Unreal should be the baseline for any "core" software where a bug could possibly be a major blocking issue for a developer. Windows and Mac are very bad with this.
Mac's CoreML has had soo many bugs over the last couple years I have had to email someone I know at the company to get them fixed or try to get into contact with someone.
Intel's drivers have had bugs too but I have had more contacts there which is a wash. AMD well it's AMD...
Either way closed software sucks I don't want to use fully closed stuff unless I don't have a choice people can make what they want of it. I don't really care.
I care much less about just foss.
And intelligent imaginative people can make quite a bit of sense out of announcing 1.0 prior to the conference. Open sourcing it may require efforts that simply didn't coincide with that announcement. I see this sort of pronouncement in the chat for the chess.com daily puzzle all the time -- "the solution makes no sense!" ... and yet it always does.
P.S.
> "They will probably be releasing it coincident with their August 18 conference."
Yes, I know I wrote that, genius.
And no, I didn't ask a question, and that's not a rational explanation of why you responded. And I don't owe anyone an explanation of my attitude or tone. If you don't like it then don't interact with me.
Edit to your edit: You asked a question, I answered it. Why be a rude about it, "genius"?
I tried Mojo a bit early on and decided to come back to it when it was more complete, and in the interim I read some comments somewhere that the superset-of-Python part was being walked back from.
On https://mojolang.org/docs/roadmap/ it's stated (Phase 3) that "Mojo may or may not evolve into a full superset of Python, and it's okay if it doesn't."
I feel like that "full superset of Python" part was part of the appeal of Mojo.
Personally I'm kind of tired of 97% python-compatible this-and-that. Python itself has enough of a history of incompatibility and the cognitive overhead in switching might be easier with just moving to a totally different language. But maybe not — it depends on the details I guess.
Honestly reading through the documentation more and more I'm more and more confused about what the 1.0 release actually means.
It absolutely was, but IMO was never going to happen. Python has a reputation as a simple language, but it really isn’t. It’s a very complex language hiding behind friendly syntax.
I think once the Mojo team realised that, they had to adjust their expectations.
It seems like a deliberate pivot towards creating an AI-era language which make GPU programming as easy as writing Python.
But mojo is a superset, not a subset. So why not use a subset, infer what you need and generate mojo?
I've never seen this question actually presented to the company and discussed in more detail.
Am I understanding the current state of things correct?
They should show some performance comparisions between PyTorch and Mojo, PyTorch+kernel compilation + Triton vs Mojo, ThunderKittens vs Mojo.
The fact that they release 1.0 without doing this, I think says a lot. I personally haven't even started looking into Mojo because of the closed source stuff, but usually you can tell what's going on by looking for what's obviously missing.
1. https://mojolang.org/
But I hope they succeed, it's a very interesting approach. Then I will jump on it later on. S
LLMs have enough problems distinguishing between major versions between packages, e.g. where all the imports were moved around and renamed.
https://github.com/modular/skills
This gave me a chuckle. When I think of languages evolving their standards, I do think of C++. But not, you know, in a good way.
awesome
(And now in the age of LLMs, the barriers to get started with a new programming language are lower than ever)
Additionally, anyone who has seen how Swift evolved should be wary of Lattner saying "the language is mostly stable", or even "the language is released".
Nvidia is also a major contributor to MLIR, which they use for TileIR and ClangIR, so should a compatibility break occur it wouldn't be entirely up to Mojo to fix it.