Esa Pulkkinen

Software developer, Java, Haskell, C++, category theory, logic, abstract algebra.
All opinions are personal. I don't represent any organization in tweets.

[Esa Pulkkinen @PulkkinenEsa]

@mrkgrnao @taktoa1 @ttuegel @sigfpe @conal I just published the matrix code to github: https://t.co/EKWQ1jJK2G

[Esa Pulkkinen @PulkkinenEsa]

@RobbyArtStudio @pickover If you take every third digit , maybe that subsequence contains pi at some location? An infinite sequence of digits can contain many infinite sequences as subsequence. Of course knowing how to choose a subsequence that actually contains pi may be difficult.

[Esa Pulkkinen @PulkkinenEsa]

@hillelogram buffalo?

[Esa Pulkkinen @PulkkinenEsa]

@tritlo Nah adding spice twice is not same as adding spice once, because the amount of scovilles is different!

[Mathelirium @mathelirium]

A coherent wave passes through two finite slits and the downstream field is rebuilt by a Huygens sum.

The filaments trace the probability current j = Im(ψ*∇ψ). The interference bands on detector grow from individual impacts sampled from |ψ|².

[Esa Pulkkinen @PulkkinenEsa]

@andrewreed_io @sergeykarayev git rebase -i multiverse/observable

[Rik Arends @rikarends]

51 million lines of code. Chromium codebase. Here you go. 120hz, 3gb ram use.

[Esa Pulkkinen @PulkkinenEsa]

@skdh Do you mean that only the square root of probabilities would be real? Probabilities arise via counting and division.

[Esa Pulkkinen @PulkkinenEsa]

@Abelaer Maybe should just call a theorem linearly representable if it can be expressed as a limit of a functor from any category to the category of vector spaces and linear maps?

[pilk @pilkself]

New post by Terry Tao, and a new declaration on AI and mathematics signed by 25 Fields Medalist

https://t.co/FgsMPEYSM5

[Esa Pulkkinen @PulkkinenEsa]

@DeivonDrago Wasn't there a paper saying the spectral gap is undecidable?
https://t.co/tZdiy05La1

[Esa Pulkkinen @PulkkinenEsa]

@tanujDE3180 The internet is not completely down if localhost is still running. Beware though that if you shut down localhost, your access to the internet can be limited. 🙃😃

[Esa Pulkkinen @PulkkinenEsa]

@nixcraft Skynet would surely produce a proof of P=NP via the principle of explosion.

[Esa Pulkkinen @PulkkinenEsa]

@SebAaltonen GL(2,C)?
https://t.co/FeqrDO5ZRe

[Esa Pulkkinen @PulkkinenEsa]

@scorpio8675309 @PhysInHistory No it doesn't quite assume photons exist. In 3+1 dimensional spacetime, it would be valid to have a non-local interaction between a point of emission and the corresponding point of absorbtion. Of course that breaks another commonly held assumption (locality).

[Esa Pulkkinen @PulkkinenEsa]

@theepicmap That explains why the history of the king of France is a philosophical problem.

The King of France | The n-Category Café https://t.co/zaGEBWvmkL

[Esa Pulkkinen @PulkkinenEsa]

@JeffKaellner @TerribleMaps Mapping earth surface to cylindrical coordinates is bound to cause some issues.

[Esa Pulkkinen @PulkkinenEsa]

@floatingbellyup @OsmoSoininvaara Onko varma ettei meteorien tuomia (kuu)kiviä ole mansikoiden joukossa? 🙃🙃

[Esa Pulkkinen @PulkkinenEsa]

@Glue_814 @AnalysisFact \lim x > \infty [ 1 - 1/x ]

[Esa Pulkkinen @PulkkinenEsa]

@Alecazam123 @Boost_Libraries There is std::throw_with_nested. https://t.co/WYgGBkZ4ED