@angelgladin Profile picture

Ángel Gladín

@angelgladin

Joined March 2010
Similar User
Vale Landa photo

@valeria_landaa

Brenda photo

@YareGaLa28

Comrade Socko Spears photo

@ricardo_rodab

ʕ·ᴥ· ʔ OSO Y8 ʕ ·ᴥ·ʔ photo

@YoshiBrightside

Pichu photo

@Pichu1311

Emiliano photo

@mildewyPrawn

bailasincesar photo

@vakro_

loyola photo

@floyola_

Carlos Nolasco photo

@elenttar

Him Jall photo

@r_card_

Alma photo

@lil_arpa

Fernando Rg photo

@Fercho_Arb

Tavo photo

@CSRtavo

Rodrigo Amezcua photo

@Rodrigo_AC98

Uriel photo

@Leiru06

Ángel Gladín Reposted

Optics

impurepics's tweet image. Optics

Ángel Gladín Reposted

I’ve seen blasphemy today.

ilyasergey's tweet image. I’ve seen blasphemy today.

Ángel Gladín Reposted

started work at a non #Haskell company and I gotta put this at my desk now to help me me when I feel homesick 🥲 character set upgrade coming in the mail soon hopefully!

mstk's tweet image. started work at a non #Haskell company and I gotta put this at my desk now to help me me when I feel homesick 🥲

character set upgrade coming in the mail soon hopefully!

Ángel Gladín Reposted

My Licentiate thesis just dropped! The seminar itself is at 15:30 CET on Jan 17th, Zoom link available upon request (to deter spammers). After that, I'll be officially halfway done! In the meantime, enjoy ☺️ mpg.is/papers/gissura…

tritlo's tweet image. My Licentiate thesis just dropped! 

The seminar itself is at 15:30 CET on Jan 17th, Zoom link available upon request (to deter spammers). After that, I'll be officially halfway done! In the meantime, enjoy ☺️

<a style="text-decoration: none;" rel="nofollow" target="_blank" href="https://t.co/08LP9Xz8Kj">mpg.is/papers/gissura…</a>

Ángel Gladín Reposted

Mathematics and beauty. Endless structure, endless awe. Source: tinyurl.com/ybaolha6 https://t.co/NDuGSkFtXT

pickover's tweet image. Mathematics and beauty.  Endless structure, endless awe.  Source: <a style="text-decoration: none;" rel="nofollow" target="_blank" href="https://t.co/oADVCChiD4">tinyurl.com/ybaolha6</a>  https://t.co/NDuGSkFtXT

Ángel Gladín Reposted

#Haskell , even more choice than your grocery's cereal aisle! haskellweekly.news/survey/2021.ht…

headinthebox's tweet image. #Haskell , even more choice than your grocery's cereal aisle!

<a style="text-decoration: none;" rel="nofollow" target="_blank" href="https://t.co/y88vfCe3tu">haskellweekly.news/survey/2021.ht…</a>

Ángel Gladín Reposted

🔄 Is "Complete and Easy Bidirectional Typechecking" the way to go if you want to implement a Haskell-like type system (type inference, parametric polymorphism, typeclasses, RankNTypes)?


Ángel Gladín Reposted

Are the SOLID principles applicable to Functional Programming? Of course. Functional programmers want to separate their code to avoid crosstalk between responsibilities and users. They want to minimize the number of modules affected by a change.


Ángel Gladín Reposted

Ángel Gladín Reposted

“Instead, I prefer Bird and Gibbons’ Algorithm Design with Haskell. This is not an easy book to follow, but it will pay off, not only in terms of teaching you algorithms, but also in terms of making you think as a computer scientist” — Alex Alves link.medium.com/x4jguqp0jkb


Ángel Gladín Reposted

My son’s teacher has asked parents to go and tell the class about our interesting jobs. How can I make “programmer with a special eye on compilers and formal verification” seem cool to 6-year-olds?


Ángel Gladín Reposted

I heard there was a dress code

molly_struve's tweet image. I heard there was a dress code

Ángel Gladín Reposted

next you will say gnu's not unix

nixcraft's tweet image. next you will say gnu's not unix

Ángel Gladín Reposted

I thought Scala 2 with its 24 compiler phases was something, but Scala 3 has 90 phases!? github.com/lampepfl/dotty…

reibitto's tweet image. I thought Scala 2 with its 24 compiler phases was something, but Scala 3 has 90 phases!?

<a style="text-decoration: none;" rel="nofollow" target="_blank" href="https://t.co/zlw5IO3PZl">github.com/lampepfl/dotty…</a>

Ángel Gladín Reposted

mi meme favorito

blurred07's tweet image. mi meme favorito

Ángel Gladín Reposted

Time to learn some VHDL and learn how to build your own TRANSISTOR. LOL. reddit.com/r/ProgrammerHu…

nixcraft's tweet image. Time to learn some VHDL and learn how to build your own TRANSISTOR. LOL. <a style="text-decoration: none;" rel="nofollow" target="_blank" href="https://t.co/iZhvuyMUmL">reddit.com/r/ProgrammerHu…</a>

Loading...

Something went wrong.


Something went wrong.