Advertisement · 728 × 90

Posts by Valeria de Paiva

Post image

Blog posting about the nuances of mathematical collaboration logic-forall.blogspot.com
Also Barany on Bourbaki daily.jstor.org/the-mathemati

1 week ago 2 1 0 0
Post image

Blog posting about the nuances of mathematical collaboration logic-forall.blogspot.com
Also Barany on Bourbaki daily.jstor.org/the-mathemati

1 week ago 2 1 0 0

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.

3 weeks ago 3468 677 20 28
a picture of a young Cantor, the founder of Set Theory

a picture of a young Cantor, the founder of Set Theory

"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...

3 weeks ago 3 0 0 0
Preview
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...

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!

1 month ago 6 2 0 0

Thanks @prathyvsh.bsky.social! both Andrea and Michael are long time collaborators, but I had not seen this paper.

1 month ago 1 1 0 0
Possible and impossible conditionals for logics based on team semantics | Logic@GU Homepage of the Logic Group at University of Gothenburg.

🚨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/...

2 months ago 1 1 0 0
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.

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.

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.
🧵

2 months ago 59 19 2 4
Advertisement
Preview
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.

Breaking News: The EPA is allowing coal-burning power plants to release more heavy metals like mercury, a powerful neurotoxin linked to brain damage.

2 months ago 365 258 48 60

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.

2 months ago 3444 1476 96 53
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.

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.

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

2 months ago 1 1 0 0
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.

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.

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

4 months ago 1314 958 8 132
Preview
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.

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...

2 months ago 52 35 6 12
Video

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

2 months ago 179 91 33 12
Post image

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...

2 months ago 2 1 0 0
Post image

This week, in Portuguese, from Brasileiras no PLN

2 months ago 1 0 0 0
Advertisement
Preview
Opinion | The Depravity of Trump’s Immigrant Detention The president’s immigration dragnet is vicious but not surprising.

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.

2 months ago 406 155 35 8
Post image

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.

2 months ago 7 1 1 0

happy birthday!

2 months ago 3 0 1 0
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.

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.

#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 🧵

2 months ago 133 46 4 2
Preview
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.

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)

2 months ago 112 45 14 4

🧪👩🏾‍🔬 #BlackHistoryMonth #histsci

2 months ago 19 8 0 0

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

2 months ago 14 5 2 1

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.

2 months ago 96 20 1 0
Preview
‘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.

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.

2 months ago 172 34 2 2
Advertisement

“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.”

2 months ago 1856 869 6 12
#59 - Category Theory and Inclusivity - Valeria de Paiva
#59 - Category Theory and Inclusivity - Valeria de Paiva YouTube video by Type Theory Forall

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...

2 months ago 6 2 0 0

Very disheartened by your line-up @shriram.bsky.social . 3 women in 14 PC members? not cool at all!

2 months ago 1 0 1 0
Preview
Women in Logic Online - YouTube This is a new series of seminars we are calling "Women in Logic Online".

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...

2 months ago 2 2 0 0
Preview
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

NY Gov. Hochul and NYC Mayor Mamdani Team Up on Universal Child Care Plan for 2-Year-Olds

3 months ago 11 2 0 0