I can never find it now, but someone had an idea for a computing system which was purely temporal for every object and then you'd only access outside of temporal by filter.
Thanks for pointing this out! The attention to exploration is why I enjoy using Observable so I am glad that this will be paired with the framework features to get us Notebooks 2.0
it's a bit strange that you're unaware that those are some of the current governments biggest concerns -- as evidence by their endless direct attacks on those precise subjects..
This worked wonders for me as a kid, learning computer programming. There was so much knowledge to be gained by typing in 1000’s of lines of other peoples code, published in magazines.
I think I probably learned so much more in between the lines during that period, than if I’d just read the user manuals.
And the same is true even today - spending a few hours code-reading some wonderful open source project will enlighten you immensely.
Code is a social construct - just like music. It prospers in the space between minds, in my opinion.
> If you type out somebody's work, you learn a lot about it. Amazingly it's like music. And from typing out parts of Faulkner, Hemingway, Fitzgerald - these were writers that were very big in my life and the lives of the people around me - so yea I wanted to learn from the best I guess.
I mean, lots of extremely talented and successful engineers, e.g., DHH, think strict typing is actually a negative. I think if you think strict typing is an absolute disqualifier, you should steelman the opposing side.
His "argument" for strict typing on the Lex Fridman podcast was also that it's mostly if you have "hundreds or (of?) thousands of engineers collaborating", which "strictly" puts his opinion in the bin in my case. I have absolutely, positively become more productive as a single developer due to strict typing. Parsing various kinds of binary data was enough to convince me. A.k.a. each to their own. On the whole, Elixir and BEAM seem really cool though, and there's work being done on typing, as well as the new Gleam language.
Note: I've not yet done any serious web-development, mostly command line tools, which I realise is not DHH's main focus.
I tried both and I respect different opinions about this. I feel like TS' type system makes me crazy because it's going too far. But no typing makes me anxious. I guess there is a sweet spot to find for me personally.
Anxious about what? What's your issue with dynamic typing?
Thorough tests of the behavior of your system (which should be done whether the language is dynamic or not) catch the vast, vast majority of type errors. "More runtime errors" in a well designed codebase don't mean errors for the user - it means tests catch them
Seriously.. the secret to writing great dynamic code is getting very good at testing
I come from a PHP and Python background. I can see how progressive addition of types has changed the way we deal with code. Working on a big old project without types is not even possible for me anymore. Refactoring things with types is already such a tedious task. Without it it's barely possible.
The thing is most useful for me about types is it serves as forced documentation. I look at function signature with types and know what kinds of values it accepts and what it returns.
For sure. The biggest advantages of static types I see is the better tooling + faster feedback for type errors. They're advantaegs but not that big of a deal and they're equal to the tradeoffs you're making to where it doesn't matter much
I see dynamic codebases being written differently though. We all know those tradeoffs - so conventions pop up to deal with them. A method that ends in a ? in ruby - like user.admin? - always returns a boolean. You get better at naming to make types clearer
I definitely miss the perfect automated refactorings though
I knew TS's type system went too far when I saw the 8 queens problem solved in just the type system, not the actual language. Me, I just want to get stuff done, not fight my type system.
And that was even before someone wrote DOOM in TS's type system.
On the other hand the NFL’s hard salary cap and consequent parity is what has made it the most popular US professional sporting league. People in the US don’t want to see big markets buy their way to championships.
as an adult the NFL is the most watchable professional sport for me, despite my city having no NFL team. every year I can just choose a playoff bound team to root for based on their style or storyline. And each game is meaningful whereas the other professional sports have regular seasons that just drag on and on. also love the one and done knockout playoff format.
I always thought that Americans just had the NFL on in the background or something and used it as an excuse to be social. But I'm realising I'm likely wrong about that reading comments like this.
I'm guessing you're just a vast amount more accepting of a high ad to content ratio than other cultures?
American football rules have the clock stop every time play stops, unlike association football which runs the clock continuously. This means that for 11 minutes of gameplay there is a lot of other stuff going on with a lot of commentary and replays as the players substitute on and off the field and move to get in position for the next snap.
So that means it's not 100 commercials per 11 minutes of content since much of the content happens while the clock is stopped.
It’s trolling because the photos are easy to substitute or not use at all. No one is going to knowingly post a blog photo costing them 400 quid. It’s a gotcha.