> Our hope is that these extensions can over time be contributed to upstream OCaml.
Yeah, its more just extensions to support their use cases at scale. Think of it more as bleeding edge ocmal, once they work out kinks/concerns they'll get merged back into the language OR if it remains ultra specific it'll stay in oxcaml.
Python gets forked in other investment banks as well. I wouldn’t say that is evidence of any deficiencies, rather they just want to deal with their own idiosyncrasies.
The main user has been writing extensions to the compiler that they test before pushing for integration like they have done for the past twenty years or so. They publish these versions since last year.
Hardly a failure and certainly not something mandatory to keep things from failing over. Your initial comment is extremely disingenuous.
A different perspective is that JS has made practical application of PLT part of their secret sauce, and deepening into their PLT roots is thickening the sauce.
I thought that too (but more New York Christmas Eve movie impressions) until I saw steam coming from manholes in Denver. Blew my mind that it was a real thing haha.
In addition to the heating/cooling uses, the mint in Denver uses it to clean coins!
nope you have the article right. "if you copy an existing model, you can get a pretty comparable model!"
Really, [what the underlying paper](https://arxiv.org/abs/2501.19393) shows is how much you can improve existing models with several of the techniques released by openai recently (extending thought processes via "wait")
It shows we can get a lot of mileage out of that technique.
Surprisingly I find it does! The bulk of the time shouldn't be spent typing I agree, but often once I've mapped out what I want to do I need to type a lot. Improving my typing helped my "flow" as I made less mistakes and was generally faster once I got to the "make it happen" stage.
I was homeschooled from 2nd - 8th grade. My elementary school was trying to put my brother on adderall and my class had sorted me into the "blue" group of readers (colors of the rainbow for reading ability). I apparently came home talking about how I was slow and it was okay because we all learn at our own pace.
Definitely not a great school! both my brother and I ended up going to college and getting engineering degrees, and had zero issues with academics in high school. My mom did a pretty okay job but it was absolute hell on her, I entered high school ahead on mathematics/history but pretty behind on writing and science. The science I dont blame my mom for, all the curriculum at the time was insanely religious, so the ones we could find were very dry.
Those are sources, and while curiosity is great most kids are focused on specific things not everything. Kids need direction and somebody them to focus on things they dont want to learn- like a kid who loves animals isnt going to learn math or how to write well, and a kid whos interested in history might not care at all about science.
Parents are no better at this unless they are incredible focused on utilizing a curriculum and addressing their own issues along the way- And even then, learning with other kids is incredibly helpful. Talking to a computer is not a replacement for a teacher (yet).
> Talking to a computer is not a replacement for a teacher (yet).
I agree. The limitless patience and non-judgement of a computer is very valuable in a learning context. LLMs won't be better than the best private tutors, but its very likely they'll be better than 80% of junior high through college teachers.
> I don’t think I understand a subject unless I can teach it, explain it and argue both sides about why you should and shouldn’t use it.
this is 100% why I write "courses" alongside my notes when learning something- forces you to think about pitfalls you fall into while learning, things you need to revisit and an overall story on how to introduce a topic.
but blogging? Outside of an immediate personal sphere I don't really see the need. Although that said I'm looking at things like [pico.sh](https://pico.sh/prose) just to play around with presentable notes/courses rather than my default obsidian stuff.
One thing this article does is assume extreme functional mindset, I dont even think OOP enters into the authors mind- With that context, I think that statement isn't about object constructors but type constructors.
Man, I get that python is easy to write but maintaining deployed python code is some of the worst experiences in modern software devlopment.
Less Code != less buggy or more stable code, it just means more implicit code. I contend you spend way more time after release debugging runtime issues or patching random edge cases that are just completely eliminated in typed languages, or deploy/env issues that are eliminated in languages that produce a single binary.
Developer efficiency should include your support time after the writing code.
AND holy shit I have to install another venv to run special-snowflake-3 script I will literally lose it. I literally have a folder of all the venvs I need to run one-off shit people pass me. I get the lack of wanting to compile things but thats not a problem with modern build systems like Rust/Go have- Beyond trivial.
The venv created for this is ephemereal (it can not be if you want), so you don't need to keep in mind cleaning up stuff and so. Also uv is really fast in creating the venv and installing whatever is needed. Coming from using plain pip and venvs (and having pain setting up different python version interpreters for projects), and poetry just after that, I am pretty happy with the improvements.
Yeah, really... Python tries to hide some of the insanity behind venvs, conda, etc. but it often ends up some dependency nightmare that's barely holding together. Everyone that tells me "oh Python is so great, it just works" is either only using it for the absolute most basic tasks or kidding themselves. I'd often get a blank stare when I respond to that with "then why am I helping you fix this virtual environment with gigs of cruft for a 'simple task' that has suddenly and inexplicably stopped working for you?"
The equivalent things in Go, Rust, etc are a breath of fresh air for sure
Yeah, its more just extensions to support their use cases at scale. Think of it more as bleeding edge ocmal, once they work out kinks/concerns they'll get merged back into the language OR if it remains ultra specific it'll stay in oxcaml.
Not a complete own version lol