Tootfinder

🐓🥚🐣✨️

from my link log —
Lazier binary decision diagrams (BDDs) for set-theoretic types.
https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/
saved 2025-12-02

The new Blawan album is amazing! Excellent sound design, with some really distorted - but still melodic, sounds. Album of the year stuff!
#Blawan

Hmm, czy jeszcze o czymś ważnym zapomniałem przy pre commit hooku (z lefthook) dla projektu w #elixir?

Mam na razie gitleak, compile, test, credo i dialyzer

Teraz czas na CI/CD. Tak - wolę na samym początku projektu przygotować sobie "bazę" automatyzacji, bo jest ona po to, żeby przyspieszyć pracę w przyszłości.

O niebo łatwiej się testuje i deployuje aplikacje,…

🇺🇦 #NowPlaying on KEXP's #MidnightInAPerfectWorld
Dur Dur Band:
🎵 Gorof (Elixir)
#DurDurBand
https://ostinatorecords.bandcamp.com/track/gorof-elixir
https://open.spotify.com/track/3ny55ZJcTqFLIcuXPzOpBF

It’s finally cooling off here and it’s been a long week, so definitely time for a pot of Miracle Max’s Chocolate Elixir

Crosslisted article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new
[1/1]:
- Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
Giuseppe Castagna, Guillaume Duboc

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
Giuseppe Castagna, Guillaume Duboc

'Sunday Night Football' betting: Giants are perfect elixir for Chiefs' early woes https://www.espn.com/espn/betting/story/_/id/46273125/nfl-week-3-odds-lines-spread-betting…