Viewing profile — iso8859-1

Was YC always right wing, or did a shift occur? I see articles like [0] claiming that there was a backlash for aligning with Trump back in 2016. Does that mean that YC founders wer…

There is a Haskell meetup in Stockholm in 9 days if you're interested: https://discourse.haskell.org/t/haskell-meetup-in-stockholm-...

Does this new TOS also apply to Firefox as distributed in Linux distributions? Will Debian's default browser get switched out for LibreWolf? https://wiki.debian.org/DefaultWebBrows…

it would be confusing since it's not part of UnicodeSyntax https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/unic...

the repo says the code is in the mypy repo and it looks like it is maintained in there. so I think it has had updates the last four years?

You're assessment is correct and it was indecent of me to say such things. I'd like to apologize for both the condescension and the lack of respect.

The localizer antenna mount (the concrete) was inside the airport perimeter. See diagram: https://multimedia.scmp.com/embeds/2024/world/skorea-crash/i...

We don't know that for sure yet. The gear being down is based on an eyewitness report, as far as I understand from Juan Browne. The readout from the flight data recorder will provi…

The 737 is one of the most popular aircraft in the world. It's had hundreds of incidents. There is no reason to think that there is any conspiracy going on, and there is not suffic…

That's a great observation about 'international airport'. There is no point in mincing words regarding the definition of 'tiny'. I think you've correctly characterized the size of …

[flagged]

How do they enforce the ban? Do universities have non-compete clauses for PhD students?

Thank you! I have sent you an invite.

can i see your github?

Can you use dlopen in wasm already?

In Phoenix, you can use the Uber or Uber Lite apps per https://www.uber.com/newsroom/waymo-on-uber/ Uber Lite: https://play.google.com/store/apps/details?id=com.ubercab.ub... Next …

What makes you think it doesn't work for Europeans?

In 2004, IPv4 addresses may have been cheaper, but IPv6 wasn't as widely used as today. Now, 88% of mobile operators offer IPv6, and 94% of fixed ISPs: https://en.arcep.fr/news/pre…

> Think about it next time you buy any product from there Avoid buying would be to avoid making new debt obligations. But there are already a ton of debt obligations. When the US p…

It's heartwarming to see that the spirit behind Azureus is still alive. SWT might not be what the Duke himself wants in a Java GUI framework, but it's practical and I remember the …

The tzdb assumes Local Mean Time (LMT) was used all over. For example, the tzdb has Africa/Monrovia still using LMT in 1970. https://en.wikipedia.org/wiki/Local_mean_time

Why is there a difference in captcha exposure between IPv4 and IPv6 then? Maybe there is no actual security, but the people deploying these captchas seem to think there is a need t…

Laptops with loud fans makes it really easy to find inefficient software. Most people nowadays would just get a fanless computer and give up on fighting the bloat. But I appreciate…

> Extensionality fails in most dependent type theories Is this a reason to use Isabelle? I remember Bob Harper being interested in dependent typing. What is his take on extensional…