Hacker News new | past | comments | ask | show | jobs | submit | tuvistavie's comments login

Depending on the country, it can truly be. Some of my relatives have money stuck in Lebanon and there is currently not really any way of getting the money out of the country.


In general, I'd say UK visa process and cost are quite terrible, to say the least. However, for the global talent, the harder part is to get endorsement, after which it should be relatively straightforward. A friend of mine recently got his through the research route and the process seems to have been quite smooth. I think it took about a month or so. For reference, he is finishing a PhD in a top US university and has a good amount of peer reviewed research.


I am not sure I would advocate for this but, from Python 3.8, this is an instance where assignment expressions could allow the first code without duplication.

    first(x * y
          for x in nums
          if (y := 2020 - x) in nums and x != y)


I agree, tuvistavie! But my default machine has 3.7 installed, and I didn't want to get too far ahead of readers. Sometime next year I'll go to 3.8, and look forward to using ":="


> The difference is that what the doctors put so much time into learning can actually be quite useful for their job.

I'd be curious to hear what a doctor would think about that. My intuition would be that, as for almost any exam, a lot of time is spent on things that will not be useful for any other purpose than the exam itself.


Even if it isn't, do doctors have to retake these exams multiple times (as developers have to do this for multiple interviews) every two years when wanting to switch jobs (doctors often don't have to switch jobs, they often have their own practice).


They also have to go to school for 10 years before they’re even allowed in the job market.

I’ll take our sometimes silly interview processes over that.


>They also have to go to school for 10 years before they’re even allowed in the job market.

Not to mention that during that time they are accruing loans in insane amounts (we are talking about $200-300k) and get worked in insane shifts (24-36 hour shifts are not unheard of during residency rotations).

Oh, and they don't get paid at all until they start residency rotations which is AFTER 4 years of med school, and their pay during residency is on the order of $30k-50k for what effectively amounts to 80-100 hours a week. Mind you, that's on top of the fact that in the US, you only enter a med school after you already got a college degree. So you enter a med school at the age of 23.

I have respect for the doctors, but I definitely do not envy their position. Their real work doesn't even start until their 30s, at which point they are already really deep in student loan debt. Of course it is manageable, since they get paid handsomely. But their work-life balance and the entire process where you start your "real work" after the age of 30 with $200-300k in loans, at that point, isn't something that a lot of people consider when they think "those doctors are having it nice."

It isn't even a second thought to me that I would much much rather study for interviews every single time i switch a job as a software engineer than deal with what doctors deal. And that's not even mentioning that studying for a typical software dev interview is absolutely nothing compared to the studying that med school students have to do in order to pass their board exams.


If there were poor doctors who had to drive for Uber eats after hours we would be hearing about it


I am not saying that doctors in the US are poor, quite the opposite.

They are, however, very poor (and in tons of debt) until they actually become a full doctor (which is typically in their early 30s, after they are done with med school, residency, and board exams) and extremely overworked (which still holds true for most of them even after becoming "real" doctors).

You don't hear about "poor doctors", because during the decade in which they are poor they are counted as "students" by most people, and poor students isn't exactly something surprising or eyebrow-raising for most people. It's just the magnitude of that poorness and overworking is completely invisible to most people who don't have someone in their friend group or family who just recently became a doctor.


In somewhat of a parallel, you don’t have to switch jobs either, you can start your own software company at any time ;)


I've tried doing freelance before, and I was a terrible marketer for myself. While that's definitely an option for people in this industry, I'm not sure it's a great path for me.


Same with medicine. Although under-served markets are common you still have to market yourself in private practice. New specialists advertise to GPs to get referrals for example.


Runtime safety and compile time safety are not the same thing. Compile time safety is not a silver bullet but it does protect against quite a few classes of errors.


I think the only possible answer to how much math do you need is that it depends on what you work on. There is a lot of stuff that can be done only using very basic math, that's for sure.

I would tend to agree with the article that math can be quite useful as a general mental model and can often help to find cleaner solutions to some problems.

There are also a lot of applications that require some, often quite specific, knowledge of math: machine learning, cryptography, game engines, to name a few.


