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 were speaking out against Trump more back then, than they are now?

[0]: https://www.theguardian.com/technology/2016/oct/17/project-i...

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/DefaultWebBrowser

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 provide a more trustworthy account.

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 sufficient information to even think that any Boeing specific details were a factor in the incident.

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 the airport.

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 year you will be able to use this in Austin and Atlanta: https://waymo.com/blog/2024/09/waymo-and-uber-expand-partner...

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/press-releases/view/n/transition-to...

So the price of a single routable address has gone down by a _massive_ factor.

> 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 pays interest on the debt owed, would you consider that buying? Do you think the US should default on the debt owed?

https://www.bloomberg.com/news/articles/2024-08-16/saudi-ara...

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 "chunks bar" in the Azureus GUI fondly. It'll enjoy firing up BiglyBT after all these years. Using a largely memory safe language makes a lot of sense for P2P software.

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 to deploy them for IPv6 users.

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 your sacrifice, thank you.

> 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 extensionality?

Department stores are doing great in Mexico.

For example, the high rise Mitikah in CDMX was recently completed, and it has a mall complete with metro access, cinema and a giant department store chain called Liverpool. Pictures from the opening[0].

Another new mall, Portal Norte is under construction in Naucalpan, a suburb.[1] Not sure whether it will feature a Liverpool but I would almost be surprised if it wouldn't.

I went to Puebla last month and it has a whole neighborhood of malls called Angelopolis, including bike paths to connect them.[2] The last mall opened in 2018.[3]

I love malls because they are car free, pretty plants and have armed guards. It feels safer than being in the street.

[0]: https://www.facebook.com/liverpoolmexico/posts/liverpool-m%C... [1]: https://www.eluniversal.com.mx/edomex/portal-norte-es-un-mon... [2]: https://www.corazondepuebla.com.mx/descubre/parque-lineal/ [3]: https://www.e-consulta.com/nota/2017-12-14/ciudad/abre-soles...

The code doesn't handle places that don't have a province, or similar concept on OpenStreetMap. See debugger: https://i.imgur.com/X379swH.png

> version of PCRE

It uses https://hackage.haskell.org/package/pcre-light , which seems to link with the system version. So it depends on what you install. With Nix, it will be part of your system expression, of course.

> The compiler and the build system have gotten a lot more stable over the past several years.

GHC2021 promises backwards compatibility, but it includes ill-specified extensions like ScopedTypeVariables. TypeAbstractions were just added, and they do the same thing, but differently.[0] It hasn't even been decided yet which extensions are stable[1], yet GHC2021 still promises compatibility in future compiler versions. So either, you'll have GHC retain inferior semantics because of backwards compatibility, or multiple ways of doing the same thing.

GHC2024 goes even further and includes extensions that are even more unstable, like DataKinds.

Another sign of instability is the fact that GHC 9.4 is still the recommended[2] release even though there are three newer 'stable' GHCs. I don't know of other languages where the recommendation is so far behind! GHC 9.4.1 is from Aug 2022.

It was the same situation with Cabal, it took forever to move beyond Cabal 3.6 because the subsequent releases had bugs.[3]

[0]: https://serokell.io/blog/ghc-dependent-types-in-haskell-3 [1]: https://github.com/ghc-proposals/ghc-proposals/pull/669 [2]: https://github.com/haskell/ghcup-metadata/issues/220 [3]: https://github.com/haskell/ghcup-metadata/issues/40

Lean aims to be a general purpose language, but I haven't seen people actually write HTTP servers in it. If Leo de Moura really wanted it to be general purpose, what does the concurrent runtime look like then? To my knowledge, there isn't one?

That's why I've been writing an HTTP server in Idris2 instead. Here's a todo list demo app[1] and a hello world demo[2]. The advantage of Idris is that it compiles to e.g. Racket, a high level language with a concurrent runtime you can bind to from Idris.

It's also interesting how languages don't need their own hosting (e.g. Hackage) any more. Idris packages are just listed in a TOML file[3] (like Stackage) but still hosted on GitHub. No need for versions, just use git commit hashes. It's all experimental anyway.

[1]: https://janus.srht.site/docs/todolist.html [2]: https://git.sr.ht/~janus/web-server-racket-hello-world/tree/... [3]: https://github.com/stefan-hoeck/idris2-pack-db/blob/main/STA...

> We can generalise this idea of being forced to handle the failure cases by saying that Haskell makes us write total functions rather than partial functions.

Haskell doesn't prevent endless recursion. (try e.g. `main = main`)

As the typed FP ecosystem is moving towards dependent typing (Agda, Idris, Lean), this becomes an issue, because you don't want the type checker to run indefinitely.

The many ad-hoc extensions to Haskell (TypeFamilies, DataKinds) are tying it down. Even the foundations might be a bit too ad-hoc: I've seen the type class resolution algorithm compared to a bad implementation of Prolog.

That's why, if you like the Haskell philosophy, why would you restrict yourself to Haskell? It's not bleeding edge any more.

Haskell had the possibility of being a standardized language, but look at how few packages MicroHS compiles (Lennart admitted to this at ICFP '24[0]). So the standardization has failed. The ecosystem is built upon C. The Wasm backend can't use the Wasm GC because of how idiosyncratic GHC's RTS is.[1]

So what does unique value proposition does GHC have left? Possibly the GHC runtime system, but it's not as sexy to pitch in a blog post like this.

[0]: Lennart Augustsson, MicroHS: https://www.youtube.com/watch?v=uMurx1a6Zck&t=36m

[1]: Cheng Shao, the Wasm backend for GHC: https://www.youtube.com/watch?v=uMurx1a6Zck&t=13290s

You're misinterpreting 'GHC2024'. It's just a language edition, a short hand of enabling a bunch of extensions. You have been able to enable GADTs for many years now, with just a single pragma. It has been built in to GHC for all these years.