Atmosphere Community

atmosphere.community

13 February 2025 10:17

Why don’t we have edits? How might we implement edits? @verdverm.com dives in and shows one way we can get to edits. He’ll also be at #ATmosphereConf if you want to jam on the nuances of editing in person.

dan

danabra.mov

13 February 2025 10:17

the thing that’s exciting to me about Lean is that it’s able to capture things in the mathematical sense (obviously because that’s its purpose). i’m so used to dealing with floats or int or JS Numbers, it’s hard to imagine reals and their properties actually being captured. same with props, sets

Gabe

cwgabriel.bsky.social

13 February 2025 10:17

New Penny Arcade for your Wednesday! #MarvelRivals www.penny-arcade.com/comic/2025/0...

Tim Heidecker

timheidecker.bsky.social

13 February 2025 10:17

Another lovely capture from the Live At Kevin’s studio series. You can watch the full Come Away With Me now: www.youtube.com/watch?v=1264...

Joe Weisenthal

weisenthal.bsky.social

13 February 2025 10:17

Bitcoin dived after the hot inflation print