AGE OLD QUESTION. R/AITP (AM I THE PERVERT)
January 10, 2026 at 10:51 PM
AGE OLD QUESTION. R/AITP (AM I THE PERVERT)
AIPT becomes AITP, as ADVENTURES IN THRILL-POWER launches!
A regular column exploring the world of 2000 AD, we're starting with an all-hands roundtable on the new Judge Death Mega-Special - don't miss it! https://bit.ly/478U0hn
A regular column exploring the world of 2000 AD, we're starting with an all-hands roundtable on the new Judge Death Mega-Special - don't miss it! https://bit.ly/478U0hn
Adventures in Thrill-Power #1: Judge Death haunts the ‘2000 AD-verse'!
Welcome to your favorite new bi-monthly obsession.
aiptcomics.com
November 4, 2025 at 4:00 PM
AIPT becomes AITP, as ADVENTURES IN THRILL-POWER launches!
A regular column exploring the world of 2000 AD, we're starting with an all-hands roundtable on the new Judge Death Mega-Special - don't miss it! https://bit.ly/478U0hn
A regular column exploring the world of 2000 AD, we're starting with an all-hands roundtable on the new Judge Death Mega-Special - don't miss it! https://bit.ly/478U0hn
AI + theorem proving + hiking = AITP conference in Aussois. As stunning as ever.
September 1, 2025 at 2:09 PM
AI + theorem proving + hiking = AITP conference in Aussois. As stunning as ever.
AITP was how I first heard of you guys. 😊
December 5, 2024 at 6:18 AM
AITP was how I first heard of you guys. 😊
Leveraging large language models for autoformalizing theorems: A case study. ~ Michail Karatarakis. aitp-conference.org/2024/abstrac... #ITP #LeanProver #Lean4 #Autoformalization #Math
September 17, 2024 at 11:01 AM
Leveraging large language models for autoformalizing theorems: A case study. ~ Michail Karatarakis. aitp-conference.org/2024/abstrac... #ITP #LeanProver #Lean4 #Autoformalization #Math
I talk to AITP about my upcoming MAGNETO mini-series.
https://aiptcomics.com/2023/07/03/x-men-monday-209-j-m-dematteis-magneto/
https://aiptcomics.com/2023/07/03/x-men-monday-209-j-m-dematteis-magneto/
X-Men Monday #209 - J.M. DeMatteis Talks 'Magneto' • AIPT
In this edition of X-Men Monday, writer J.M. DeMatteis discusses his upcoming 'Magneto' mini-series.
aiptcomics.com
July 3, 2023 at 4:06 PM
I talk to AITP about my upcoming MAGNETO mini-series.
https://aiptcomics.com/2023/07/03/x-men-monday-209-j-m-dematteis-magneto/
https://aiptcomics.com/2023/07/03/x-men-monday-209-j-m-dematteis-magneto/
Visual Lean: An accessible interface for Lean 4 proofwriting. ~ Autumn Mapes. aitp-conference.org/2026/abstrac... #LeanProver #ITP
September 27, 2026 at 5:09 PM
Visual Lean: An accessible interface for Lean 4 proofwriting. ~ Autumn Mapes. aitp-conference.org/2026/abstrac... #LeanProver #ITP
The six layers 🤗 #aitp digama0.github.io/thinking-san...
Introduction - Thinking Sand — How to verify a computer down to physics
digama0.github.io
September 3, 2026 at 4:02 PM
The six layers 🤗 #aitp digama0.github.io/thinking-san...
I talked with AITP Comics about writing a new Toxic Avenger series, my love of mutants, and reviving a Troma property in 2024.
aiptcomics.com/2024/09/06/t...
aiptcomics.com/2024/09/06/t...
Matt Bors unleashes 'The Toxic Avenger' for a new generation • AIPT
'The Toxic Avenger' oozes to comics stands this October.
aiptcomics.com
September 6, 2024 at 7:48 PM
I talked with AITP Comics about writing a new Toxic Avenger series, my love of mutants, and reviving a Troma property in 2024.
aiptcomics.com/2024/09/06/t...
aiptcomics.com/2024/09/06/t...
AITP's reader poll results are out! And yeah Hassan crushing it, but also look! It's our very own @gofrankgo.bsky.social getting all that good love from readers because he is awesome at lettering! Fuck yeah Frank! Go hire Frank! Readers love him, publishers want to pay him.
December 17, 2024 at 5:20 PM
AITP's reader poll results are out! And yeah Hassan crushing it, but also look! It's our very own @gofrankgo.bsky.social getting all that good love from readers because he is awesome at lettering! Fuck yeah Frank! Go hire Frank! Readers love him, publishers want to pay him.
Provably safe systems: Prospects and approaches. ~ Mario Carneiro. aitp-conference.org/2024/slides/... #ITP #AI
September 11, 2024 at 3:44 PM
Provably safe systems: Prospects and approaches. ~ Mario Carneiro. aitp-conference.org/2024/slides/... #ITP #AI
Natural-language proof assistant for higher-order logic. ~ Adam Dingle. aitp-conference.org/2024/slides/... #ITP #Natty #Math
September 11, 2024 at 3:56 PM
Natural-language proof assistant for higher-order logic. ~ Adam Dingle. aitp-conference.org/2024/slides/... #ITP #Natty #Math
If you are free tonight at 7 PM EST, I am speaking as part of a panel at "Game Designers' Voices from off the Grid". Join us virtually.
www.meetup.com/aitp-lv/even...
www.meetup.com/aitp-lv/even...
Game Designers' Voices from off the Grid , Wed, Nov 19, 2025, 5:30 PM | Meetup
\*\* IMPORTANT \*\* NEW MEETING LOCATION \*\*
Our next local AITP Chapter will be meeting on Wednesday, November 19, 2025, at Kutztown University.
This presentation is op
www.meetup.com
November 19, 2025 at 7:47 PM
If you are free tonight at 7 PM EST, I am speaking as part of a panel at "Game Designers' Voices from off the Grid". Join us virtually.
www.meetup.com/aitp-lv/even...
www.meetup.com/aitp-lv/even...
ColecoVision 🤗
And in no particular order:
- Mr. Do
- Antarctic Adventure
- Spy Hunter
- Galaxian
- Q*bert
- Donkey Kong
- Donkey Kong Jr.
- Gorf
- Burger Time
- Cabbage Patch Kids: AitP
And in no particular order:
- Mr. Do
- Antarctic Adventure
- Spy Hunter
- Galaxian
- Q*bert
- Donkey Kong
- Donkey Kong Jr.
- Gorf
- Burger Time
- Cabbage Patch Kids: AitP
April 17, 2025 at 1:51 PM
ColecoVision 🤗
And in no particular order:
- Mr. Do
- Antarctic Adventure
- Spy Hunter
- Galaxian
- Q*bert
- Donkey Kong
- Donkey Kong Jr.
- Gorf
- Burger Time
- Cabbage Patch Kids: AitP
And in no particular order:
- Mr. Do
- Antarctic Adventure
- Spy Hunter
- Galaxian
- Q*bert
- Donkey Kong
- Donkey Kong Jr.
- Gorf
- Burger Time
- Cabbage Patch Kids: AitP
September 4, 2026 at 3:21 PM
ASFJPAJGFOIJGJDSGIFJDSPOIPOEIUTESITOIUSOUIIUAWRYIUWTYRUITIUHCJKNLKMLKSEPLE<P{T{PL#P{I$(#@&)*$(UAWIKSAPKJGFPSJMGSPJMKPSJKMPTAKJMP:AAOSIYIUPAWUPOZIVICXPIVKXCKVLDSFPLJSAFPAJFPIKGFDPOIDPHIPO{SOITP{ITP{AITP{AOIPIASIUDSFJDSJFJDLKJXVLKJFGLJLKGJESTIAJESGPOJYIRSPOSOPEUTUSAISAFIASIUOISAUURAPWTPOSEIPOTSPODS:LJ
May 5, 2025 at 2:15 AM
ASFJPAJGFOIJGJDSGIFJDSPOIPOEIUTESITOIUSOUIIUAWRYIUWTYRUITIUHCJKNLKMLKSEPLE<P{T{PL#P{I$(#@&)*$(UAWIKSAPKJGFPSJMGSPJMKPSJKMPTAKJMP:AAOSIYIUPAWUPOZIVICXPIVKXCKVLDSFPLJSAFPAJFPIKGFDPOIDPHIPO{SOITP{ITP{AITP{AOIPIASIUDSFJDSJFJDLKJXVLKJFGLJLKGJESTIAJESGPOJYIRSPOSOPEUTUSAISAFIASIUOISAUURAPWTPOSEIPOTSPODS:LJ
From the AITP preview for NYX #1:
July 18, 2024 at 4:03 PM
From the AITP preview for NYX #1:
Naproche-ZF: Lessons learned from implementing a new natural-language-oriented theorem prover. ~ Adrian De Lon. aitp-conference.org/2024/slides/... #ITP #NaprocheZF #Math
September 11, 2024 at 3:52 PM
Naproche-ZF: Lessons learned from implementing a new natural-language-oriented theorem prover. ~ Adrian De Lon. aitp-conference.org/2024/slides/... #ITP #NaprocheZF #Math
Isabelle/RL project proposal: Reinforcement learning on the Isabelle proof assistant. ~ Jonathan Julián Huerta y Munive. aitp-conference.org/2024/slides/... #ITP #IsabelleHOL #MachineLearning
September 11, 2024 at 3:18 PM
Isabelle/RL project proposal: Reinforcement learning on the Isabelle proof assistant. ~ Jonathan Julián Huerta y Munive. aitp-conference.org/2024/slides/... #ITP #IsabelleHOL #MachineLearning
The last mile: How do we make AI theorem provers which work in the real world for real users and not just on benchmarks? ~ Jason Rute. aitp-conference.org/2024/slides/... #ITP #AI #LLMs
aitp-conference.org
September 11, 2024 at 3:40 PM
The last mile: How do we make AI theorem provers which work in the real world for real users and not just on benchmarks? ~ Jason Rute. aitp-conference.org/2024/slides/... #ITP #AI #LLMs
Well this was great news to get today:
"On behalf of the CIPS National Board of Directors, the Fellows Electoral Committee, and all CIPS Fellows, I am delighted to confirm that you have been conferred CIPS Fellow status."
It has been great having time to get back in to CIPS work.
"On behalf of the CIPS National Board of Directors, the Fellows Electoral Committee, and all CIPS Fellows, I am delighted to confirm that you have been conferred CIPS Fellow status."
It has been great having time to get back in to CIPS work.
June 25, 2026 at 5:08 PM
Well this was great news to get today:
"On behalf of the CIPS National Board of Directors, the Fellows Electoral Committee, and all CIPS Fellows, I am delighted to confirm that you have been conferred CIPS Fellow status."
It has been great having time to get back in to CIPS work.
"On behalf of the CIPS National Board of Directors, the Fellows Electoral Committee, and all CIPS Fellows, I am delighted to confirm that you have been conferred CIPS Fellow status."
It has been great having time to get back in to CIPS work.
CoqPilot, a plugin for LLM-based generation of proofs. ~ Andrei Kozyrev, Gleb Solovev, Nikita Khramov & Anton Podkopaev. aitp-conference.org/2024/slides/... #ITP #Coq #LLMs
September 11, 2024 at 3:22 PM
CoqPilot, a plugin for LLM-based generation of proofs. ~ Andrei Kozyrev, Gleb Solovev, Nikita Khramov & Anton Podkopaev. aitp-conference.org/2024/slides/... #ITP #Coq #LLMs