Haniel Barbosa
@hbarbosa.bsky.social
SMT solving for fun and profit. https://hanielbarbosa.com/
Also, movies. https://hanielbarbosa.com/filminhos/
Also, movies. https://hanielbarbosa.com/filminhos/
@vitojo.bsky.social fui hoje a uma exposição dele!
December 13, 2025 at 7:19 PM
@vitojo.bsky.social fui hoje a uma exposição dele!
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
In New Yorker Humor, what all your adoring fans are saying about your Letterboxd reviews. newyorkermag.visitlink.me/KW0xeg
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
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).
Reposted by Haniel Barbosa
O ocaso do mundo
December 7, 2025 at 11:36 AM
O ocaso do mundo
Reposted by Haniel Barbosa
we wrap in early january 👀🤭
December 3, 2025 at 7:02 PM
we wrap in early january 👀🤭
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
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
Reposted by Haniel Barbosa
It's as engrossing to remember and write about as to watch: www.newyorker.com/magazine/202...
“The Secret Agent” Is a Political Thriller Teeming with Life
The Brazilian director Kleber Mendonça Filho conjures fateful interconnections among vivid characters living in the grip of military dictatorship.
www.newyorker.com
November 26, 2025 at 12:30 PM
It's as engrossing to remember and write about as to watch: www.newyorker.com/magazine/202...
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
Brodynho speaks!!!
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
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:...
Reposted by Haniel Barbosa
November 24, 2025 at 11:46 PM
3h booking flights. Some things do not get easier.
November 19, 2025 at 2:31 AM
3h booking flights. Some things do not get easier.
Reposted by Haniel Barbosa
Reposted by Haniel Barbosa
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
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
📢 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
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
Reposted by Haniel Barbosa
Tatsuya Nakadai (1932–2025)
November 11, 2025 at 5:25 AM
Tatsuya Nakadai (1932–2025)
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
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...
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/🧵
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
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/🧵
There are a few different answers one can give, at various levels of "convincing" / "actually relevant to why the work is done."
1/🧵
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
Seating in a friend's home in Seattle and re-reading this (terrifying) classic: www.newyorker.com/magazine/201...
Les chambres rouges (2023), directed by Pascal Plante
divaaaaaaa
September 17, 2025 at 7:51 PM
Les chambres rouges (2023), directed by Pascal Plante
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
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.
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
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...
Reposted by Haniel Barbosa
Great thread
funny story, I signed up for personal training at a local gym and was assigned a former NFL linebacker as a trainer
giant man, covered in tattoos, big muscles, loud voice
I am someone who just… doesn’t have a particularly well-assembled body
giant man, covered in tattoos, big muscles, loud voice
I am someone who just… doesn’t have a particularly well-assembled body
“men can’t express their feelings because they get taught as boys to toughen up if they cry”
*stares in Was In Ballet For Her Entire Childhood*
*stares in Was In Ballet For Her Entire Childhood*
August 14, 2025 at 9:58 PM
Great thread
Sabia que ia ter essa viagem. Nunca mude, Brodynho
August 15, 2025 at 12:36 AM
Sabia que ia ter essa viagem. Nunca mude, Brodynho
Reposted by Haniel Barbosa
Our film critic Richard Brody selects the best performances of the 21st century, from Lindsay Lohan to Mahershala Ali.
The Best Movie Performances of the Century So Far
The best film performances of recent decades reflect radical changes in the art of filmmaking, and in the idea of performance itself.
www.newyorker.com
August 15, 2025 at 12:11 AM
Our film critic Richard Brody selects the best performances of the 21st century, from Lindsay Lohan to Mahershala Ali.