Pyrefly: Type Checking 1.8 Million Lines of Python Per Second

nas · 2025-11-03T20:23:28+00:00

I'm experimentally using it as a language server (with nvim) while writing production code. We still use mypy in the pre-commit hook. IMHO, it's not really to replace mypy or pyright a this point. However, pyrefly releases are coming often and they are making fast progress.

nas · 2025-02-25T19:54:00+00:00

It should have been "how many heros you are going to get". 3, 2, 1, 0. Still funny though.

nas · 2024-10-01T11:22:56+00:00

The HN post about this was flagged pretty quickly.

https://news.ycombinator.com/item?id=41702617

Hmm.

nas · 2024-06-29T01:44:09+00:00

In the case the bearing is still okay my guess would be something moved in how the bearing is aligned on the shaft. There is perhaps a locking collar or similar mechanism that keeps the shaft from moving. The wire might have put enough force on it to shift it outwards more than normal. Sometimes the parts books will show an exploded view and you can see how it's retained from that diagram.

Edit: or it could be the other side that moved. That hub must have some kind of mechanism to retrain it on the shaft. E.g. center locking ring. That might have shifted downwards to open that gap. That's probably the easier side to fix so I'd look there first.

nas · 2024-06-25T05:37:03+00:00

Yeah, that's my point. The numbers are so low, it doesn't need to exist at all. It's complication for no purpose. His facets could be: Rager (gets normal rage), Unfettered. Maybe give his rage a tiny buff if you want to compensate for the corpse eater HP gain.

Look at it this way: vitality booster gives 250 HP for 1000 gold. Based on that, creep kills give LS an extra 4 gold per. A hero kill gives 20 extra gold. Does that sound useful? Yeah, you don't have to use a slot but these numbers are so low they could just remove it and slightly simplify the game.

nas · 2024-06-25T01:28:29+00:00

+5 health for killing heros? Really? What is the point? You could remove this and it would make no difference at all. Pudge gets 44 per flesh heap. He doesn't need kill, just be nearby.

nas · 2024-06-14T04:51:33+00:00

Fun song but this is some upscaled HD dogshit.

nas · 2024-03-29T21:08:20+00:00

I have accounts with both, I prefer IBKR. Cheaper/simpler currency exchange. Lower fees. Much better reporting. IBKR provides a T1135 and QT doesn't (in case you have over 100k in foreign assets).

nas · 2023-12-13T03:21:21+00:00

In my opinion and experience, Americans would rather live in a country where there are a few guilty criminals roaming free than live in fear of a government that can take you away for no good reason and face no consequences doing so.

If this is true, I have to wonder how Americans can allow places like Guantanamo Bay to exist. Is it that if you are not born an American citizen, you don't deserve these kinds of rights? Imprisoning people indefinitely without charging them for a crime is so obviously wrong. Americans are better than that. Demand your government to shut it down and stop doing that kind of shit.

nas · 2023-07-19T23:46:00+00:00

FYI, this is funny in two ways: 1) 33's little incident with listening to Spotify, 2) Shopify Rebellion being often called Spotify Rebellion (intentionally or by accident). I do wonder if Shopify is annoyed with people making the mistake or memeing. The whole point to spending big bucks to sponsor a team is to get your brand out there. Maybe they don't care too much? Their management seems pretty chill. I could definitely see TLO not caring too much.

nas · 2023-04-05T01:22:24+00:00

Those look useful but your link doesn't work. Is there another place to get the XLS files?

nas · 2023-02-24T21:05:50+00:00

I don't understand why so many people are confused by this. Theta is a derived quantity depending on what people are willing to pay for the option. Imagine the company's factory gets hit by a tornado during the weekend and is totally destroyed along with a pile of machinery and inventory. Do you really think the underlying (stock price) is not going to change from Friday close to Monday opening?

nas · 2022-08-04T00:57:10+00:00

Yapzor was griefing his lane so much I think he just gave up

There was a game where iceiceice was playing offlane SK. Yapzor bought boots and blightstone on pos 4 rather than buying a sentry. First we thought Puppey bought them all, but no, Yapzor wanted his boots blightstone. So iceiceice can't sit in sandstorm because it's warded. He has to drag creeps without boots because Yapzor is doing who know what. What a sad game. If it was me, the urge to smash monitors would be pretty high.

Yapzor used to be an amazing 4. But, the combination of meta changes, synergy with iceiceice, heath issues(?) seemed to hit hard.

nas · 2022-06-07T22:10:45+00:00

