Por um longo momento eu pensei que fosse post do @theonion.com

Comic. One... two... THREE! [text in red] X Deprecated [line break] One... two... three... GO! [text in red] Deprecated [red curly bracket around top two lines] Too easy to mix up [line break] Three... two... one... GO! [text in green] [check mark] ISO Standard [caption] If I were in charge of ISO, the first thing I’d do would be to standardize the way people count out loud before doing something in sync.

Countdown Standard

xkcd.com/3232/

Are dependencies slowing your team down — or are they just blocking your thinking?

In this lesson from our video course "Remote and Hybrid Team Interactions", by Matthew Skelton and Manuel Pais, the authors break down a surprisingly practical shift in how teams should think about dependencies.

This viral image of Saturn isn't real; it's AI slop From 2004 through 2017, Saturn was imaged many times and from many angles up close by Cassini. This new viral image isn't real; it's AI.

This viral image of Saturn isn’t real; it’s AI slop

A new image of "Saturn's North Pole" has gone viral.

Too bad it's an AI fake.

Here's what the real things look like, and how you can tell for yourself.
bigthink.com/starts-with-...
#space #astro #Saturn #notCassini

Então, ao flagrar que ele estava dormindo na cama e que estava lá colocando ele para dormir, ela só me olha e fala:
- Seu Nazaré Tedesco, roubando meu filho!

Ontem convidei meu filho de 4 anos para dormir na cama dele e ele disse sim! Só que ele pediu para eu ficar lá até ele dormir.
Minha esposa que estava já ansiosa para dormir abraçada nele acordou no meio da noite e foi lá cobrar satisfação porquê eu não tinha colocado o menino na nossa cama

Eu já devo estar no meu 10!

(Não leva em conta que são livros paradidáticos pra crianças de 4 anos, ok?)

There was literally a pangolin that flew combat sorties with the CIA in a dirty war in Laos that then died after drinking too much gin, so there’s at least one pangolin whose record is morally ambiguous

Abstract. Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V-category C with cotensors and a strong V-monad T on C, we investigate axioms under which an ObC- indexed family of operations of the form αx : (T x)v −→ (T x)w provides semantics for algebraic operations on the computational λ-calculus

this is such a great way to start a PL paper

I would like an example please =3
I cannot see how to write one existential type in Haskell , but I most say I am not a natural Haskell reader nor writer, not my native language

A type is a specification of correctness. `f :: Int -> Int` is the property `∀x ∈ Int, f(x) ∈ Int`. In most languages, the type system embeds all properties verifiable by the compiler, meaning not all "true" types are encodeable in the language.

Existential properties are esp. hard to encode

A tweet by @Llama In a Tux (dated Sep. 10, 2022): Don't you understand? The human race IS an endless number of monkeys. And every day we produce an endless number of words. And one of us already wrote Hamlet

I made it my life mission to reference this as many times as I can

Poucas coisas são mais bonitas do que a coxa de uma mulher que consome ultraprocessados.

Isso aqui, né? Já fizeram a cotação para trocar minha cada por uma extrafarma mas acho que vou fechar mesmo e com a drogasil

> Another problem with epsilons is that such comparison isn't transitive

Oh, yes, that is obvious of course! (And I never ever remember this fact, I would indeed break some algorithms with this)

Outro CNPJ? Heuheueheu

It's OK to compare floating-points for equality

New blog post! I really hope I'll get a decent amount of people mad with this one 😈😈😈

#programming #computing #floatingpoint #geometry

lisyarus.github.io/blog/posts/i...

a brown rabbit is sitting on a couch with paw prints on the wall behind it Alt: Cute brown bunny shaking a white toy with cuteness... I mean, angriness

I just saw the title and a priori am mad!

Eles funcionavam em espaço reservado já. Não quer dizer que era ilegal antes.

Gozado: programador que usa Go

Gozando -> Programando em Go

Extra e Carrefour já faziam isso a rodo

Falando sério agora:

> o texto sancionado representa um avanço em relação a propostas anteriores, que previam a venda de medicamentos diretamente em gôndolas, sem controle técnico.

Não vai ser no meio das comidas, vai ser como de fato já faziam: uma farmácia no cantinho

Legalização da Pague Menos, rapaz!

Engenharia de Software Backend Sênior - Ruby on Rails | RD Station (Remoto) afirmativa para mulheres Remoto, Brasil

Engenharia de Software Backend Sênior - Ruby on Rails | RD Station (Remoto) afirmativa para mulheres
CLT - Remoto, Brasil

grnh.se/uc7s3lx82us

Engenharia de Software Backend Sênior - Ruby on Rails | RD Station (Remoto) afirmativa para mulheres
CLT - Remoto, Brasil

grnh.se/e52f8cj52us

Eu já não sou fã de robusta, tendo a opção de um café arábica eu prefiro
Assim como eu prefiro expresso ou na italiana a um coado normal

Cara, café solúvel é normalmente feito com outra variante de café mais adequada. O café normal que a gente usa é da variante "arábica", já o do solúvel é o "robusta".
No fundo no fundo são cafés distintos, então cada um vai ter uma experiência diferente e cada pessoa vai ter um favorito

Puff em formato de tubarão com um cachorro salsicha marrom dormindo dentro da boca apenas com a cabecinha de fora

Tubarão com problema no canino

A small brown bunny sniffs the neck of an acoustic guitar while sitting on a wooden floor.

Eu sou meio suspeito por falar do Draccon 🤣