Making a programming language - BAML. @boundaryml, 🦄 aitw podcast: piped.video/@boundaryml prev YC, google, msft, deshaw, and other things

Seattle, WA
Filter
Exclude
Time range
-
Minimum likes
Agents are the oxygen that oxidize rust.
1
7
379
Replying to @fictionNAIme
correct take!
17
Replying to @thepix_elated
I’m curious, in a world where the agents decide everything for you, what decisions are you making?
1
42
Replying to @infinterenders
You gotta go learn the archaic rules behind python first
1
176
Replying to @thepix_elated
Go write your saas app in ASM and report back.
1
78
Replying to @santitoaz
That’s right. Once we’re done with baml we can all stop everything. Last thing we’ll ever need! 🫡
1
9
Replying to @kamikaz1_k
modern compilers are really really good. in terms of exploring data layouts, I prefer writing in a language with a good compiler and then using AI to inspect the compiled ASM with me to see what we’ve gotten! It’s much faster to understand larger volumes of changes.
2
99
Replying to @KommentatoriXi
I mean models are good enough to write in any language. LLVM IR still expresses ideas much more verbosely than Python / TS / BAML per se. And in many scenarios that verbosity may not be buying you anything.
117
Replying to @philippberner
5 years from now there will be more ASM than today, but there will be even more higher level language code than that. I’ll take the bet!
1
81
Replying to @ossaijaD
You can do this already!
2
316
Replying to @mhogers1199
The hard thing about software is that something may not have changed for 1 year and then suddenly need to change. Also modern compilers are very very good. Writing in asm doesn’t automatically mean it’s faster
1
148
Replying to @codeshaunted
wait till they learn about xtensa!
2
4
422
AI will never ever write code in assembly. Lets me tell you why. I spent most of my career writing assembly, and the hardest part of job was never to write things in ASM, it was deciding what to write in ASM. Writing things in ASM has a real tax. You lock in architectures, memory layouts, and making your code fast, means making it more rigid. Think about our supply chains during covid. Shipping stops and suddenly everything breaks. Speed is never free. AI might write some code in ASM, but only if the value you're getting is worth the benefit. New folks can benefit from SSE/AVX instructions, but the majority of code in the world needs to remain flexible and updatable. At 1M Tokens / second, would you rather generate a for loop in ASM? or an entire app in Python? Time will always be money and compilers and higher level languages are going to win. Hopefully BAML :)
Replying to @vaibcode
It looks very interesting, great work! But on the other hand, I doubt that in a year we'll still be writing and reading code ourselves. Why do we need another programming language if AI will probably be writing code directly in assembly?
30
3
129
17,870
Replying to @steida
Yep! Every existing language was designed for a world assuming some human read that line of code. New languages need to exist designed for the opposite world: humans have read the least lines of code and code can be fixed quickly and reactively.
4
296
Replying to @masylum
brew install baml
Sounds like we need a new language 🤔 Boundaryml.com
9
378
Replying to @LloydPasha
It’s basically semantics of rust, but no lifetimes to deal with. Plus we brought in unions from typescript! We do live onboardings every Thursday if you’re interested boundaryml.com/eap
63
Replying to @FlorianCaesar
re the dynamic of python, this post explains it better nitter.net/vaibcode/status/210372… but concurrency and correctness are a notoriously hard duo. Given that the target for what people should build in BAML is application code not systems code, we bias a bit more towards practical concurrency over lifetime management. this mean: 1. we make it possible to cancel hot loops 2. we have really nice thread pool ergonomics 3. we can support durable execution / multi-machine concurrency (not yet shipped, still in slop stage and needs to be cleaned up) 4. all container types are threadsafe w/o gil you can still run into data races/logic bugs, but we think with really good tracing / observability you'll be able to diagnose issues much better. to help with this, we made BTEL - our improvement over OTEL - thats just 10ns overhead on function calls, and 1000s of times smaller in memory/disk footprint.
Replying to @capythanh
we worked really hard to add type safety to runtime reflection and eval. two examples of things we enable are: compile code at runtime and get back a typed function with a checked signature. build a class at runtime, unreflect it, and use that same runtime type as a compile time generic parameter.
1
282
Replying to @tyiskakov
go has a lot of things that i love, but misses so much as well: union types, the open interfaces things always bothers me, generics were introduced too late into the language, rusts Result type > go's error tuple.
2
165
Build composable layers so you can incrementally rewrite it! Have found this to be very true in our codebase as well.
We rewrote an internal thing from Zig to JavaScript and it got faster and more reliable. The obvious conclusion is that language doesn’t matter. Rewriting does. You should be rewriting everything all the time.
8
827
Replying to @GrowlerEnjooyer
A line of code a day keeps the slop at bay
2
183