Fix JuanPabloF -- 🌈🇺🇦 @lambdase

Tweets about functions and types. Likes programming languages and abstract algebra. Likes aren’t endorsements. He/him Earth Joined November 2007

Tweets

3K
Followers

339
Following

703
Likes

16K

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

4 months ago

How is "Various units" a reasonable axis label?! I expect nothing from CloudWatch, yet it manages to disappoint me.

0 0 0 46 0

Download Image

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

12 months ago

> linear > early returns Pick one

htmx.org / CEO of iframe (same thing) @htmx_org

12 months ago

> linear > early returns Pick one

75 31 904 50K 104

Download Image

0 0 0 78 0

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

a year ago

The Scala urge to add an ugly PartiallyApplied class for partial type application for a function with a single call site.

0 0 2 92 0

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

2 years ago

Why is CloudWatch so bad? Why can't Amazon implement something even remotely usable? Filtering requires typing dates and hours. No extraction at all of attributed from events. It's like they don't even try.

0 0 1 134 0

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

2 years ago

One unexpectedly nice property of encoding sum types with subtyping like Scala does is that you can use the sum type members in signatures. I guess you could use DataKinds and GADTs to achieve something similar in Haskell, but it feels so clunky.

0 0 1 110 0

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

2 years ago

My fever dreams involve meetings about implementing security policies as code in our Kubernetes clusters. 🤧

0 0 0 94 0

Fernando 🌺🌌 @zetalyrae

2 years ago

The most important lesson about programming I've learnt recently: keep everything shallow. Data structures should be shallow. Module hierarchies should be shallow. Pipelines should be shallow. Top-to-bottom, end-to-end should be four steps or less.

26 30 550 34K 89

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

3 years ago

I used to be able to use my Macbook without feeling cold aluminum on my hands, but now that I have an M1 Mac it never warms up 🥺

0 0 2 94 0

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

3 years ago

ffs macOS! Why do I need four restarts to increase the maximum number of file descriptors?!

0 0 1 218 0

Download Image

Functional Scala 2024 @FunScalaConf

3 years ago

Learn how you can create safer and more expressive interfaces for internal APIs ⬇️ Explore some practical examples from real-world applications, and more in "Existentials, Universals, And Path Dependent Types For Practical, Safer Interfaces" by @lambdase. youtube.com/watch?v=gKmxhP…

0 3 9 823 1

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

3 years ago

I think it just described both concepts without an actual comparison?

0 0 0 114 0

Download Image

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

3 years ago

How would Kubernetes for fiber concurrency instead of processes would look like? Is cooperative concurrency achievable in a Kubernetes-like system?

0 1 3 130 0

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

3 years ago

Naming. Things

0 0 1 0 0

Download Image

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

3 years ago

This after me asking it about the relationship between invariant functors and isomorphisms. A question I have had for a while now.

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

3 years ago

This after me asking it about the relationship between invariant functors and isomorphisms. A question I have had for a while now.

1 0 1 0 0

Download Image

0 0 0 0 0

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

3 years ago

I, for one, welcome our new GPT overlords

1 0 1 0 0

Download Image

Wiem🇵🇸 @wiemzin

3 years ago

Enjoying the talk of @guizmaii at @FunScalaConf on Easy-to-Maintain GraphQL API Integration Tests with ZIO Test and Caliban

0 4 10 0 0

Download Image

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

3 years ago

Four hours of reading source code can save you 20 minutes of reading documentation

0 0 2 0 0

Fix JuanPabloF -- 🌈🇺🇦 @lambdase

3 years ago

Did we simply accept push notifications are an acceptable advertising channel? I remember this used to be limited to shady apps. Now even well known apps like @Uber spam using push notifications