Sign in

Valeria de Paiva

@valeriadepaiva.bsky.social
585 followers 70 following 69 posts

Logician, category theorist, semanticist. Likes to understand life mathematically, please.

PostsRepliesMedia
Valeria de Paiva @valeriadepaiva.bsky.social · 22/09/2026
I'm diversifying: blog post on partial compilers. Nah, not really, it's just dailectica once again, but this time for fans of compilers. https:// logic-forall.blogspot.com/2026/09/partial-compilers-and-problems.html (with apologies to kxcd for copying it poorly!)
010
Valeria de Paiva @valeriadepaiva.bsky.social · 22/09/2026
My opinion piece "Formalizing Mathematics and making its women visible" appeared in the Committee for Women in Mathematics CWM Newsletter, Aug 2026 pages 9-15, yay! www.mathunion.org/fileadmin/do...
042
Reposted by Valeria de Paiva
London Mathematical Society @londmathsoc.bsky.social · 17/09/2026
The 2026-27 Round of LMS Early Career Fellowships are live, open to early career mathematicians in the transition between PhD and a postdoctoral position. Deadline is in TWO weeks (1 October 2026). For further details ➡️ www.lms.ac.uk/grants/lms-e...
013
Valeria de Paiva @valeriadepaiva.bsky.social · 17/09/2026
No rest for the wicked: I'm counting again. By the way this is me, not the collective `Women in Logic'. womeninlogic.org #womeninlogic logic-forall.blogspot.com/2026/09/coun...
logic-forall.blogspot.com
Counting LICS again
I wish I could be bringing better news. I have been counting LICS committees again. All the numbers below come from two places, both publi...
020
Valeria de Paiva @valeriadepaiva.bsky.social · 28/08/2026
The 10th Anniversary of Women in Logic at FLoC in Lisbon was wonderful! We will write more about it soon, but here's a picture of the party at the Gulbekian Museum cafe to whet your appetite.
030
Reposted by Valeria de Paiva
Women In Logic @womeninlogic.bsky.social · 25/07/2026
It's an absolute pleasure that our final invited talk is given by @valeriadepaiva.bsky.social , the founder of the Women in Logic network. She's speaking on "Logic, Proof, and Community: The Revolution Beneath the Revolution".
The title slide of Valeria's talk.A woman with short dark hair, her glasses on top of her head, wearing a white shirt and white trousers.
272
Valeria de Paiva @valeriadepaiva.bsky.social · 02/06/2026
A blog post about. talking in Parintins, Amazonas, Brazil last week. logic-forall.blogspot.com/2026/05/synt...
logic-forall.blogspot.com
Synthetic Mathematics in the Amazon
Talking about Synthetic Mathematics in the middle of the Amazon rainforest felt slightly surreal. Parintins is famous for the Festival do Bo...
020
Valeria de Paiva @valeriadepaiva.bsky.social · 02/06/2026
Un article à lire dans Epsiloon – Et si la théorie des catégories était une théorie du tout www.epsiloon.com/tous-les-num...
epsiloon.com
Et si la théorie des catégories était une théorie du tout
Cette théorie mathématique hyper-abstraite, et même un peu effrayante, est aujourd’hui mobilisée pour le climat, mettre au point des robots, analyser le langage… Le tout est d'apprendre à la manier.
010
Reposted by Valeria de Paiva
Women In Logic @womeninlogic.bsky.social · 11/05/2026
Inaugural Lecture of Professor Elaine Pimentel 14th May, 2026, 17:30 - 20:00 (online and in person) Title: Proofs, Meaning, and Inclusion Register here: www.eventbrite.co.uk/e/ucl-engine...
eventbrite.co.uk
UCL Engineering Inaugural Lecture Series | PROFESSOR ELAINE PIMENTEL
Join us to recognise, celebrate and showcase the achievements of PROFESSSOR ELAINE PIMENTEL
142
Reposted by Valeria de Paiva
Ada Lovelace Institute @adalovelaceinst.bsky.social · 11/05/2026
Claims that AI will deliver significant productivity gains and savings in the UK public sector are shaping government policy and spending. Ada’s new briefing helps policymakers, journalists and others to evaluate AI productivity claims more robustly. www.adalovelaceinstitute.org/policy-brief...
adalovelaceinstitute.org
Measuring up
Evaluating claims about AI and productivity in the UK public sector
283
Reposted by Valeria de Paiva
The New York Times @nytimes.com · 11/05/2026
The fate of the widely used abortion medication mifepristone is in the hands of the Supreme Court on Monday. The justices are set to decide whether to keep nationwide access in place as they weigh a challenge to the FDA's rules governing the drug. Follow live updates.
nyti.ms
Trump Live Updates: Supreme Court to Consider Case Challenging Access to Abortion Pill
127332
Valeria de Paiva @valeriadepaiva.bsky.social · 22/04/2026
Writing blog posts for my non-mathematician friends. Hope they will like them. logic-forall.blogspot.com/2026/04/the-...
030
Reposted by Valeria de Paiva
Physghoul 👻 🎃 @physgal.bsky.social · 22/04/2026
Happy Earth Day to all my fellow Earthlings! 🌎
Image of astronaut Christina Koch in the Artemis II Orion module looking out at the Earth.
05414
Valeria de Paiva @valeriadepaiva.bsky.social · 22/04/2026
I always said that Brazil punched above its weight in gender gaps!
020
Reposted by Valeria de Paiva
Valeria de Paiva @valeriadepaiva.bsky.social · 14/04/2026
Blog posting about the nuances of mathematical collaboration logic-forall.blogspot.com Also Barany on Bourbaki daily.jstor.org/the-mathemati
021
Valeria de Paiva @valeriadepaiva.bsky.social · 14/04/2026
Blog posting about the nuances of mathematical collaboration logic-forall.blogspot.com Also Barany on Bourbaki daily.jstor.org/the-mathemati
021
Reposted by Valeria de Paiva
Jen @jenk3.bsky.social · 25/03/2026
Took 40-odd years but Bruce has finally allowed "Born in the USA" to be used in a commercial. By the ACLU. Supporting birthright citizenship. Yeah.
203448674
Valeria de Paiva @valeriadepaiva.bsky.social · 30/03/2026
"Fascinating connection between cardinal invariants and category theory" - lovely lead from Baldwin, blog post: "What if Cantor was wrong?" logic-forall.blogspot.com/2026/03/what...
a picture of a young Cantor, the founder of Set Theory
030
Valeria de Paiva @valeriadepaiva.bsky.social · 16/03/2026
A blog post for my logician friends logic-forall.blogspot.com/2026/03/soun... Many thanks Jonathan Weinberger and Marco Panza for inviting me to Chapman last week!
logic-forall.blogspot.com
Soundness and completeness are not enough
This blog post is based on a talk recently given at Chapman University, developed within the context of our joint Topos–Chapman collaborat...
062
Reposted by Valeria de Paiva
Women In Logic @womeninlogic.bsky.social · 18/02/2026
🚨TALK ANNOUNCEMENT🚨 Nordic Online Logic Seminar 23 Feb, 16:00 UTC+1 Fan Yang, "Possible and impossible conditionals for logics based on team semantics" logic-gu.se/nol/2026/02/...
logic-gu.se
Possible and impossible conditionals for logics based on team semantics | Logic@GU
Homepage of the Logic Group at University of Gothenburg.
011
Reposted by Valeria de Paiva
Ele Willoughby @minouette.bsky.social · 20/02/2026
Queen Seondeok of Silla (c. 595 ~ 610 - 647), 27th ruler of one of the Three Kingdoms of Korea, from 632-647, who brought about a renaissance in culture and science and built the Cheomseongdae moon and star-gazing observatory. 🧪🐡👩🏻‍🔬🔭 #histsci This is the anniversary of her death. 🧵
Linocut portrait of Queen Seondeok of Silla with elaborate medieval Korean crown and heavy beaded necklace in gold, red and blue robes, at night with starry black sky with white and grey moon and the grey Tower of Cheomseogdae behind her.
25918
Reposted by Valeria de Paiva
The New York Times @nytimes.com · 20/02/2026
Breaking News: The EPA is allowing coal-burning power plants to release more heavy metals like mercury, a powerful neurotoxin linked to brain damage.
nyti.ms
E.P.A. Weakens Limits on Mercury From Coal Plants
The move appeared to undercut the Make America Healthy Again movement led by Robert F. Kennedy Jr., a onetime campaigner against mercury pollution.
47364256
Reposted by Valeria de Paiva
Congresswoman Pramila Jayapal @jayapal.house.gov · 20/02/2026
Last night, I was notified that another person has died in ICE custody. That’s 39 people who have died on ICE’s watch during Trump’s second term. We cannot grow numb to this. There must be immediate oversight and accountability.
9334191471
Reposted by Valeria de Paiva
The Association for Women in Mathematics @awm-math.org · 20/02/2026
Today for Black History Month please join AWM in celebrating mathematician Dr. Andrea Hairston! A leader in the technology space, Dr. Hairston has built a distinguished career working in a variety of industries and settings. Full writeup here: 🔗 www.facebook.com/share/p/18Ao.... #BlackHistoryMonth
Professional headshot of Dr. Andrea Hairston wearing a blue denim shirt under a white blazer with navy stripes, accessorized with a pendant necklace, seated indoors in front of a blurred background.
011
Reposted by Valeria de Paiva
No Games For Genocide @nogamesforgenocide.com · 02/12/2025
SIGN OUR BOYCOTT XBOX PLEDGE: We are asking gamers, game workers, streamers & journalists to join us in boycotting & divesting from Xbox, to force Microsoft to end its complicity in the genocide of Palestinians. We’ve provided concrete actions everyone can take. Sign here: nogamesforgenocide.com
A graphic which uses the colours of the Palestinian flag: white, black, red and green. Text at the top reads “No games for genocide”, and text at the bottom reads “Boycott Xbox, Sign the pledge”, with the website nogamesforgenocide.com below. In the middle of the graphic is an icon of a fist punching upwards, splitting a missile in half. One half of the broken missile has the Xbox logo on it, and the other half has the Microsoft logo on it.
81367995
Reposted by Valeria de Paiva
Zahra Hirji @zhirji.bsky.social · 20/02/2026
Another day, another rollback. The EPA on Friday rolled back rules limiting mercury & other toxic air pollution from power plants, the latest in a series of moves by Trump designed to boost the nation’s shrinking coal sector. Story @bloomberg.com, gift link: www.bloomberg.com/news/article...
bloomberg.com
Trump Eases Mercury Rules for Power Plants in Bid to Boost Coal
The Environmental Protection Agency rolled back limits on mercury and other toxic air pollutants for coal- and oil-fired plants.
65235
Reposted by Valeria de Paiva
The New York Times @nytimes.com · 20/02/2026
Cuba is confronting the U.S.’s first effective blockade since the Cuban Missile Crisis and running out of fuel fast, pushing the nation toward a humanitarian crisis and its government to the edge of collapse, according to a New York Times analysis. nyti.ms/4cG5Hz3
3317890
Valeria de Paiva @valeriadepaiva.bsky.social · 21/02/2026
Arguing repetitively about the same things is tiring. Here's an explanation of why I think *manels* are bad and what we can do about them. any further arguments welcome! logic-forall.blogspot.com/2026/02/mane...
021
Valeria de Paiva @valeriadepaiva.bsky.social · 18/02/2026
This week, in Portuguese, from Brasileiras no PLN
010
Reposted by Valeria de Paiva
The New York Times @nytimes.com · 15/02/2026
In @nytopinion.nytimes.com The Trump administration is “using detention to inflict pain on anyone — immigrant or citizen — caught in its grasp,” our columnist Jamelle Bouie writes.
nyti.ms
Opinion | The Depravity of Trump’s Immigrant Detention
The president’s immigration dragnet is vicious but not surprising.
35402155
Reposted by Valeria de Paiva
Women In Logic @womeninlogic.bsky.social · 15/02/2026
Day 1 of the Zagreb Logic Conference featured talks by Helena Marcius on topological semantics for interpretability logic, and Sinisa Milicuc and Nicoletta Saulig on noise, novelty, and non-computability.
171
Reposted by Valeria de Paiva
Ele Willoughby @minouette.bsky.social · 15/02/2026
#BlackHistoryMonth is a great time to celebrate #biochemist Marie Maynard Daly (1921-2003), 1st Black woman to earn a PhD in #chemistry in the US! 🧪🐡👩🏿‍🔬 #histsci She made important research contributions to our understanding of the biochemisty of the cell nucleus & cardiovascular issues & the 🧵
My linocut portrait of Marie Maynard Daly in purples (she’s a young smiling Black woman, wearing earrings, a necklace and a dress, looking at the viewer over her shoulder). Above her to the right is an anatomical heart with a blowout diagram in a circle of a clogged artery and the cholesterol molecule all in red. Next to her on the left in blue are the molecules of the bases which make up DNA and a diagram of a human cell.
413045
Reposted by Valeria de Paiva
Bloomberg News @bloomberg.com · 15/02/2026
After politicized prosecutions, pardons for loyalists and other political manipulation, restoring the Department of Justice will require structural reforms after Donald Trump leaves office (via Bloomberg Opinion)
bloom.bg
How to Safeguard the DOJ Against the Next Trump
The Trump administration has taken a wrecking ball to the Department of Justice, dismantling the traditional barrier between prosecutorial independence and partisan politics.
1410945
Reposted by Valeria de Paiva
Ele Willoughby @minouette.bsky.social · 15/02/2026
🧪👩🏾‍🔬 #BlackHistoryMonth #histsci
0198
Reposted by Valeria de Paiva
Techmeme @techmeme.com · 15/02/2026
As AI and agents are adopted to accelerate development, cognitive load and cognitive debt are likely to become bigger threats to developers than technical debt (Margaret-Anne Storey) Main Link | Techmeme Permalink
2145
Reposted by Valeria de Paiva
Natalia (娜塔莉) @wrycritic.bsky.social · 15/02/2026
You didn't react when there were proportionally less women on conferences, papers, panels, awards, media appearances and senior positions. Didn't use your elevated societal position to chase after misconduct allegations or hold iffy colleague accountable. For decades.
19619
Reposted by Valeria de Paiva
The New York Times @nytimes.com · 15/02/2026
With matter-of-fact precision, Gisèle Pelicot’s memoir powerfully chronicles the shock of discovering her husband’s crimes and the rallying cry that followed. “It seeks a proper transfer of shame from sex-crime victims to their perpetrators, and the perpetrators’ enablers,” our book critic writes.
nyti.ms
‘A Hymn to Life’ Review: Gisèle Pelicot’s Memoir Is a Powerfully Written Feminist Manifesto
With matter-of-fact precision, “A Hymn to Life” powerfully chronicles the shock of discovering her husband’s sex crimes, and the rallying cry that followed.
217234
Reposted by Valeria de Paiva
Laurel Krahn @windowseat.bsky.social · 13/02/2026
“They were hellbent on not allowing anybody to help him until he was dead,” she said. “I was right there, and they — all of them — made the decision to deny me access to give him the best possible chance of survival.”
61845863
Valeria de Paiva @valeriadepaiva.bsky.social · 07/02/2026
Thank you Pedro Abreu and friends for my first podcast as part of Type Theory Forall. Great title. I had a great time! www.youtube.com/watch?v=HVMx...
youtube.com
#59 - Category Theory and Inclusivity - Valeria de Paiva
YouTube video by Type Theory Forall
062
Valeria de Paiva @valeriadepaiva.bsky.social · 06/02/2026
Check out our line-up of Women in Logic ONLINE videos. The last one by Elaine Pimentel,last Tuesday, hasn't been uploaded yet. www.youtube.com/playlist?lis...
youtube.com
Women in Logic Online - YouTube
This is a new series of seminars we are calling "Women in Logic Online".
022
Reposted by Valeria de Paiva
Baller Alert @balleralert.com · 08/01/2026
NY Gov. Hochul and NYC Mayor Mamdani Team Up on Universal Child Care Plan for 2-Year-Olds
balleralert.com
NY Gov. Hochul and NYC Mayor Mamdani Team Up on Universal Child Care Plan for 2-Year-Olds
New York Gov. Kathy Hochul is preparing to roll out a sweeping universal child care plan for 2-year-olds. This move could reshape family life across the state and deliver a major win tied to a key promise from New York City Mayor Zohran Mamdani. Hochul is expected to formally announce the initiative alongside Mamdani on Thursday during an event in central Brooklyn, according to officials familiar with the plans. The proposal would begin rolling out as early as this fall, starting with a phased approach that expands access over several years. Full implementation is projected for the 2029 to 2030 school year, creating a universal system of child care for toddlers statewide. The Brooklyn setting is intentional. Rising child care costs and limited availability have hit city families especially hard, making the announcement a symbolic and strategic moment for both leaders. For Mamdani, the program directly aligns with one of his signature campaign pledges focused on affordability and economic relief for working parents. For Hochul, it reinforces her administration’s emphasis on early childhood education, workforce participation, and long-term economic stability. The timing of the announcement also matters. It comes just days before Hochul’s annual State of the State address, where she is expected to outline broader budget priorities and legislative goals. While specific funding details have not yet been released publicly, lawmakers and advocacy groups are expected to scrutinize how the program will be financed and scaled. If enacted as planned, the universal child care initiative could significantly reduce out-of-pocket costs for families, expand access to early learning, and ease pressure on parents juggling work and caregiving. Educators, providers, and parents alike will be watching closely as the rollout details emerge. For now, all eyes are on Brooklyn as Hochul and Mamdani prepare to put a long-discussed promise into motion. Big news from Gov. Kathy Hochul on child care. She will announce today that she’s “committing to fully fund the first two years” of Zohran Mamdani’s implementation of free preschool for 2-year-olds: pic.twitter.com/KmozPhqZhL — Emma G. Fitzsimmons (@emmagf) January 8, 2026
0112
Reposted by Valeria de Paiva
Dr Abolish ICE @pwr2dppl.bsky.social · 04/01/2026
Omg someone made me a wiki and I never knew!!! 🥹🥹😭😭🫶🏿
en.wikipedia.org
The Equidistribution of Lattice Shapes of Rings of Integers of Cubic, Quartic, and Quintic Number Fields - Wikipedia
3357
Reposted by Valeria de Paiva
Ele Willoughby @minouette.bsky.social · 05/01/2026
Happy birthday to #mathematician & #astronomer Nicole-Reine Lepaute (1723-1788)! 🐡🧪👩🏼‍🔬 #histsci My #linocut celebrates her calculated path of the solar eclipse of 1764. She also worked with Alexis Clairaut & Jérôme Lalande to precisely calculate the date of return of Halley’s Comet, solving the
My linocut print of mathematician & astronomer Nicole-Reine Lepaute (1723-1788) in a vertical gradient (bottom to top) of bright pink to lavender on white paper. She wears a wig and gown and the portrait is from the chest to head. Her 12 diagrams of the phases of the annular the solar eclipse of 1764 as viewed from Paris appear across her shoulders. Behind her head in green is her map of the path of the eclipse across Europe.
39428
Reposted by Valeria de Paiva
Al Jazeera English @aljazeera.com · 04/01/2026
Brazilian President Luiz Inacio Lula da Silva says the US crossed an 'unacceptable line' following attacks on Venezuela and the capture of its president, Nicolas Maduro.
752453787
Reposted by Valeria de Paiva
The Joe Gross @joegross.bsky.social · 04/01/2026
Literally a publication for eight-year olds 40 years ago
3204317715946
Reposted by Valeria de Paiva
Steven Clontz @clontz.org · 04/01/2026
#MathSky
021
Reposted by Valeria de Paiva
Johanna Franklin @johannamath.bsky.social · 04/01/2026
#MathSky #JMM2026 It is 4 weeks until Feb. 1, better known as the AWM/MfA Essay Contest deadline! That's plenty of time for a student to interview a mathematician whose gender is underrepresented in math and write an essay about them. Contest rules below:
awm-math.org
Student Essay Contest
Student Essay Contest Sponsored by AWM and Math for America To increase awareness of the ongoing contributions to the mathematical sciences by women and to promote gender inclusivity, the Associatio...
063
Reposted by Valeria de Paiva
magalogika @magalogika.bsky.social · 24/12/2025
A gente faz pesquisa, publica livro, faz palestra resgatando o trabalho das mulheres lógicas, para os lógicos que escrevem sobre sistemas lógicos específicos, para os quais essas mulheres contribuíram, fazerem o quê? IGNORAREM tudo em suas publicações internacionais. It's a freaking long way.
021
Reposted by Valeria de Paiva
Johanna Franklin @johannamath.bsky.social · 04/01/2026
#MathSky
071
Reposted by Valeria de Paiva
David Ho @davidho.bsky.social · 03/01/2026
2026 has been a long year.
91334272