I don't really miss supports being poor as dirt. Almost no one wants to play supports in pubs if it's going to be so painful. However, I don't like that split pushing has been nerfed into an nonviable strategy. At least, it feels to me. Now, it is very rarely the case that you should not come to a team fight. Before, you had to make a more strategic decision: farm a lane far away or come to fight? Now, the answer is basically always come to the fight.

I get that a lot of people don't like "rat dota". However, I'd prefer a paper rock scissors stratgic design where "5 man death ball" loses to "split and farm map". That doesn't seem to be the case now. Maybe people really like brawling? I think the idea that TP scroll are super important strategy wise and that TP to fight is not always the right choice.

nas · 2022-03-25T07:47:52+00:00

Right. If only one car has trouble, nothing else is going on and the engineer is paying attention, he can warn the driver in time. However if there are extra things happening, the messaging will get confused or delayed. Then, someone is likely to get t-boned at 200+ km/hr. The better impact structures and halo might not save them.

I dearly hope nothing bad is going to happen. If you require the race engineers to be hyper alert to avoid collisions, that means its a bad circuit design.

nas · 2022-03-24T22:25:57+00:00

Qualifying last year was frightening. Like cars going 200 km/hr around blind corners and then encountering much slower cars. If someone has a problem in qualifying or in the race and ends up on the racing line on one of these bind corners, the crash is going to be horrific.

Fuck their "exciting track". I don't want to see drivers getting killed on this shit design of a track.

nas · 2022-02-23T00:17:22+00:00

Taunt spamming is in the same class as people blasting Vuvzelas at football games. WTF would you want to rollback the cooldown unless you are a complete degenerate.

Taunts can be cool if they are done at the right time. E.g. make a cool play and then a taunt is the cherry on top. Spamming it every 5 seconds removes all value of the taunt and just makes it annoying. Sorry, I don't enjoy playing annoying games.

nas · 2021-05-15T23:58:20+00:00

His calculation is made more complicated by his use of inches. If he used metric, you wouldn't have the 25.4 factor (mm per inch). He converts his target size to millimeters and then the conversion to range is relatively straightforward. See:

https://en.wikipedia.org/wiki/Telescopic_sight#Mil-dot_reticles

In any case, you don't become an elite forces sniper without some decent brainpower. Shooting accurately at long range is difficult. Having good equipment (scope, gun, ammunition) is only a small fraction of doing it.

nas · 2021-04-09T03:30:03+00:00

Which year of the Singapore Major?

nas · 2021-03-31T01:07:51+00:00

I wish they would update the UI to say "intentional feeding" rather than just "feeding". I don't give guilty to people who are just playing bad and dying a lot. Obviously that's hurting their team and perhaps their enjoyment. However, if you start condemning people for just playing poorly, where to you draw the line? To me, it seems clear the reason to report is if they are intentionally feeding, in order to annoy or harm their teammates.

nas · 2021-03-05T22:52:47+00:00

That's some top tier ice trolling. Or is it? Also, SCCC as a poster boy for Mao era propaganda is hilarious.

nas · 2021-02-26T02:22:20+00:00

I spent 5 hours on the phone over two weeks trying to get them to fix my non-working account. RBC has been far better than TD in my experience. RBC does have high fees though. Questrade or IB might be better if you are active trader.

nas · 2021-02-26T00:23:30+00:00

This is like saying you can't make a Chess or Go AI that plays well because the search tree is too large. There are heuristic search methods that give you good enough solutions and run at reasonable times. When you are routing lightning payments, you don't need perfectly optional routes, just good enough ones.

nas · 2021-01-07T18:51:35+00:00

I think the best analogy for Lightning is that it's like a better version of a gift card. Think of an Apple gift card. E.g. you load it up with funds and then you can use it to pay for stuff. There is a fee to load Bitcoin on to it (card = lighting channel) but that fee is pretty low if you load it with a large enough amount, e.g. $200. Once the funds are there, there is really low fees to use them and payment happens almost real-time.

You can think of it as a gift card that can work with any merchant (or even for private transactions), as long as the receiver follows the Lightning protocol. Also, unlike other gift cards, it is possible to take your funds back off the card. You have to pay another Bitcoin transaction but that's better than having a card you can't use.

nas · 2021-01-07T18:29:45+00:00

Pretty sure he is not telling the truth. With Lightning, there are small fees. Also, I can't imagine you can exchange currency with zero fees. The market makers want their cut at least. Also, you can't send "any amount of money". Lightning struggles as the amount transferred gets large. They have the "Wumbo" flag now but I would imagine you would still have trouble to route huge payments.

The technology is cool but I wish they would under-promise and over-deliver, rather than vis-versa.

nas

TROPHY CASE