SMT solving for fun and profit. https://hanielbarbosa.com/ Also, movies. https://hanielbarbosa.com/filminhos/https://bsky.app/profile/hbarbosa.bsky.social@hbarbosa.bsky.social - Haniel Barbosahttps://bsky.app/profile/hbarbosa.bsky.social/post/3mii2qrzpe22v [contains quote post or other embedded content]02 Apr 2026 01:32 +0000at://did:plc:z2o7ussw6v3fnaaj7b3n2udp/app.bsky.feed.post/3mii2qrzpe22vhttps://bsky.app/profile/hbarbosa.bsky.social/post/3mih3xvu2vk2v"Experience is algorithmically incompressible." It's the idiosyncratic that interests me. [contains quote post or other embedded content]01 Apr 2026 16:21 +0000at://did:plc:z2o7ussw6v3fnaaj7b3n2udp/app.bsky.feed.post/3mih3xvu2vk2vhttps://bsky.app/profile/hbarbosa.bsky.social/post/3mfkghephck2qThat moment when you finish editing a special issue. Two years of suffering. Lost in time, like tears in rain.23 Feb 2026 19:52 +0000at://did:plc:z2o7ussw6v3fnaaj7b3n2udp/app.bsky.feed.post/3mfkghephck2qhttps://bsky.app/profile/hbarbosa.bsky.social/post/3md2nlo7loc22Preemptively rescheduling flights... come on, US, I just wanna leave.23 Jan 2026 02:26 +0000at://did:plc:z2o7ussw6v3fnaaj7b3n2udp/app.bsky.feed.post/3md2nlo7loc22https://bsky.app/profile/hbarbosa.bsky.social/post/3mbyfdhaeo224Já sonhando com a chanfana [contains quote post or other embedded content]09 Jan 2026 11:28 +0000at://did:plc:z2o7ussw6v3fnaaj7b3n2udp/app.bsky.feed.post/3mbyfdhaeo224https://bsky.app/profile/hbarbosa.bsky.social/post/3mbmrjvomls2wStarted strong, finished not so much [contains quote post or other embedded content]04 Jan 2026 20:34 +0000at://did:plc:z2o7ussw6v3fnaaj7b3n2udp/app.bsky.feed.post/3mbmrjvomls2whttps://bsky.app/profile/hbarbosa.bsky.social/post/3mbjnp3vh522w [contains quote post or other embedded content]03 Jan 2026 14:48 +0000at://did:plc:z2o7ussw6v3fnaaj7b3n2udp/app.bsky.feed.post/3mbjnp3vh522whttps://bsky.app/profile/hbarbosa.bsky.social/post/3mbgzx4p37k2f2020: NOMADLAND 2021: DRIVE MY CAR 2022: RRR 2023: KILLERS OF THE FLOWER MOON 2024: CHALLENGERS 2025: DIE MY LOVE [contains quote post or other embedded content]02 Jan 2026 13:49 +0000at://did:plc:z2o7ussw6v3fnaaj7b3n2udp/app.bsky.feed.post/3mbgzx4p37k2fhttps://bsky.app/profile/hbarbosa.bsky.social/post/3mba6uvpn522fHype [contains quote post or other embedded content]30 Dec 2025 20:29 +0000at://did:plc:z2o7ussw6v3fnaaj7b3n2udp/app.bsky.feed.post/3mba6uvpn522f