bpshaver

Or Micro[0]

[0]: https://github.com/zyedidia/micro

Even better, run `mypy` as part of your LSP setup and you don't even need to wait to run `mypy` to see type errors! If I make a mistake I want to be notified immediately.

I would love to read the steel man case for dynamic typing, but "static typing is for people who need therapy" isn't doing it for me. Anyone have something to recommend so I can understand the intended benefits of dynamic typing?

Unsure how this comment is relevant

I feel like the likelihood that a project will say what language it is written in is much higher if that language is Rust. I like Rust but I do find this trend a little annoying. (Even though I acknowledge that "written in Rust" probably means the tool is relatively new, not buggy, and easy to use.)

Sure, but there's not limit to what people can decide to care about. There will always be people who want more speed and less latency, but the question is: are they right to do so?

I'm with the person you're responding. I use the regular suite of applications and websites on my 2021 M1 Macbook. Things seem to load just fine.

I have nushell installed and use it sometimes. Does it have built-in JSON parsing like jq?

Edit: Well, I just found out about `cat some.json | from json` in nushell. Pretty cool! The nested tables are nice.

Why are you conflating "best" with "what you would recommend a friend"?

Many of the best things in life are hard. And you wouldn't necessarily recommend them to a friend.

When you consider specific domains, often the best instances of X tend to be harder versions of X. Or, when people become familiar with many instances of X they seek out the "best" instances of X. Its natural that those best instances would be difficult for people unfamiliar with the domain.

> Aren't brick-and-mortar bookshops, generally speaking, as viable as Apatosaurus today?

Not at all. Many of them are doing very well and have rebounded from the hit they took when Amazon entered the scene. Not as many of them as there used to be but they're far from dead. In many cities they're thriving.

> Also — secondhand books are generally outdated, undesirable, and/or damaged — do collectors still find diamonds in the rough?

Yes they do, but your premise is incorrect. Many secondhand books are undesirable, sure. Most are. But that doesn't mean there aren't millions of books out there that are valuable either for a collector or to individual buyers.

> No reason to waste real estate on any sort of dedicated seller.

Ugh.

What's the fundamental difference between fast food and fine dining? They're restaurants with food; someone makes a few bucks.

1000% yes, at least with the help of book scouts that cull #2 and sell what they find to #1 for ~40% of retail.

If you want a fun fictional take on this, John Dunning's Booked to Die is a biblio-mystery about a Denver detective / book-lover investigating the murder of a book scout within the 1980's Denver used bookstore scene.

But the ranking is not reflective of actual skills. That's the critique. Aside from very frequent open source contributors (and I think these people are the minority of devs), devs will tend to be "profiled" by this tool according to the dot scripts, university projects, Advent of Code, or other half-hearted projects they happen to have put on their Github. (Maybe I'm just projecting...)

The issue isn't that not everyone has a Github presence, the issue is that for most people their Github presence is somewhat unrepresentative of their actual job skills.

> Have you ever hunted bugs caused by accidentally using a global variable in a function in a Jupyter notebook?

Nope!

> Have you ever scratched your head because your code broke after restarting the Python kernel?

Also nope!

I'm technically a data scientist but I don't use notebooks very often. Even when I did, though, I can't recall having this error very often. Is this really necessary? Anyway, this kind of thing is only useful if people adopt it. The people who are likely to install this tool and use it probably already avoid this issue while the people who have this issue will never hear of this tool or will not consistently employ it.

I guess I'm just salty from years of dealing with people who give their Python code half-hearted incorrect type hints but never run a static type checker on their code.

Couldn't get past

> Between 2020 and 2021 I worked full-time at Google for about a year.

Do you read Thomas Nagel differently?

There is a qualitative difference between what it is like to be a human and what it is like to be a bat. You can't "get closer" to bridging a qualitative difference. Likewise, qualitative difference cannot be "less different." Those terms only apply to quantitative differences.

Additionally, learning additional facts about bats, such as that they create acoustic cognitive maps, doesn't tell us anything about what it is like to be a bat. That's literally the whole point of Nagel's paper.

What makes you think that?

Section 6, "Controlled Evaluation," answers that question: https://arxiv.org/pdf/2304.03442

They're all taken by the same photographer and thus exhibit a consistent style

Why would I want to do that? I'm rarely ingesting arbitrary JSON. Rather I'm designing my data structures in a sensible way and then maybe serializing them to JSON. Just because JSON can represent heterogenous lists doesn't mean it is a good idea to use heterogenous lists in my programs.

Agreed, I was just joking. I understand heterogenous lists are possible with Python, but with the use of static type checking I feel like its pretty rare for me to have heterogenous lists unless its duck typing.

Yeah, just because it can do that doesn't mean that it is good design.

Good point.

Yeah, that seems fair.

Well, I'm one of those people, and I feel that I rarely do this. Except if I have a list of different objects that implement the same interface, as another commenter mentioned.

Who is out here mixing types in a list anyway?

100%. And if you aren't seeking out those difficulties, maybe your chosen degree program is not the correct choice for you right now.

I feel like this "get ready to be surrounded by peers for the first time" or the related "you aren't used to working hard, but now you will actually have to work hard" speech was given to me in some form at the start of high school, college, grad school, and in many other contexts and intermediate milestones. It wasn't ever completely true, but I think if I went for a PhD it would (obviously) have finally been true.

To be clear, I'm not saying I was always smarter than people around me, I just felt like I never had to work as hard as I suspected even through my Masters program.

Isn't compare a Python project to a Bash script an unfair comparison?

Compare a Python script to a Bash script. If your Python3 script (assuming no dependencies) doesn't work after 6 months I got some questions for you.

(And I don't really get how a 6 month old Python _project_ is likely to fail. I guess I'm just good at managing my dependencies?)

Oops, I actually meant Gum, not Glow. Different project from the same folks.

That said, I use Glow to render markdown sometimes. When and how does it connect to internet servers?