For sure. The question itself is wrong because "programming" is not a monolithic field. You'll need more math for some areas than for others.


I'm in the middle of my PhD and switched from printing papers to reading them on my iPad roughly two years ago.

There are some things I miss from paper but overall I found the pros to overweight the cons.

I haven't found that flipping back and forth on iPad is that horrible, to be honest.

Not sure how helpful this will be but I'll share what I've been doing for now. I use the following apps:

* Mendeley (to organize papers)

* PDF Expert (to annotate PDFs)

* GoodNotes (mostly when working out the maths)

My usual workflow is:

* Read through the paper

* Annotate in the paper using Apple pencil as I read through

* Figure out the maths on the iPad when needed

* When I get back to a computer, upload the annotated file to Mendeley and type summary notes in Mendeley

A few things that I like/dislike about iPad when compared to paper.

+ Search for information on the web while reading paper more easily

+ Check notes/annotations quickly from my computer

+ Share notes easily

+ Search notes easily

+ Clean desk =D

- More context switching needed when I need to scramble something

- Mendeley misses some basic features on iOS (e.g. attach PDF to existing paper) so need to context switch with computer at some point after reading the paper

I would say that for 90% of the papers I go through, where I don't dive that deep in the paper, the experience is just as good on iPad. For the 10% of the papers I read where I go in-depth, redo proofs, etc, it's a little more tedious. While it's for sure not perfect, given the above pros, I can live with the cons.


I would avoid Mendeley. Firstly, they are trying to create a researchgate-style social media spam network layer. Secondly they are owned by the maximally vile Elsevier. Thirdly, their software quality is poor eg. they couldn’t get sync working properly for maybe 5 years (until I gave up).

On the other hand, I love https://paperpile.com/app


As much as I agree with you on all the points, in my case I kind of have to stick with what my research group is using for now.


Let me know what you think about Polar:

https://getpolarized.io/

We launched about a year ago and are REALLY close to a 2.0 release.


It would be nice if you did not initiate a download on my behalf when I merely visit the "download" page via the main navigation. I would expect at least prompt for confirmation before you push a 180 MB binary to me.


I'm a huge Polar fan! I'm considering buying an iPad just for using Polar, but I was wondering about the ReMarkable as well, since I like e-ink better for reading.

Do you have any recommendations for a tablet to use with Polar?


What app do you use for Polar? I used Polar for a bit on my Mac but gave up because I do most of my reading on an iPad. Would give it another shot if I could get Polar running on iPad.


I just use it on my laptop and desktop (Mac/Linux). I think I'd prefer to use a tablet though as I'm not a huge fan of reading on computers. Currently looking around and I've seen your sentiment about Polar and iPads before. Hopefully better support is coming in the 2.0 release though.


Looks great - will check it out.

Noticed you have a typo on the homepage under the uni logos.

"Discovery why Polar [...]" should read "Discover why Polar [...]"


Oh this looks really cool and your free tier is awesome. I'm going back to school in the fall and will be giving this a shot.


Do you any plans to support math symbols in annotations?


At the end of the day I think it's just a matter of cost. If it's cheaper to let a software fail and simply fix it when it does, there will not be much interest into proving it to be correct. If a failure will likely be vastly more expensive than proving correctness, then proving correctness will make sense. There are simply way less instances of the second category. I think one of the few "new" instances, which might be worth mentioning is smart contract programming, where failures can cause millions of loss and proving correctness is not too expensive.


With the amount of infrastructure focused around testing I think the opposite is true.

I think it's more ignorance and culture. Many people don't know about formal methods.


Agreed.


I am pretty sure we reached this point quite a few years ago. From what I know, most people learning web programming nowadays start with Rails, Express JS or whatever framework of the day they have been recommended, and use the integrated HTTP server for development, I would assume, often without even really worrying about what is actually happening. CGI scripts are definitely not on the list of things to learn there.


The amount of tweets and the variety of languages is actually pretty impressive. https://daniel.perez.sh/misc/notre-dame/


Consider applying for YC's Summer 2025 batch! Applications are open till May 13

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: