The journalistic formalisation of Riley's law
"Newsom is following a pipeline transgender people have seen time and again… Transphobia rarely stays confined to one small corner… Those who embrace it… almost always end up sliding further into opposition to nearly every facet of transgender existence…"
www.lgbtqnation.com/2025/08/acti...
www.lgbtqnation.com/2025/08/acti...
Activist warns that the rise of Gavin Newsom is an ominous sign for trans people - LGBTQ Nation
Newsom has proven willing to sacrifice trans rights to win voters. And according to Erin Reed, "Transphobia inside the party is not a treatable wound."
www.lgbtqnation.com
August 30, 2025 at 3:47 PM
The journalistic formalisation of Riley's law
The EU and UK are already reestablishing a security relationship informally, in advance of any formalisation of it
EU to debrief British PM Keir Starmer on Friday on EU thinking on security guarantees for #Ukraine and the expected go-ahead to @vonderleyen.ec.europa.eu's €800bn 'ReArm Europe' plan. #Trump #EU #Russia #ReArmEurope
March 5, 2025 at 12:11 PM
The EU and UK are already reestablishing a security relationship informally, in advance of any formalisation of it
Last year we saw an increase of graffiti depictions the Wicker King. This year colleagues in the Folklore department report an uptick in Wicker King sightings. This matter needs further study. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1983
January 30, 2026 at 12:27 PM
Last year we saw an increase of graffiti depictions the Wicker King. This year colleagues in the Folklore department report an uptick in Wicker King sightings. This matter needs further study. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1983
At first it was thought stencilled images might be the logo for a band. Further research has shown them to be a representation of The Doom Tree, a symbol core to the eco-cult Garden of Dust. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1982
September 17, 2026 at 9:49 AM
At first it was thought stencilled images might be the logo for a band. Further research has shown them to be a representation of The Doom Tree, a symbol core to the eco-cult Garden of Dust. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1982
This is also essentially what I was trying to get at with the horrible term "in/formalisation" in The Videogame Industry Does Not Exist, where I was trying to gesture towards the 'kinda professional but also kinda not' situation so many devs find themselves in now.
May 19, 2025 at 1:10 AM
This is also essentially what I was trying to get at with the horrible term "in/formalisation" in The Videogame Industry Does Not Exist, where I was trying to gesture towards the 'kinda professional but also kinda not' situation so many devs find themselves in now.
At last, the formalisation of cat age standards has been researched, approved & published!
A lot of people are confused by the concept of “cat years" so here's a little guide:
0-1 years - just a little baby
1-3 years - just a little baby
4-9 years - just a little baby
10+ years - just a little baby
0-1 years - just a little baby
1-3 years - just a little baby
4-9 years - just a little baby
10+ years - just a little baby
June 16, 2026 at 9:15 AM
At last, the formalisation of cat age standards has been researched, approved & published!
Andreesen’s product-market fit is a formalisation of throwing shit at *us* to see what sticks
This produces a culture of “okay we built $thing! Time to come up with ways to use $thing so people will want to adopt it!” It’s worse than the cart leading the horse; it’s a Sisyphean spiral that relies on trendy buzzwords to disguise its ever-evolving mediocrity.
December 9, 2024 at 4:08 PM
Andreesen’s product-market fit is a formalisation of throwing shit at *us* to see what sticks
Sometimes the images sprayed and spat from aerosol cans onto underpasses are just intended as pretty scenes. Sometimes they represent ghost trees, omenic corvids and fox brides. It's my job know if they are. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1983
December 16, 2025 at 9:02 AM
Sometimes the images sprayed and spat from aerosol cans onto underpasses are just intended as pretty scenes. Sometimes they represent ghost trees, omenic corvids and fox brides. It's my job know if they are. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1983
While she has become commonly known to many as 'Ghost Girl', the recurring image is better known among artists and those terrified of her folklore as 'The Girl with the Mirrored Eyes'. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1981
June 9, 2026 at 8:19 AM
While she has become commonly known to many as 'Ghost Girl', the recurring image is better known among artists and those terrified of her folklore as 'The Girl with the Mirrored Eyes'. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1981
We've noticed a significant uptick in corpse outlines at places believed to haunted. It's hard to tell if these ghost-markers are warning or warding. They often seem to memorialise the dead as appeasement. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1981
March 7, 2026 at 2:02 PM
We've noticed a significant uptick in corpse outlines at places believed to haunted. It's hard to tell if these ghost-markers are warning or warding. They often seem to memorialise the dead as appeasement. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1981
A new motif has emerged depicting a bare-breasted hare therianthrope, often with the word ANDRASTA (Boudica’s war goddess) in proximity. We take it as a neopagan sign of resistance to something or the other. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1982
July 22, 2025 at 7:05 PM
A new motif has emerged depicting a bare-breasted hare therianthrope, often with the word ANDRASTA (Boudica’s war goddess) in proximity. We take it as a neopagan sign of resistance to something or the other. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1982
Within days of the 'Blue Man' sightings, Ashcourt's walls were crowded with stylised depictions. The distance between high strangeness, addition to local folkloric canon and feral art grows ever shorter. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1983
March 24, 2026 at 2:26 PM
Within days of the 'Blue Man' sightings, Ashcourt's walls were crowded with stylised depictions. The distance between high strangeness, addition to local folkloric canon and feral art grows ever shorter. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1983
There is always an uptick of graffiti depicting the Maryworth Sea Serpent (AKA Horwab or Manusnac) in the summer months – often alongside spray-painted spells urging it to devour tourists. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1983
July 4, 2025 at 6:31 PM
There is always an uptick of graffiti depicting the Maryworth Sea Serpent (AKA Horwab or Manusnac) in the summer months – often alongside spray-painted spells urging it to devour tourists. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1983
Ethics is the formalisation of how we are treating one another as human beings and how we relate to the world around us.
It is *impossible* to put ethics aside.
What you mean is “I don’t want to apologise for my greed and selfishness.”
Say that first.
2/2
It is *impossible* to put ethics aside.
What you mean is “I don’t want to apologise for my greed and selfishness.”
Say that first.
2/2
May 25, 2025 at 7:29 AM
Ethics is the formalisation of how we are treating one another as human beings and how we relate to the world around us.
It is *impossible* to put ethics aside.
What you mean is “I don’t want to apologise for my greed and selfishness.”
Say that first.
2/2
It is *impossible* to put ethics aside.
What you mean is “I don’t want to apologise for my greed and selfishness.”
Say that first.
2/2
Hookland's graffiti is seasonal. New depictions of the Lord of the Forest begin to manifest after the harvest has been brought in. As summer sighs its last, he arrives all rack and bones to watch his children. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1981
August 28, 2025 at 9:08 AM
Hookland's graffiti is seasonal. New depictions of the Lord of the Forest begin to manifest after the harvest has been brought in. As summer sighs its last, he arrives all rack and bones to watch his children. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1981
forced formalisation
March 8, 2026 at 5:56 PM
forced formalisation
Some propose the high number of ghost-trees, corvids and foxes currently represented on undersides of flyovers are an ecological conversation. Extinction omens, warnings of the erasure of natural habitats. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1982
December 31, 2024 at 12:53 PM
Some propose the high number of ghost-trees, corvids and foxes currently represented on undersides of flyovers are an ecological conversation. Extinction omens, warnings of the erasure of natural habitats. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1982
It can be a struggle to work out if what is being depicted is the Wicker King, the Lumbering Man or even one of the Children-Made-of-Thorns. It can be even harder to work out if the intent was ward or summons. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1981
September 7, 2025 at 10:44 AM
It can be a struggle to work out if what is being depicted is the Wicker King, the Lumbering Man or even one of the Children-Made-of-Thorns. It can be even harder to work out if the intent was ward or summons. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1981
We have seen an upswing of what we term 'Happy Skulls'. Quite what they mean remains uncertain. One of my colleagues believes they speak of the beauty of death. I remain unconvinced. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1982
September 30, 2025 at 4:52 PM
We have seen an upswing of what we term 'Happy Skulls'. Quite what they mean remains uncertain. One of my colleagues believes they speak of the beauty of death. I remain unconvinced. – Sophie Morley of Woden College's Graffiti Research and Formalisation Team (GRAFT), 1982
l’argument du « oui il a commis des violences sexuelles mais il reconnaît les faits donc hein » me rend folle. ça ne compense rien. et quand bien même les faits sont «reconnus», c’est tjr à retardement et après un long travail de réflexion et formalisation de la part des victimes
May 8, 2025 at 12:25 PM
l’argument du « oui il a commis des violences sexuelles mais il reconnaît les faits donc hein » me rend folle. ça ne compense rien. et quand bien même les faits sont «reconnus», c’est tjr à retardement et après un long travail de réflexion et formalisation de la part des victimes
Imperial College London funded a 5 year grant to get Fermat's Last Theorem into the Lean language. It was to go from October 2024-2029.
Anthropic landed it today.
github.com/ImperialColl...
Anthropic landed it today.
github.com/ImperialColl...
September 4, 2026 at 7:56 PM
Imperial College London funded a 5 year grant to get Fermat's Last Theorem into the Lean language. It was to go from October 2024-2029.
Anthropic landed it today.
github.com/ImperialColl...
Anthropic landed it today.
github.com/ImperialColl...
This is just another formalisation of the suzerain–vassal relationship
The PM today said he will allow government data to be consumed by US AI companies which raises real questions of consent, privacy and surveillance risk for every Australian. It's hard to see how that's in the public interest.
July 15, 2026 at 3:42 AM
This is just another formalisation of the suzerain–vassal relationship
Anthropic (Claude) a fait faire par une IA une formalisation en Lean de la preuve du Grand théorème de Fermat.
September 4, 2026 at 8:07 PM
Anthropic (Claude) a fait faire par une IA une formalisation en Lean de la preuve du Grand théorème de Fermat.
the hour of the formalisation of the American Heresy and the inevitable Papal backlash draws nearer
Paula White, Trump’s spiritual advisor, asserts that refusing to support President Trump would be equivalent to rejecting God.
September 9, 2025 at 7:39 PM
the hour of the formalisation of the American Heresy and the inevitable Papal backlash draws nearer
Computer algebra and the formalisation of new mathematics. ~ Lawrence Paulson. youtu.be/HeQKT6OeIX4 #ITP #IsabelleHOL #Math
Lawrence Paulson: Computer Algebra and the Formalisation of New Mathematics (21 Nov 2024)
YouTube video by Formalisation of Mathematics Seminar @ Cam
youtu.be
January 22, 2025 at 10:09 AM
Computer algebra and the formalisation of new mathematics. ~ Lawrence Paulson. youtu.be/HeQKT6OeIX4 #ITP #IsabelleHOL #Math