Haniel Barbosa
hbarbosa.bsky.social
Haniel Barbosa
@hbarbosa.bsky.social
SMT solving for fun and profit. https://hanielbarbosa.com/

Also, movies. https://hanielbarbosa.com/filminhos/
Reposted by Haniel Barbosa
More ideas. We’re not going to run out of ideas but generative AI is a tool for people who don’t want to be involved in the step between idea and art. People whose own ideas will never evolve or become more complex because they don’t actually want to interact with or examine them.
December 14, 2025 at 1:34 PM
Reposted by Haniel Barbosa
‘Where do you get your ideas from’ that authors often dread focuses on this misunderstanding. Ideas are easy.
Ideas spring from ideas. Ideas create a more complex ecosystem that prompts the evolution of…
December 14, 2025 at 1:34 PM
Reposted by Haniel Barbosa
This paper contains some good arguments about an issue that concerns me a lot when I hear my colleagues talking about LLM use in developing their research:

Whose ideas are you presenting as your own?

(Though the fatalist argument the authors make at the end of paper is disappointing/bizarre.)
December 14, 2025 at 12:38 PM
@vitojo.bsky.social fui hoje a uma exposição dele!
December 13, 2025 at 7:19 PM
Reposted by Haniel Barbosa
In New Yorker Humor, what all your adoring fans are saying about your Letterboxd reviews. newyorkermag.visitlink.me/KW0xeg
The People You Imagine Reading Your Letterboxd Posts
“I must hire this reviewer to write the screenplay for my next project!”
newyorkermag.visitlink.me
December 12, 2025 at 2:00 PM
Updating my outrage now that a student of mine is presenting a paper at VMCAI (co-located with POPL) and full registration, for a STUDENT, EARLY-BIRD, is, I kid you not, 1375€. And absolutely no financial support is available by the conference. Not even registration discounts (my biggest surprise).
1800 EUR to register to two conferences. What world is this.
December 10, 2025 at 2:10 PM
Reposted by Haniel Barbosa
saiu na Folha @folha.com
December 8, 2025 at 10:52 AM
O ocaso do mundo
Every new word in this sentence is worse than the last
December 7, 2025 at 11:36 AM
Reposted by Haniel Barbosa
we wrap in early january 👀🤭
December 3, 2025 at 7:02 PM
Reposted by Haniel Barbosa
Traditions that sustained the Inuits for many generations in some of the world’s most hostile conditions are vanishing along with the ice. Ben Taub reports from the most remote settlement in Greenland. https://newyorkermag.visitlink.me/2irCnd
November 24, 2025 at 10:30 PM
Reposted by Haniel Barbosa
Brodynho speaks!!!
The Secret Agent is astoundingly ample and generous—passionately engaging drama, sharply realized characters, copious and far-reaching dialogue, richly developed context, exciting action, finely detailed design, form yielding political and emotional jolts; opens today @lincolncenter.bsky.social:...
November 26, 2025 at 12:27 PM
Reposted by Haniel Barbosa
The Secret Agent is astoundingly ample and generous—passionately engaging drama, sharply realized characters, copious and far-reaching dialogue, richly developed context, exciting action, finely detailed design, form yielding political and emotional jolts; opens today @lincolncenter.bsky.social:...
November 26, 2025 at 12:21 PM
Reposted by Haniel Barbosa
Today’s xkcd made me cry.

In a good way.

xkcd.com/3172/
November 24, 2025 at 11:46 PM
3h booking flights. Some things do not get easier.
November 19, 2025 at 2:31 AM
Reposted by Haniel Barbosa
November 18, 2025 at 5:11 AM
Reposted by Haniel Barbosa
this is an absolutely accurate comment

bsky.app/profile/vict...
Looks like an early '00s Blu-ray transfer that people will (mistakenly) assume was accurate in about 20 years.
November 13, 2025 at 11:53 PM
Reposted by Haniel Barbosa
📢 Call for Submissions – FLoC 2026

Join FLoC 2026: top conferences, 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia), and leading invited speakers.

🔗 Learn more and find submission details: www.floc26.org
#FLoC2026 #LogicInCS
FLoC 2026: The 9th Federated Logic Conference
www.floc26.org
November 12, 2025 at 9:09 AM
Reposted by Haniel Barbosa
Tatsuya Nakadai (1932–2025)
November 11, 2025 at 5:25 AM
Reposted by Haniel Barbosa
This is truly brilliant design work and I'm struck again at how movie posters so often prove the initial and most experimental sites for artistic innovations. Gift link: a lovely feature from Carlos Aguilar (@carlosfilm.bsky.social) for the NYT. www.nytimes.com/2025/10/26/m...
Keeping Yorgos Lanthimos Movie Posters Weird
www.nytimes.com
October 27, 2025 at 9:17 AM
Reposted by Haniel Barbosa
As a theoretical cosmologist, I'm frequently asked "what is the benefit of the work you're doing for people's lives?" Nothing I work on makes money or cures disease.

There are a few different answers one can give, at various levels of "convincing" / "actually relevant to why the work is done."

1/🧵
October 3, 2025 at 7:32 PM
Seating in a friend's home in Seattle and re-reading this (terrifying) classic: www.newyorker.com/magazine/201...
The Earthquake That Will Devastate the Pacific Northwest
When the Cascadia fault line ruptures, it could be North America’s worst natural disaster in recorded history.
www.newyorker.com
September 23, 2025 at 3:28 AM
Les chambres rouges (2023), directed by Pascal Plante
divaaaaaaa
September 17, 2025 at 7:51 PM
Reposted by Haniel Barbosa
Relatedly this is why I will never “wait for something to appear on Disney Plus”. Literally everything, whether it is a perfect movie or a bad one, is just that little bit better in a good cinema.
35) Sense and Sensibility. Absolutely delightful to see this on the big screen. (Which always improves even a perfect film.)
August 24, 2025 at 3:59 PM
Reposted by Haniel Barbosa
This is one of the greatest videos that I have ever seen, if you like the sports, just watch it. If you don't like sports, play it in the background. www.youtube.com/watch?v=JwMf...
What if Barry Bonds had played without a baseball bat? | Chart Party
YouTube video by Secret Base
www.youtube.com
August 22, 2025 at 3:37 PM