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/
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.
Reposted by Haniel Barbosa
Those aren’t reviews. Those are opinions, and they have their place and uses, but they do not substitute for deeply informed and engaging critical writing, which is a skill that takes time, practice, and experience to develop.
Life changes. Organisms/organizations need to adapt. I'm sure people go to crowdsourced info for reviews, like Goodreads, just like Yelp and others for restaurant reviews.
August 10, 2025 at 10:46 PM
Those aren’t reviews. Those are opinions, and they have their place and uses, but they do not substitute for deeply informed and engaging critical writing, which is a skill that takes time, practice, and experience to develop.
Reposted by Haniel Barbosa
As a physicist I can easily calculate time dilation from relativistic motion (time slows when you're moving fast) or proximity to a massive object (time slows in gravity) but I have yet to find a solution for emotional time dilation (the task takes five minutes to complete but six weeks to start) 🫠
August 6, 2025 at 7:03 PM
As a physicist I can easily calculate time dilation from relativistic motion (time slows when you're moving fast) or proximity to a massive object (time slows in gravity) but I have yet to find a solution for emotional time dilation (the task takes five minutes to complete but six weeks to start) 🫠
Reposted by Haniel Barbosa
Terence Tao (@teorth.bsky.social) has written a thread on Mastodon about the impact of the federal grant freeze to UCLA, particularly to his own field of Mathematics. UCLA's IPAM (Institute of Pure and Applied Mathematics) could shut down entirely
mathstodon.xyz/@tao/1149568...
mathstodon.xyz/@tao/1149568...
Terence Tao (@tao@mathstodon.xyz)
The current administration in the US has, through various funding agencies such as the NSF and NIH, has recently suspended virtually all federal grants to my home university, UCLA (including my own p...
mathstodon.xyz
August 2, 2025 at 6:27 PM
Terence Tao (@teorth.bsky.social) has written a thread on Mastodon about the impact of the federal grant freeze to UCLA, particularly to his own field of Mathematics. UCLA's IPAM (Institute of Pure and Applied Mathematics) could shut down entirely
mathstodon.xyz/@tao/1149568...
mathstodon.xyz/@tao/1149568...
Reposted by Haniel Barbosa
If you're an educator who uses temporal logic or person who wants to learn it, check out our new free, online LTL Tutor. This post explains what's so cool about it, and has a link to it. Special support for educators who want to use it in classes!
blog.brownplt.org/2024/08/08/l...
blog.brownplt.org/2024/08/08/l...
LTL Tutor
blog.brownplt.org
August 9, 2024 at 5:26 PM
If you're an educator who uses temporal logic or person who wants to learn it, check out our new free, online LTL Tutor. This post explains what's so cool about it, and has a link to it. Special support for educators who want to use it in classes!
blog.brownplt.org/2024/08/08/l...
blog.brownplt.org/2024/08/08/l...
Reposted by Haniel Barbosa
Ozzy is one of like 3 people in Decline of Western Civilization Part 2 that comes off as a decent human being and I always love the scene where Penelope Spheeris interviews him making breakfast while he explains the ups and downs of the business.
July 22, 2025 at 6:28 PM
Ozzy is one of like 3 people in Decline of Western Civilization Part 2 that comes off as a decent human being and I always love the scene where Penelope Spheeris interviews him making breakfast while he explains the ups and downs of the business.