archive test: super branchy thread (no distinct spine). Taelin.

2026-08-23 23:22:09 -04:00
1 parent 83ab0b7c6a
commit 8e08be0baf
@@ -8,7 +8,7 @@ handle: NOTimothyLottes
 post_id: "1590241107317002240"
 date: 2022-11-09
 archived: 2026-08-23
-draft: true
+draft: false
 tags:
  - archive
  - twitter
@@ -8,7 +8,7 @@ handle: NOTimothyLottes
 post_id: "1591646625692553216"
 date: 2022-11-13
 archived: 2026-08-23
-draft: true
+draft: false
 tags:
  - archive
  - twitter
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin the real crime is those idiots not knowing who you are or your work."
+type: archive
+source: twitter
+source_url: "https://x.com/0xAgathosDaimon/status/2073442728617365698"
+author: "A Wandering Daimon"
+handle: 0xAgathosDaimon
+post_id: "2073442728617365698"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin the real crime is those idiots not knowing who you are or your work."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/0xAgathosDaimon/status/2073442728617365698
+- Author: A Wandering Daimon (@0xAgathosDaimon)
+- Posted: 2026-07-04 16:24:03
+
+## Branch
+
+**1/**
+
+@VictorTaelin the real crime is those idiots not knowing who you are or your work.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin What do you mean by arguments to recursion \"decreasing\"? ..."
+type: archive
+source: twitter
+source_url: "https://x.com/0xbadface1/status/2073533148101526002"
+author: "0xBadFace"
+handle: 0xbadface1
+post_id: "2073533148101526002"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin What do you mean by arguments to recursion \"decreasing\"? ..."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/0xbadface1/status/2073533148101526002
+- Author: 0xBadFace (@0xbadface1)
+- Posted: 2026-07-04 22:23:21
+
+## Branch
+
+**1/**
+
+@VictorTaelin What do you mean by arguments to recursion "decreasing"? ... that looks a bit too "specific" - is that just some layman description of something more general and rigorous?
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Im not going to read all that, I'm happy for you or sorry that happened."
+type: archive
+source: twitter
+source_url: "https://x.com/An0o0o0o0n/status/2073470021674680637"
+author: "An0o0o0o0o0o0n"
+handle: An0o0o0o0n
+post_id: "2073470021674680637"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Im not going to read all that, I'm happy for you or sorry that happened."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/An0o0o0o0n/status/2073470021674680637
+- Author: An0o0o0o0o0o0n (@An0o0o0o0n)
+- Posted: 2026-07-04 18:12:31
+
+## Branch
+
+**1/**
+
+@VictorTaelin Im not going to read all that, I'm happy for you or sorry that happened.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin Fable simplemente hizo de placa base pitando para avisar del error, pero la solución elegante y real requería a alguien al volante."
+type: archive
+source: twitter
+source_url: "https://x.com/AutorRecomienda/status/2073410146189877657"
+author: "Palochinero"
+handle: AutorRecomienda
+post_id: "2073410146189877657"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Fable simplemente hizo de placa base pitando para avisar del error, pero la solución elegante y real requería a alguien al volante."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/AutorRecomienda/status/2073410146189877657
+- Author: Palochinero (@AutorRecomienda)
+- Posted: 2026-07-04 14:14:35
+
+## Branch
+
+**1/**
+
+@VictorTaelin Fable simplemente hizo de placa base pitando para avisar del error, pero la solución elegante y real requería a alguien al volante.
+
+¿puede esto tener solución con mejor hardware?
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin This is an S tier post! 1."
+type: archive
+source: twitter
+source_url: "https://x.com/Court_Reinland/status/2073552721316376790"
+author: "Court Reinland"
+handle: Court_Reinland
+post_id: "2073552721316376790"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin This is an S tier post! 1."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Court_Reinland/status/2073552721316376790
+- Author: Court Reinland (@Court_Reinland)
+- Posted: 2026-07-04 23:41:08
+
+## Branch
+
+**1/**
+
+@VictorTaelin This is an S tier post! 1. It proves non-slop brained people exist 2. That they use this site successfully and it’s not all a bot minefield. 3. I don’t know what country you’re from but Happy American 4th! 🇺🇸
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin i understood 5% but i still enjoyed it"
+type: archive
+source: twitter
+source_url: "https://x.com/ETazou/status/2073409444029854071"
+author: "elias tazartes 🥕🧑‍🌾"
+handle: ETazou
+post_id: "2073409444029854071"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin i understood 5% but i still enjoyed it"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/ETazou/status/2073409444029854071
+- Author: elias tazartes 🥕🧑‍🌾 (@ETazou)
+- Posted: 2026-07-04 14:11:48
+
+## Branch
+
+**1/**
+
+@VictorTaelin i understood 5% but i still enjoyed it
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Thanks"
+type: archive
+source: twitter
+source_url: "https://x.com/EttoreMariotti/status/2073495200983302242"
+author: "Ettore"
+handle: EttoreMariotti
+post_id: "2073495200983302242"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Thanks"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/EttoreMariotti/status/2073495200983302242
+- Author: Ettore (@EttoreMariotti)
+- Posted: 2026-07-04 19:52:34
+
+## Branch
+
+**1/**
+
+@VictorTaelin Thanks
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "You speak simply into a mixed space where most people including me are on the \"application layer\"."
+type: archive
+source: twitter
+source_url: "https://x.com/Foxfire1st/status/2073465262167277726"
+author: "Readone"
+handle: Foxfire1st
+post_id: "2073465262167277726"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "You speak simply into a mixed space where most people including me are on the \"application layer\"."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Foxfire1st/status/2073465262167277726
+- Author: Readone (@Foxfire1st)
+- Posted: 2026-07-04 17:53:36
+
+## Branch
+
+**1/**
+
+You speak simply into a mixed space where most people including me are on the "application layer". Agents, orchestration systems, memory, coding scaffolding. You are way more upstream in the stack. So while I can't find a use case for my own projects I still find it interesting to read how you go about problems. The "how" is universal and can be re-applied to other areas. And the best "hows" come from people who are wrestling with the core of mathematics and logic. Just my 2 cents.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin This is a great post! I can’t pretend that I really get the math, but it’s obvious that you understand what you’re talking about."
+type: archive
+source: twitter
+source_url: "https://x.com/IncidentNoodle/status/2073480465177305167"
+author: "NoodleIncident"
+handle: IncidentNoodle
+post_id: "2073480465177305167"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin This is a great post! I can’t pretend that I really get the math, but it’s obvious that you understand what you’re talking about."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/IncidentNoodle/status/2073480465177305167
+- Author: NoodleIncident (@IncidentNoodle)
+- Posted: 2026-07-04 18:54:00
+
+## Branch
+
+**1/**
+
+@VictorTaelin This is a great post! I can’t pretend that I really get the math, but it’s obvious that you understand what you’re talking about.
+
+I especially appreciate the specific callouts for what Fable is good and bad at, in your context.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I never thought you had AI psychosis, but the fact that others thought so led to this wonderful explanation."
+type: archive
+source: twitter
+source_url: "https://x.com/Juanpinha11/status/2073471371234213962"
+author: "Pinha"
+handle: Juanpinha11
+post_id: "2073471371234213962"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I never thought you had AI psychosis, but the fact that others thought so led to this wonderful explanation."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Juanpinha11/status/2073471371234213962
+- Author: Pinha (@Juanpinha11)
+- Posted: 2026-07-04 18:17:52
+
+## Branch
+
+**1/**
+
+@VictorTaelin I never thought you had AI psychosis, but the fact that others thought so led to this wonderful explanation. It makes me want to learn more about Bend2.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I got interested in Bend for its prosaic capabilities."
+type: archive
+source: twitter
+source_url: "https://x.com/Kinch_ahoy/status/2073472046907158611"
+author: "Goodness, how could that do?"
+handle: Kinch_ahoy
+post_id: "2073472046907158611"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I got interested in Bend for its prosaic capabilities."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Kinch_ahoy/status/2073472046907158611
+- Author: Goodness, how could that do? (@Kinch_ahoy)
+- Posted: 2026-07-04 18:20:33
+
+## Branch
+
+**1/**
+
+@VictorTaelin I got interested in Bend for its prosaic capabilities. What’s the logic behind trying to make it a theorem prover? Language design should be a flight of fancy, so I approve, but I don’t think I’ve seen you write up why you are colliding these worlds.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I enjoyed reading this post."
+type: archive
+source: twitter
+source_url: "https://x.com/Kmmer11133/status/2073479163550241020"
+author: "GandalfOne"
+handle: Kmmer11133
+post_id: "2073479163550241020"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I enjoyed reading this post."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Kmmer11133/status/2073479163550241020
+- Author: GandalfOne (@Kmmer11133)
+- Posted: 2026-07-04 18:48:50
+
+## Branch
+
+**1/**
+
+@VictorTaelin I enjoyed reading this post. I think that what you're currently working on is the most profound and important thing next to AI. I believe that it will practically open the door to reaching kolmogorov complexity compression and as we all know:
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin i once implemented a type checker for impredicative MLTT."
+type: archive
+source: twitter
+source_url: "https://x.com/LeeeeeeeeeT_/status/2073449105867620454"
+author: "LeeeeT"
+handle: LeeeeeeeeeT_
+post_id: "2073449105867620454"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin i once implemented a type checker for impredicative MLTT."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/LeeeeeeeeeT_/status/2073449105867620454
+- Author: LeeeeT (@LeeeeeeeeeT_)
+- Posted: 2026-07-04 16:49:24
+
+## Branch
+
+**1/**
+
+@VictorTaelin i once implemented a type checker for impredicative MLTT. i then tried to reproduce hurkens' paradox (simplified girard's paradox) - my type checker got stuck in an infinite loop. so.. you couldn't prove false in it, it just never terminated
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I love this shit"
+type: archive
+source: twitter
+source_url: "https://x.com/LusciousPear/status/2073478700960493612"
+author: "bradford"
+handle: LusciousPear
+post_id: "2073478700960493612"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I love this shit"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/LusciousPear/status/2073478700960493612
+- Author: bradford (@LusciousPear)
+- Posted: 2026-07-04 18:47:00
+
+## Branch
+
+**1/**
+
+@VictorTaelin I love this shit
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin It's lonely sometimes eh? I'm excited about your stuff and love your posts but I don't know a lot about lambda calculus etc."
+type: archive
+source: twitter
+source_url: "https://x.com/MancerAI_/status/2073410416667959304"
+author: "MancerAI"
+handle: MancerAI_
+post_id: "2073410416667959304"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin It's lonely sometimes eh? I'm excited about your stuff and love your posts but I don't know a lot about lambda calculus etc."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/MancerAI_/status/2073410416667959304
+- Author: MancerAI (@MancerAI_)
+- Posted: 2026-07-04 14:15:40
+
+## Branch
+
+**1/**
+
+@VictorTaelin It's lonely sometimes eh? I'm excited about your stuff and love your posts but I don't know a lot about lambda calculus etc. Applications are amazing though
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin os caras acham que só eles são superinteligentes mas não conseguem enxergar alem da bolha que ele mesmo se coloca entre os '' inteligentes '', que tipo de inteligência é essa ? é a vida de um engenheiro médio que trabalha em um lab de IA em SF kkkkk"
+type: archive
+source: twitter
+source_url: "https://x.com/MoisasADR/status/2073415831619355067"
+author: "StolenAngel"
+handle: MoisasADR
+post_id: "2073415831619355067"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin os caras acham que só eles são superinteligentes mas não conseguem enxergar alem da bolha que ele mesmo se coloca entre os '' inteligentes '', que tipo de inteligência é essa ? é a vida de um engenheiro médio que trabalha em um lab de IA em SF kkkkk"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/MoisasADR/status/2073415831619355067
+- Author: StolenAngel (@MoisasADR)
+- Posted: 2026-07-04 14:37:11
+
+## Branch
+
+**1/**
+
+@VictorTaelin os caras acham que só eles são superinteligentes mas não conseguem enxergar alem da bolha que ele mesmo se coloca entre os '' inteligentes '', que tipo de inteligência é essa ? é a vida de um engenheiro médio que trabalha em um lab de IA em SF kkkkk
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,47 @@
+---
+title: "@VictorTaelin y-combinators don't have valid types, so you are safe from them in statically typed functional languages."
+type: archive
+source: twitter
+source_url: "https://x.com/NickChapmn/status/2073408491403071954"
+author: "Nicholas Chapman"
+handle: NickChapmn
+post_id: "2073408491403071954"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin y-combinators don't have valid types, so you are safe from them in statically typed functional languages."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/NickChapmn/status/2073408491403071954
+- Author: Nicholas Chapman (@NickChapmn)
+- Posted: 2026-07-04 14:08:01
+
+## Branch
+
+**1/**
+
+@VictorTaelin y-combinators don't have valid types, so you are safe from them in statically typed functional languages.
+
+**2/**
+
+@NickChapmn that's absolutely false. you can construct the Y-Combinator and even λf.f(f) λf.f(f) in Haskell, Rust, TypeScript, and so on, even though these are statically typed functional language, through paradoxes like the ones I mentioned above. non-terminating languages are inconsistent
+
+**3/**
+
+@VictorTaelin Ok they are invalid if you don't allow recursive types
+
+**4/**
+
+@NickChapmn yes
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Impossibility to write *fast* interpreter looks like a hardware architecture or compiler issue, not the language expressive power problem."
+type: archive
+source: twitter
+source_url: "https://x.com/Pitometsu/status/2073536226678714478"
+author: "Netsu🇺🇦"
+handle: Pitometsu
+post_id: "2073536226678714478"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Impossibility to write *fast* interpreter looks like a hardware architecture or compiler issue, not the language expressive power problem."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Pitometsu/status/2073536226678714478
+- Author: Netsu🇺🇦 (@Pitometsu)
+- Posted: 2026-07-04 22:35:35
+
+## Branch
+
+**1/**
+
+@VictorTaelin Impossibility to write *fast* interpreter looks like a hardware architecture or compiler issue, not the language expressive power problem.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin QTT approach for this is very elegant indeed!"
+type: archive
+source: twitter
+source_url: "https://x.com/Pitometsu/status/2073540037300412645"
+author: "Netsu🇺🇦"
+handle: Pitometsu
+post_id: "2073540037300412645"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin QTT approach for this is very elegant indeed!"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Pitometsu/status/2073540037300412645
+- Author: Netsu🇺🇦 (@Pitometsu)
+- Posted: 2026-07-04 22:50:44
+
+## Branch
+
+**1/**
+
+@VictorTaelin QTT approach for this is very elegant indeed!
+Elegantly works in relevance setting as well.
+❤️ for sharing, it's very interesting topic.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,39 @@
+---
+title: "@VictorTaelin No, I prefer the previous angry rhetoric pls revert the edit"
+type: archive
+source: twitter
+source_url: "https://x.com/Rafa_Schwinger/status/2073407479824724353"
+author: "Rafa Schwinger 🇻🇦"
+handle: Rafa_Schwinger
+post_id: "2073407479824724353"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin No, I prefer the previous angry rhetoric pls revert the edit"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Rafa_Schwinger/status/2073407479824724353
+- Author: Rafa Schwinger 🇻🇦 (@Rafa_Schwinger)
+- Posted: 2026-07-04 14:03:59
+
+## Branch
+
+**1/**
+
+@VictorTaelin No, I prefer the previous angry rhetoric pls revert the edit
+
+**2/**
+
+@Rafa_Schwinger these are only for close followers, enjoy
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Sorry, im not very technical."
+type: archive
+source: twitter
+source_url: "https://x.com/RealSchmebulog/status/2073446880684503444"
+author: "hskskskskksks"
+handle: RealSchmebulog
+post_id: "2073446880684503444"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Sorry, im not very technical."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/RealSchmebulog/status/2073446880684503444
+- Author: hskskskskksks (@RealSchmebulog)
+- Posted: 2026-07-04 16:40:33
+
+## Branch
+
+**1/**
+
+@VictorTaelin Sorry, im not very technical. Did you mean AI good or AI bad this time?
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin angry one's always get attention on internet"
+type: archive
+source: twitter
+source_url: "https://x.com/RizwanKhuharo/status/2073442806102929513"
+author: "Aizen"
+handle: RizwanKhuharo
+post_id: "2073442806102929513"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin angry one's always get attention on internet"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/RizwanKhuharo/status/2073442806102929513
+- Author: Aizen (@RizwanKhuharo)
+- Posted: 2026-07-04 16:24:22
+
+## Branch
+
+**1/**
+
+@VictorTaelin angry one's always get attention on internet
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Don't let them get you down."
+type: archive
+source: twitter
+source_url: "https://x.com/SdoGtnepreS/status/2073456422826729966"
+author: "Shawn"
+handle: SdoGtnepreS
+post_id: "2073456422826729966"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Don't let them get you down."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/SdoGtnepreS/status/2073456422826729966
+- Author: Shawn (@SdoGtnepreS)
+- Posted: 2026-07-04 17:18:28
+
+## Branch
+
+**1/**
+
+@VictorTaelin Don't let them get you down. They can barely see the now, much less the future.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Keep posting and I'll keep reading."
+type: archive
+source: twitter
+source_url: "https://x.com/SoritesMinor/status/2073476545935462869"
+author: "Sorites the Lesser"
+handle: SoritesMinor
+post_id: "2073476545935462869"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Keep posting and I'll keep reading."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/SoritesMinor/status/2073476545935462869
+- Author: Sorites the Lesser (@SoritesMinor)
+- Posted: 2026-07-04 18:38:26
+
+## Branch
+
+**1/**
+
+@VictorTaelin Keep posting and I'll keep reading. Or trying to.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin There's an emergent ai psychosis psychosis in which idiots can't understand what you're saying so they cry \"AI psychosis.\" It's a good litmus test for someone's intelligence, imho."
+type: archive
+source: twitter
+source_url: "https://x.com/ThePremiseOfIt/status/2073410550831182269"
+author: "Sean Cantrell"
+handle: ThePremiseOfIt
+post_id: "2073410550831182269"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin There's an emergent ai psychosis psychosis in which idiots can't understand what you're saying so they cry \"AI psychosis.\" It's a good litmus test for someone's intelligence, imho."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/ThePremiseOfIt/status/2073410550831182269
+- Author: Sean Cantrell (@ThePremiseOfIt)
+- Posted: 2026-07-04 14:16:12
+
+## Branch
+
+**1/**
+
+@VictorTaelin There's an emergent ai psychosis psychosis in which idiots can't understand what you're saying so they cry "AI psychosis." It's a good litmus test for someone's intelligence, imho. Twice someone has suggested I'm expressing AI psychosis, but it was a tell on them.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I think this is a super legible, digestible, accessible, and coherent take."
+type: archive
+source: twitter
+source_url: "https://x.com/TheeKruger/status/2073542081390485648"
+author: "Christiaan Kruger"
+handle: TheeKruger
+post_id: "2073542081390485648"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I think this is a super legible, digestible, accessible, and coherent take."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/TheeKruger/status/2073542081390485648
+- Author: Christiaan Kruger (@TheeKruger)
+- Posted: 2026-07-04 22:58:51
+
+## Branch
+
+**1/**
+
+@VictorTaelin I think this is a super legible, digestible, accessible, and coherent take. Well said, exceptionally based.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I can't really comprehend what Bend2 will be useful for except helping to make bug free software."
+type: archive
+source: twitter
+source_url: "https://x.com/Trevor62271128/status/2073472387035660742"
+author: "Trevor"
+handle: Trevor62271128
+post_id: "2073472387035660742"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I can't really comprehend what Bend2 will be useful for except helping to make bug free software."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Trevor62271128/status/2073472387035660742
+- Author: Trevor (@Trevor62271128)
+- Posted: 2026-07-04 18:21:54
+
+## Branch
+
+**1/**
+
+@VictorTaelin I can't really comprehend what Bend2 will be useful for except helping to make bug free software. With AI constantly getting better and better that purpose sounds mundane to me now. However, I'm very interested to see what you come up with for symbolic AI.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin Bro, you dont hafta Grug-post to be popular with the right people."
+type: archive
+source: twitter
+source_url: "https://x.com/Unblinking3Y3/status/2073433103838728518"
+author: "The Unblinking Eye"
+handle: Unblinking3Y3
+post_id: "2073433103838728518"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Bro, you dont hafta Grug-post to be popular with the right people."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Unblinking3Y3/status/2073433103838728518
+- Author: The Unblinking Eye (@Unblinking3Y3)
+- Posted: 2026-07-04 15:45:49
+
+## Branch
+
+**1/**
+
+@VictorTaelin Bro, you dont hafta Grug-post to be popular with the right people.
+
+![](https://files.catbox.moe/uuordl.jpg)
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin The more AI advances, the more we need very high level experts in very very specialzed narrow fields, to check results ! ❤️"
+type: archive
+source: twitter
+source_url: "https://x.com/VincentLejeune/status/2073447766437585020"
+author: "Vincent Lejeune"
+handle: VincentLejeune
+post_id: "2073447766437585020"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin The more AI advances, the more we need very high level experts in very very specialzed narrow fields, to check results ! ❤️"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/VincentLejeune/status/2073447766437585020
+- Author: Vincent Lejeune (@VincentLejeune)
+- Posted: 2026-07-04 16:44:04
+
+## Branch
+
+**1/**
+
+@VictorTaelin The more AI advances, the more we need very high level experts in very very specialzed narrow fields, to check results ! ❤️
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I began following you when I scrolled across an image similar to that above, it is the highly technical stuff you post that I enjoy most."
+type: archive
+source: twitter
+source_url: "https://x.com/WayneBrown6922/status/2073415777370382432"
+author: "Wayne Brown"
+handle: WayneBrown6922
+post_id: "2073415777370382432"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I began following you when I scrolled across an image similar to that above, it is the highly technical stuff you post that I enjoy most."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/WayneBrown6922/status/2073415777370382432
+- Author: Wayne Brown (@WayneBrown6922)
+- Posted: 2026-07-04 14:36:58
+
+## Branch
+
+**1/**
+
+@VictorTaelin I began following you when I scrolled across an image similar to that above, it is the highly technical stuff you post that I enjoy most. Just about everyone else in my timeline I have to "see fewer" but I'll search for yours. Keep up the amazing work, here for the long haul!
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Texto mt bem escrito, ficou bem mais fácil de entender os seus objetivos"
+type: archive
+source: twitter
+source_url: "https://x.com/YgorIsm/status/2073436243208114535"
+author: "Ygor 💻"
+handle: YgorIsm
+post_id: "2073436243208114535"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Texto mt bem escrito, ficou bem mais fácil de entender os seus objetivos"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/YgorIsm/status/2073436243208114535
+- Author: Ygor 💻 (@YgorIsm)
+- Posted: 2026-07-04 15:58:17
+
+## Branch
+
+**1/**
+
+@VictorTaelin Texto mt bem escrito, ficou bem mais fácil de entender os seus objetivos
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin sometimes the problem isn't explaining something that's hard for people to grasp, but rather getting people to admit when they don't get it"
+type: archive
+source: twitter
+source_url: "https://x.com/adelbucetta/status/2073471127054364991"
+author: "Adel Bucetta"
+handle: adelbucetta
+post_id: "2073471127054364991"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin sometimes the problem isn't explaining something that's hard for people to grasp, but rather getting people to admit when they don't get it"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/adelbucetta/status/2073471127054364991
+- Author: Adel Bucetta (@adelbucetta)
+- Posted: 2026-07-04 18:16:54
+
+## Branch
+
+**1/**
+
+@VictorTaelin sometimes the problem isn't explaining something that's hard for people to grasp, but rather getting people to admit when they don't get it
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin high quality post!"
+type: archive
+source: twitter
+source_url: "https://x.com/altansukhbatbay/status/2073493266209690083"
+author: "Алтангүх Батбаяр"
+handle: altansukhbatbay
+post_id: "2073493266209690083"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin high quality post!"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/altansukhbatbay/status/2073493266209690083
+- Author: Алтангүх Батбаяр (@altansukhbatbay)
+- Posted: 2026-07-04 19:44:52
+
+## Branch
+
+**1/**
+
+@VictorTaelin high quality post!
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I'm a big fan of Interaction Combinators and I hope you keep going."
+type: archive
+source: twitter
+source_url: "https://x.com/anghel4d/status/2073421838068191714"
+author: "Anghel"
+handle: anghel4d
+post_id: "2073421838068191714"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I'm a big fan of Interaction Combinators and I hope you keep going."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/anghel4d/status/2073421838068191714
+- Author: Anghel (@anghel4d)
+- Posted: 2026-07-04 15:01:03
+
+## Branch
+
+**1/**
+
+@VictorTaelin I'm a big fan of Interaction Combinators and I hope you keep going. Git push your changes to bend sometime :p
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin This is so cool and inspiring (not that I understand all of it; that’s part of what makes it inspiring!)."
+type: archive
+source: twitter
+source_url: "https://x.com/billylevin/status/2073418462626455984"
+author: "Billy Levin"
+handle: billylevin
+post_id: "2073418462626455984"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin This is so cool and inspiring (not that I understand all of it; that’s part of what makes it inspiring!)."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/billylevin/status/2073418462626455984
+- Author: Billy Levin (@billylevin)
+- Posted: 2026-07-04 14:47:38
+
+## Branch
+
+**1/**
+
+@VictorTaelin This is so cool and inspiring (not that I understand all of it; that’s part of what makes it inspiring!). I hope you won’t be dissuaded from posting this kind of thing if you want to in future. Many people (such as me who rarely engages with stuff on here) will be thankful!
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin adorei ler esse post."
+type: archive
+source: twitter
+source_url: "https://x.com/carmim_13/status/2073461299040616534"
+author: "carmim333"
+handle: carmim_13
+post_id: "2073461299040616534"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin adorei ler esse post."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/carmim_13/status/2073461299040616534
+- Author: carmim333 (@carmim_13)
+- Posted: 2026-07-04 17:37:51
+
+## Branch
+
+**1/**
+
+@VictorTaelin adorei ler esse post. é ótimo poder ler de você essas explicações. só uma pergunta. você diria que é *confortável* replicar o Mathlib do Lean para o Bend? acho o Bend muito interessante por conta do IC, acho a teoria elegante. mas, claro, gostaria que o Bend fosse bom em math.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Do people not study lambda calculus in college or at any other point when looking into programming languages?"
+type: archive
+source: twitter
+source_url: "https://x.com/charlesthefool/status/2073522750782833148"
+author: "𝔩𝔢 𝔣𝔬𝔩 📜"
+handle: charlesthefool
+post_id: "2073522750782833148"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Do people not study lambda calculus in college or at any other point when looking into programming languages?"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/charlesthefool/status/2073522750782833148
+- Author: 𝔩𝔢 𝔣𝔬𝔩 📜 (@charlesthefool)
+- Posted: 2026-07-04 21:42:02
+
+## Branch
+
+**1/**
+
+@VictorTaelin Do people not study lambda calculus in college or at any other point when looking into programming languages?
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin these guys have no idea what they're talking about."
+type: archive
+source: twitter
+source_url: "https://x.com/dlbydq/status/2073518518910484940"
+author: "Anish Tondwalkar"
+handle: dlbydq
+post_id: "2073518518910484940"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin these guys have no idea what they're talking about."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/dlbydq/status/2073518518910484940
+- Author: Anish Tondwalkar (@dlbydq)
+- Posted: 2026-07-04 21:25:13
+
+## Branch
+
+**1/**
+
+@VictorTaelin these guys have no idea what they're talking about. I've enjoyed following your work
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin If you have a system that provably must terminate, what \"interesting\" statements are you unable to express? And what can only be stated in restricted form?"
+type: archive
+source: twitter
+source_url: "https://x.com/donalfellows/status/2073475168328896550"
+author: "Donal Fellows"
+handle: donalfellows
+post_id: "2073475168328896550"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin If you have a system that provably must terminate, what \"interesting\" statements are you unable to express? And what can only be stated in restricted form?"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/donalfellows/status/2073475168328896550
+- Author: Donal Fellows (@donalfellows)
+- Posted: 2026-07-04 18:32:58
+
+## Branch
+
+**1/**
+
+@VictorTaelin If you have a system that provably must terminate, what "interesting" statements are you unable to express? And what can only be stated in restricted form?
+
+Also, ω-regular languages (and related state machines) allow an escape hatch. Useful for servers.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin @tsotchke is another good example this is happening to."
+type: archive
+source: twitter
+source_url: "https://x.com/esa_was_taken/status/2073467375505039462"
+author: "Esa"
+handle: esa_was_taken
+post_id: "2073467375505039462"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin @tsotchke is another good example this is happening to."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/esa_was_taken/status/2073467375505039462
+- Author: Esa (@esa_was_taken)
+- Posted: 2026-07-04 18:02:00
+
+## Branch
+
+**1/**
+
+@VictorTaelin @tsotchke is another good example this is happening to. Both so on the frontier people start erroring out when they read it lmfao
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin U the best man, keep it up 💙"
+type: archive
+source: twitter
+source_url: "https://x.com/fecklesstit/status/2073409487055016302"
+author: "feck"
+handle: fecklesstit
+post_id: "2073409487055016302"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin U the best man, keep it up 💙"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/fecklesstit/status/2073409487055016302
+- Author: feck (@fecklesstit)
+- Posted: 2026-07-04 14:11:58
+
+## Branch
+
+**1/**
+
+@VictorTaelin U the best man, keep it up 💙
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin This is a very naive and ignorant question, but now that you've split Type into two sorts, is there anything that could be represented with both variants? and if so, what would happen if someone selected the wrong one for their use csse"
+type: archive
+source: twitter
+source_url: "https://x.com/habibislop/status/2073457431036793335"
+author: "habibi"
+handle: habibislop
+post_id: "2073457431036793335"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin This is a very naive and ignorant question, but now that you've split Type into two sorts, is there anything that could be represented with both variants? and if so, what would happen if someone selected the wrong one for their use csse"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/habibislop/status/2073457431036793335
+- Author: habibi (@habibislop)
+- Posted: 2026-07-04 17:22:29
+
+## Branch
+
+**1/**
+
+@VictorTaelin This is a very naive and ignorant question, but now that you've split Type into two sorts, is there anything that could be represented with both variants? and if so, what would happen if someone selected the wrong one for their use csse
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin *sigh* true brother."
+type: archive
+source: twitter
+source_url: "https://x.com/iabom/status/2073443427635831052"
+author: "tarun bana"
+handle: iabom
+post_id: "2073443427635831052"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin *sigh* true brother."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/iabom/status/2073443427635831052
+- Author: tarun bana (@iabom)
+- Posted: 2026-07-04 16:26:50
+
+## Branch
+
+**1/**
+
+@VictorTaelin *sigh* true brother. We smart people are alone, no one gets us.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin One question: does bend have an unscoped lambda?"
+type: archive
+source: twitter
+source_url: "https://x.com/itisnotsavio/status/2073467107937792311"
+author: "it is not savio"
+handle: itisnotsavio
+post_id: "2073467107937792311"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin One question: does bend have an unscoped lambda?"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/itisnotsavio/status/2073467107937792311
+- Author: it is not savio (@itisnotsavio)
+- Posted: 2026-07-04 18:00:56
+
+## Branch
+
+**1/**
+
+@VictorTaelin One question: does bend have an unscoped lambda?
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Taelin I've been following you since the beginning: I think the problem is you need to aggressively position yourself and your program as a painkiller."
+type: archive
+source: twitter
+source_url: "https://x.com/kekmaomaster/status/2073503384791912785"
+author: "kirbo"
+handle: kekmaomaster
+post_id: "2073503384791912785"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Taelin I've been following you since the beginning: I think the problem is you need to aggressively position yourself and your program as a painkiller."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/kekmaomaster/status/2073503384791912785
+- Author: kirbo (@kekmaomaster)
+- Posted: 2026-07-04 20:25:05
+
+## Branch
+
+**1/**
+
+@VictorTaelin Taelin I've been following you since the beginning: I think the problem is you need to aggressively position yourself and your program as a painkiller. People need to feel their pain ease as a result of formal + function discovery. You need the palantir-type deployed engineers.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin This write up was really well done, thank you for taking the time to write it! Broke down the concepts well"
+type: archive
+source: twitter
+source_url: "https://x.com/kylemarieb/status/2073496231461142754"
+author: "Kyle Marieb"
+handle: kylemarieb
+post_id: "2073496231461142754"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin This write up was really well done, thank you for taking the time to write it! Broke down the concepts well"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/kylemarieb/status/2073496231461142754
+- Author: Kyle Marieb (@kylemarieb)
+- Posted: 2026-07-04 19:56:39
+
+## Branch
+
+**1/**
+
+@VictorTaelin This write up was really well done, thank you for taking the time to write it! Broke down the concepts well
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,39 @@
+---
+title: "@VictorTaelin > most of you can’t understand my posts "
+type: archive
+source: twitter
+source_url: "https://x.com/marunarh/status/2073431581864128568"
+author: "Andrey"
+handle: marunarh
+post_id: "2073431581864128568"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin > most of you can’t understand my posts "
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/marunarh/status/2073431581864128568
+- Author: Andrey (@marunarh)
+- Posted: 2026-07-04 15:39:46
+
+## Branch
+
+**1/**
+
+@VictorTaelin > most of you can’t understand my posts 
+
+of course! talk is cheap, show us the code! you’re selling meta stories instead of showing what you’re building. 
+
+i know because i’m also following that same pattern
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,39 @@
+---
+title: "You’re not allowed to praise Fable, you MUST bag everything on the internet 🤣 And god forbid you do anything genuinely impressive!"
+type: archive
+source: twitter
+source_url: "https://x.com/mikejt4/status/2073509336488501736"
+author: "Michael Tomlinson"
+handle: mikejt4
+post_id: "2073509336488501736"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "You’re not allowed to praise Fable, you MUST bag everything on the internet 🤣 And god forbid you do anything genuinely impressive!"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/mikejt4/status/2073509336488501736
+- Author: Michael Tomlinson (@mikejt4)
+- Posted: 2026-07-04 20:48:44
+
+## Branch
+
+**1/**
+
+You’re not allowed to praise Fable, you MUST bag everything on the internet 🤣 And god forbid you do anything genuinely impressive!
+I’ve found Fable excellent so far, it’s night and day compared to Opus… Opus stumbles along pretending to be competent, frequently getting canceled when I realise it’s doing something dumb again… Fable picked up the project, found a bunch of strategic issues, replanned, and got everything working rapidly!!
+I just wish it didn’t have all these shitty guardrails, it insta-bailed out of a few of my other projects so I’m stuck with bumbling Opus 🤦‍♂️
+
+But my baby AGI is waking up thanks to Fable’s help and it’s quite intriguing…
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin many such cases"
+type: archive
+source: twitter
+source_url: "https://x.com/misterclayt0n/status/2073492023873581413"
+author: "davi"
+handle: misterclayt0n
+post_id: "2073492023873581413"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin many such cases"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/misterclayt0n/status/2073492023873581413
+- Author: davi (@misterclayt0n)
+- Posted: 2026-07-04 19:39:56
+
+## Branch
+
+**1/**
+
+@VictorTaelin many such cases
+
+https://x.com/misterclayt0n/status/2072509913843065068?s=20
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Loved this long post version of yours."
+type: archive
+source: twitter
+source_url: "https://x.com/mprado/status/2073424030481174585"
+author: "Marcelo Prado"
+handle: mprado
+post_id: "2073424030481174585"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Loved this long post version of yours."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/mprado/status/2073424030481174585
+- Author: Marcelo Prado (@mprado)
+- Posted: 2026-07-04 15:09:45
+
+## Branch
+
+**1/**
+
+@VictorTaelin Loved this long post version of yours. You should do this more often, where you break down a problem for people not familiar with your domain. Very fun read! Thanks
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I presume the issue was in duplication inside 0-contexts?"
+type: archive
+source: twitter
+source_url: "https://x.com/noam_yy/status/2073488513618640943"
+author: "Noam Y"
+handle: noam_yy
+post_id: "2073488513618640943"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I presume the issue was in duplication inside 0-contexts?"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/noam_yy/status/2073488513618640943
+- Author: Noam Y (@noam_yy)
+- Posted: 2026-07-04 19:25:59
+
+## Branch
+
+**1/**
+
+@VictorTaelin I presume the issue was in duplication inside 0-contexts?
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,51 @@
+---
+title: "@VictorTaelin Do you allow for non-termination on total functions on codata?"
+type: archive
+source: twitter
+source_url: "https://x.com/o1lo01ol1o/status/2073412350493753796"
+author: "o1lo01ol1o"
+handle: o1lo01ol1o
+post_id: "2073412350493753796"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Do you allow for non-termination on total functions on codata?"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/o1lo01ol1o/status/2073412350493753796
+- Author: o1lo01ol1o (@o1lo01ol1o)
+- Posted: 2026-07-04 14:23:21
+
+## Branch
+
+**1/**
+
+@VictorTaelin Do you allow for non-termination on total functions on codata?
+
+**2/**
+
+@o1lo01ol1o no codata yet :(
+
+**3/**
+
+@VictorTaelin You just use really big counters for services?
+
+**4/**
+
+@o1lo01ol1o ah, yes you could, but on V1 you'd just disable termination checking there. I don't think proving stuff about IO is a big demand, not a priority for V1. we can add support that later
+
+**5/**
+
+@VictorTaelin Good
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,49 @@
+---
+title: "@VictorTaelin I'm curious."
+type: archive
+source: twitter
+source_url: "https://x.com/okiwano/status/2073433180397302126"
+author: "Wanpoch Tales"
+handle: okiwano
+post_id: "2073433180397302126"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I'm curious."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/okiwano/status/2073433180397302126
+- Author: Wanpoch Tales (@okiwano)
+- Posted: 2026-07-04 15:46:07
+
+## Branch
+
+**1/**
+
+@VictorTaelin I'm curious. What comes after Bend2? Bend3 or are you going to move onto smaller more personally satisfying projects after this?
+
+**2/**
+
+@okiwano on HOC, 100% focus on Symbolic AI research
+
+**3/**
+
+@VictorTaelin @okiwano Any possibility to join the party? 😅
+
+**4/**
+
+@Pitometsu @okiwano yess
+
+we just need to become big first
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,36 @@
+---
+title: "@VictorTaelin Lemme aske gpt for translating "
+type: archive
+source: twitter
+source_url: "https://x.com/pakatanatakata/status/2073442800704663830"
+author: "CallMeMASTA_IamYourSenpai"
+handle: pakatanatakata
+post_id: "2073442800704663830"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Lemme aske gpt for translating "
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/pakatanatakata/status/2073442800704663830
+- Author: CallMeMASTA_IamYourSenpai (@pakatanatakata)
+- Posted: 2026-07-04 16:24:21
+
+## Branch
+
+**1/**
+
+@VictorTaelin Lemme aske gpt for translating 
+Your hieroglyph
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin man I love what ur doing, keep going! one of the few good uses of AI!"
+type: archive
+source: twitter
+source_url: "https://x.com/qonundrai/status/2073485219554824377"
+author: "qonundrai"
+handle: qonundrai
+post_id: "2073485219554824377"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin man I love what ur doing, keep going! one of the few good uses of AI!"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/qonundrai/status/2073485219554824377
+- Author: qonundrai (@qonundrai)
+- Posted: 2026-07-04 19:12:54
+
+## Branch
+
+**1/**
+
+@VictorTaelin man I love what ur doing, keep going! one of the few good uses of AI!
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Very cool."
+type: archive
+source: twitter
+source_url: "https://x.com/rom1504/status/2073479001763725815"
+author: "Romain Beaumont"
+handle: rom1504
+post_id: "2073479001763725815"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Very cool."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/rom1504/status/2073479001763725815
+- Author: Romain Beaumont (@rom1504)
+- Posted: 2026-07-04 18:48:12
+
+## Branch
+
+**1/**
+
+@VictorTaelin Very cool. Indeed hard but important to pick the right line on what coding model do vs what you do. One way to think about it is what requires being able to see the consequences 10 years away of some design choices and keep those to yourself.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin russel antinomy •_•"
+type: archive
+source: twitter
+source_url: "https://x.com/taxilogiker/status/2073420713172594789"
+author: "🫯."
+handle: taxilogiker
+post_id: "2073420713172594789"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin russel antinomy •_•"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/taxilogiker/status/2073420713172594789
+- Author: 🫯. (@taxilogiker)
+- Posted: 2026-07-04 14:56:34
+
+## Branch
+
+**1/**
+
+@VictorTaelin russel antinomy •_•
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin karpathy said he had AI psychosis for a while and everyone knows he's very competent"
+type: archive
+source: twitter
+source_url: "https://x.com/trinitotolukeno/status/2073427303116202352"
+author: "TNTolukeño"
+handle: trinitotolukeno
+post_id: "2073427303116202352"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin karpathy said he had AI psychosis for a while and everyone knows he's very competent"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/trinitotolukeno/status/2073427303116202352
+- Author: TNTolukeño (@trinitotolukeno)
+- Posted: 2026-07-04 15:22:46
+
+## Branch
+
+**1/**
+
+@VictorTaelin karpathy said he had AI psychosis for a while and everyone knows he's very competent
+
+AI psychosis is about getting super excited about SOTA models, overestimate their usefulness and feel empowered to undertake massive loads of work, which for some, is beyond their capacities
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin Wow, that's impressive! Best argument on the quality of Fable I have read by far."
+type: archive
+source: twitter
+source_url: "https://x.com/willyrgf/status/2073411779737047420"
+author: "Willy Romão"
+handle: willyrgf
+post_id: "2073411779737047420"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Wow, that's impressive! Best argument on the quality of Fable I have read by far."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/willyrgf/status/2073411779737047420
+- Author: Willy Romão (@willyrgf)
+- Posted: 2026-07-04 14:21:05
+
+## Branch
+
+**1/**
+
+@VictorTaelin Wow, that's impressive! Best argument on the quality of Fable I have read by far.
+
+So, would be enough to find the non-linear statements? Or is it still too restrictive?
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,39 @@
+---
+title: "@VictorTaelin It's not how many likes you get, it's likes from who that matter."
+type: archive
+source: twitter
+source_url: "https://x.com/yacineMTB/status/2073430827908690365"
+author: "kache"
+handle: yacineMTB
+post_id: "2073430827908690365"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin It's not how many likes you get, it's likes from who that matter."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/yacineMTB/status/2073430827908690365
+- Author: kache (@yacineMTB)
+- Posted: 2026-07-04 15:36:46
+
+## Branch
+
+**1/**
+
+@VictorTaelin It's not how many likes you get, it's likes from who that matter. Less likes from better people is my preference
+
+**2/**
+
+@yacineMTB true
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin In my language I'm trying to do termination by proxy, I.e."
+type: archive
+source: twitter
+source_url: "https://x.com/zyansheep/status/2073451643010703546"
+author: "Zyansheep"
+handle: zyansheep
+post_id: "2073451643010703546"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin In my language I'm trying to do termination by proxy, I.e."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/zyansheep/status/2073451643010703546
+- Author: Zyansheep (@zyansheep)
+- Posted: 2026-07-04 16:59:29
+
+## Branch
+
+**1/**
+
+@VictorTaelin In my language I'm trying to do termination by proxy, I.e. if type checking terminates for a certain validated set of type predicates than the typed program should be guaranteed to not terminate. Thoughts on this strategy?
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin sure, I read all that"
+type: archive
+source: twitter
+source_url: "https://x.com/IanCSU/status/2073570162427437168"
+author: "ian"
+handle: IanCSU
+post_id: "2073570162427437168"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin sure, I read all that"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/IanCSU/status/2073570162427437168
+- Author: ian (@IanCSU)
+- Posted: 2026-07-05 00:50:26
+
+## Branch
+
+**1/**
+
+@VictorTaelin sure, I read all that
+
+`2073570162427437168_HMbNEcdW8AAfftl.mp4_orig.mp4`
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Quality over quantity."
+type: archive
+source: twitter
+source_url: "https://x.com/JaredC1728/status/2073867058010521962"
+author: "Jared Castorena"
+handle: JaredC1728
+post_id: "2073867058010521962"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Quality over quantity."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/JaredC1728/status/2073867058010521962
+- Author: Jared Castorena (@JaredC1728)
+- Posted: 2026-07-05 20:30:11
+
+## Branch
+
+**1/**
+
+@VictorTaelin Quality over quantity.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I disagree on the consistency is enough to do mathematics, you can very weird stuff to MLTT like Nat iso Nat -> Nat and still be consistent."
+type: archive
+source: twitter
+source_url: "https://x.com/KleeneAlgebra/status/2073769031467766029"
+author: "Alecs, B.P.Ed."
+handle: KleeneAlgebra
+post_id: "2073769031467766029"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I disagree on the consistency is enough to do mathematics, you can very weird stuff to MLTT like Nat iso Nat -> Nat and still be consistent."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/KleeneAlgebra/status/2073769031467766029
+- Author: Alecs, B.P.Ed. (@KleeneAlgebra)
+- Posted: 2026-07-05 14:00:40
+
+## Branch
+
+**1/**
+
+@VictorTaelin I disagree on the consistency is enough to do mathematics, you can very weird stuff to MLTT like Nat iso Nat -> Nat and still be consistent. I would like to see you convincing a mathematician to do math in that system.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,39 @@
+---
+title: "@VictorTaelin It was easy to read and I think I understood most of it."
+type: archive
+source: twitter
+source_url: "https://x.com/MadisonP94618/status/2073702157933518998"
+author: "Madison Powell"
+handle: MadisonP94618
+post_id: "2073702157933518998"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin It was easy to read and I think I understood most of it."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/MadisonP94618/status/2073702157933518998
+- Author: Madison Powell (@MadisonP94618)
+- Posted: 2026-07-05 09:34:56
+
+## Branch
+
+**1/**
+
+@VictorTaelin It was easy to read and I think I understood most of it. 
+
+I'm pretty sure you would be a good educator if you haven't been. 
+
+Very neat post.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Fable is educated c"
+type: archive
+source: twitter
+source_url: "https://x.com/Orbiter777/status/2073653687386349760"
+author: "Orbiter99"
+handle: Orbiter777
+post_id: "2073653687386349760"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Fable is educated c"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Orbiter777/status/2073653687386349760
+- Author: Orbiter99 (@Orbiter777)
+- Posted: 2026-07-05 06:22:20
+
+## Branch
+
+**1/**
+
+@VictorTaelin Fable is educated c
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin > this is the antidote I found to AI psychosis."
+type: archive
+source: twitter
+source_url: "https://x.com/Siggis_Man/status/2073573831370039610"
+author: "sg123"
+handle: Siggis_Man
+post_id: "2073573831370039610"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin > this is the antidote I found to AI psychosis."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Siggis_Man/status/2073573831370039610
+- Author: sg123 (@Siggis_Man)
+- Posted: 2026-07-05 01:05:01
+
+## Branch
+
+**1/**
+
+@VictorTaelin > this is the antidote I found to AI psychosis. I call it "competency"
+
+Thanks for calling this out. Fable will not suddenly make you a 10x engineer. And using it in a mindless way where you don't truly understand the output will yield no gains long term.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,36 @@
+---
+title: "@VictorTaelin Are languages built on Bend incapable of representing “eval” then? And/or disallowed from looping possibly-infinitely based on an external signal?"
+type: archive
+source: twitter
+source_url: "https://x.com/SinghSwapneil/status/2073606758073864493"
+author: "Swapneil"
+handle: SinghSwapneil
+post_id: "2073606758073864493"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Are languages built on Bend incapable of representing “eval” then? And/or disallowed from looping possibly-infinitely based on an external signal?"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/SinghSwapneil/status/2073606758073864493
+- Author: Swapneil (@SinghSwapneil)
+- Posted: 2026-07-05 03:15:51
+
+## Branch
+
+**1/**
+
+@VictorTaelin Are languages built on Bend incapable of representing “eval” then? And/or disallowed from looping possibly-infinitely based on an external signal?
+(In-practice both of those are useful operations to interface with reality outside the language VM)
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin loved ur rant."
+type: archive
+source: twitter
+source_url: "https://x.com/Snafxemp/status/2073707455914328128"
+author: "snash"
+handle: Snafxemp
+post_id: "2073707455914328128"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin loved ur rant."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/Snafxemp/status/2073707455914328128
+- Author: snash (@Snafxemp)
+- Posted: 2026-07-05 09:55:59
+
+## Branch
+
+**1/**
+
+@VictorTaelin loved ur rant. these types of posts deserves attention
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin Legend"
+type: archive
+source: twitter
+source_url: "https://x.com/SteveMoraco/status/2073619689889022076"
+author: "steve"
+handle: SteveMoraco
+post_id: "2073619689889022076"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Legend"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/SteveMoraco/status/2073619689889022076
+- Author: steve (@SteveMoraco)
+- Posted: 2026-07-05 04:07:14
+
+## Branch
+
+**1/**
+
+@VictorTaelin Legend
+
+![](https://files.catbox.moe/55q672.jpg)
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin I’m not reading all that but damn hope it works out for ya"
+type: archive
+source: twitter
+source_url: "https://x.com/_machi47/status/2073557470350344216"
+author: "machi nothing can stop this 47"
+handle: _machi47
+post_id: "2073557470350344216"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin I’m not reading all that but damn hope it works out for ya"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/_machi47/status/2073557470350344216
+- Author: machi nothing can stop this 47 (@_machi47)
+- Posted: 2026-07-05 00:00:00
+
+## Branch
+
+**1/**
+
+@VictorTaelin I’m not reading all that but damn hope it works out for ya
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin stupid question alert."
+type: archive
+source: twitter
+source_url: "https://x.com/ant1m4tt3r/status/2073770708182720952"
+author: "Hugo Azevedo"
+handle: ant1m4tt3r
+post_id: "2073770708182720952"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin stupid question alert."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/ant1m4tt3r/status/2073770708182720952
+- Author: Hugo Azevedo (@ant1m4tt3r)
+- Posted: 2026-07-05 14:07:20
+
+## Branch
+
+**1/**
+
+@VictorTaelin stupid question alert. in bends syntax, what is the difference between -> , ~> and +> ?
+
+also, isn’t a little uncomfortable to type the lambda character every time?
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Feels like the precise, symbolic analogue of implementing LLM guard rails that aren't too strict and aren't too lax."
+type: archive
+source: twitter
+source_url: "https://x.com/bewajitolulope/status/2073773777511444606"
+author: "Tolulope Bewaji"
+handle: bewajitolulope
+post_id: "2073773777511444606"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Feels like the precise, symbolic analogue of implementing LLM guard rails that aren't too strict and aren't too lax."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/bewajitolulope/status/2073773777511444606
+- Author: Tolulope Bewaji (@bewajitolulope)
+- Posted: 2026-07-05 14:19:32
+
+## Branch
+
+**1/**
+
+@VictorTaelin Feels like the precise, symbolic analogue of implementing LLM guard rails that aren't too strict and aren't too lax.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin i didn't expect i'd read all of this, but i did.....can't pretend i understand it, but i'm starting to get the picture....."
+type: archive
+source: twitter
+source_url: "https://x.com/dan_tiema/status/2073633607634092187"
+author: "never stop thrusting"
+handle: dan_tiema
+post_id: "2073633607634092187"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin i didn't expect i'd read all of this, but i did.....can't pretend i understand it, but i'm starting to get the picture....."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/dan_tiema/status/2073633607634092187
+- Author: never stop thrusting (@dan_tiema)
+- Posted: 2026-07-05 05:02:32
+
+## Branch
+
+**1/**
+
+@VictorTaelin i didn't expect i'd read all of this, but i did.....can't pretend i understand it, but i'm starting to get the picture.....
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin To someone who doesn’t understand the actual content, AI psychosis and expert use of AI to drive a breakthrough look the same (modulo institutional credentials)."
+type: archive
+source: twitter
+source_url: "https://x.com/eshear/status/2073637707084136919"
+author: "Emmett Shear"
+handle: eshear
+post_id: "2073637707084136919"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin To someone who doesn’t understand the actual content, AI psychosis and expert use of AI to drive a breakthrough look the same (modulo institutional credentials)."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/eshear/status/2073637707084136919
+- Author: Emmett Shear (@eshear)
+- Posted: 2026-07-05 05:18:50
+
+## Branch
+
+**1/**
+
+@VictorTaelin To someone who doesn’t understand the actual content, AI psychosis and expert use of AI to drive a breakthrough look the same (modulo institutional credentials). It’s not their fault, it’s literally impossible for them to tell the two cases apart.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,37 @@
+---
+title: "@VictorTaelin Don't try to market yourself."
+type: archive
+source: twitter
+source_url: "https://x.com/n3ovice/status/2073683342059622543"
+author: "zoo zoo"
+handle: n3ovice
+post_id: "2073683342059622543"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Don't try to market yourself."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/n3ovice/status/2073683342059622543
+- Author: zoo zoo (@n3ovice)
+- Posted: 2026-07-05 08:20:10
+
+## Branch
+
+**1/**
+
+@VictorTaelin Don't try to market yourself. You're not running for public office.
+
+"When I write honestly, people don't react to it" is not a problem.  Just have the 2 reactions and a pleasant exchange in the comments.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin You gave it a great shot, thanks for an engaging read."
+type: archive
+source: twitter
+source_url: "https://x.com/nudistofdespair/status/2073747195916861445"
+author: "Nudist"
+handle: nudistofdespair
+post_id: "2073747195916861445"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin You gave it a great shot, thanks for an engaging read."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/nudistofdespair/status/2073747195916861445
+- Author: Nudist (@nudistofdespair)
+- Posted: 2026-07-05 12:33:54
+
+## Branch
+
+**1/**
+
+@VictorTaelin You gave it a great shot, thanks for an engaging read.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin Bro keep posting like you do."
+type: archive
+source: twitter
+source_url: "https://x.com/phtn458/status/2073604241118446014"
+author: "ⲣ ⲏ ⲫ ⲧ ⲫ ⲛ"
+handle: phtn458
+post_id: "2073604241118446014"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin Bro keep posting like you do."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/phtn458/status/2073604241118446014
+- Author: ⲣ ⲏ ⲫ ⲧ ⲫ ⲛ (@phtn458)
+- Posted: 2026-07-05 03:05:51
+
+## Branch
+
+**1/**
+
+@VictorTaelin Bro keep posting like you do. One day we'll have the courage to learn it
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin don't you want to be able to copy lambdas though? Or how do you do a lot of the typical FP stuff if you can't pass around and copy functions as you otherwise would?"
+type: archive
+source: twitter
+source_url: "https://x.com/real_philogy/status/2073558721368576160"
+author: "philogy"
+handle: real_philogy
+post_id: "2073558721368576160"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin don't you want to be able to copy lambdas though? Or how do you do a lot of the typical FP stuff if you can't pass around and copy functions as you otherwise would?"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/real_philogy/status/2073558721368576160
+- Author: philogy (@real_philogy)
+- Posted: 2026-07-05 00:04:58
+
+## Branch
+
+**1/**
+
+@VictorTaelin don't you want to be able to copy lambdas though? Or how do you do a lot of the typical FP stuff if you can't pass around and copy functions as you otherwise would?
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin this post is not a rebuttal to a query about ai psychosis regardless of the merits and robust technical details behind it"
+type: archive
+source: twitter
+source_url: "https://x.com/theodorvaryag/status/2073563133323477361"
+author: "Chris Allen"
+handle: theodorvaryag
+post_id: "2073563133323477361"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin this post is not a rebuttal to a query about ai psychosis regardless of the merits and robust technical details behind it"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/theodorvaryag/status/2073563133323477361
+- Author: Chris Allen (@theodorvaryag)
+- Posted: 2026-07-05 00:22:30
+
+## Branch
+
+**1/**
+
+@VictorTaelin this post is not a rebuttal to a query about ai psychosis regardless of the merits and robust technical details behind it
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,39 @@
+---
+title: "@VictorTaelin i have an entire math proofs section in my maths repos"
+type: archive
+source: twitter
+source_url: "https://x.com/waefrebeorn/status/2073664245816758563"
+author: "WuBu ⪋ WaefreBeorn 🇺🇸 👑"
+handle: waefrebeorn
+post_id: "2073664245816758563"
+date: 2026-07-05
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin i have an entire math proofs section in my maths repos"
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/waefrebeorn/status/2073664245816758563
+- Author: WuBu ⪋ WaefreBeorn 🇺🇸 👑 (@waefrebeorn)
+- Posted: 2026-07-05 07:04:17
+
+## Branch
+
+**1/**
+
+@VictorTaelin i have an entire math proofs section in my maths repos
+
+so “+1”
+
+![](https://files.catbox.moe/iiumro.jpg)
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,35 @@
+---
+title: "@VictorTaelin @Jonathan_Blow hopefully useful data point."
+type: archive
+source: twitter
+source_url: "https://x.com/SGuergachi/status/2073924504544280752"
+author: "Sammy Guergachi"
+handle: SGuergachi
+post_id: "2073924504544280752"
+date: 2026-07-06
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "@VictorTaelin @Jonathan_Blow hopefully useful data point."
+in_reply_to: ""
+parent_post_id: "2073406569459368226"
+---
+
+## Source
+
+- URL: https://x.com/SGuergachi/status/2073924504544280752
+- Author: Sammy Guergachi (@SGuergachi)
+- Posted: 2026-07-06 00:18:28
+
+## Branch
+
+**1/**
+
+@VictorTaelin @Jonathan_Blow hopefully useful data point.
+
+## Related
+
+- Spine: [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -0,0 +1,95 @@
+---
+title: "*sighs*"
+type: archive
+source: twitter
+source_url: "https://x.com/VictorTaelin/status/2073406569459368226"
+author: "Taelin"
+handle: VictorTaelin
+post_id: "2073406569459368226"
+date: 2026-07-04
+archived: 2026-08-23
+draft: false
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+description: "*sighs*"
+in_reply_to: ""
+---
+
+## Source
+
+- URL: https://x.com/VictorTaelin/status/2073406569459368226
+- Author: Taelin (@VictorTaelin)
+- Posted: 2026-07-04 14:00:22
+
+## Thread
+
+**1/**
+
+*sighs*
+
+it is already depressing enough that most of you can't understand my posts, but not being able to distinguish them from some technically illiterate SF CEO who thinks they'd proven quantum physics or some shit is another level of stupid
+
+problem is, when I write too technically, it tends to just flop, which is why I have to resort to these "AI good!" and "AI bad!" posts that, I admit, may sound a bit over-excited sometimes. that said, the proof is simple enough to be explainable in a way you all can appreciate, so, I'll give it a shot. with you, in its full glory, how Fable contributed to Bend's consistency proof, why it was incredible and, yes, very valid
+
+first: consistency is basically a word that means: "can we trust this language to formalize mathematics?". or, equivalently, can someone prove a false statement in it? imagine if someone found a proof of 2+2 = 5 in Lean. that person would be able to use this falsehood to perform arbitrary type-level rewrites, and, thus, prove any theorem (like riemann's hypothesis!) trivially, in a few lines of code. that wouldn't net them $1 million, but it would make for a legendary issue on Lean's GitHub, immediately invalidating any proof checked by Lean and undermining the language's credibility. I obviously don't want that to happen to Bend2
+
+fortunately, the techniques for constructing a consistent proof system are well known, even though details vary case by case. it usually involves two main parts: first, prove it is sound (i.e., that evaluating an expression can't change this type). honestly, that's just the "show us your implementation is not hopelessly buggy". it is the easy part.
+
+the second part is much more difficult:
+
+"prove every well typed program in your language terminates"
+
+this is necessary because infinite loops allow one to encode "paradoxes" (like "this sentence is false") and, to explain it in a very silly way, these paradoxes "confuse" the type checker, and allow you to prove falsehoods. so, if I want people to trust Bend as a proof language, I must be able to convince them there's no way to express an infinite loop in it. programs like "while (true)" must be, somehow, banned by our compiler. but how?
+
+the way most proof assistants (like Lean) do it is to 1. not have loops to begin with, 2. ban any kind of non-structural recursion. that means that, to call a function recursively, you must ensure that arguments are getting smaller. that's fairly standard, and fairly easy to do.
+
+so, is that it?
+
+unfortunately, that's not enough, because, in functional languages, there's another way for infinite loops to manifest: self-replicating λ-terms. for example, consider the following Python program:
+
+evil = (lambda f: f(f))(lambda f: f(f))
+print evil
+
+it hangs forever, even though it has no loops and no recursion. turns out it is very easy to accidentally let some variation of "evil" to creep in, and "evil" allows one to prove falsehoods.  for example, if the set of all sets contains itself, you can summon evil via Girard's paradox. and if you allow recursive datatypes to store functions, then, you can summon evil via Curry's paradox:
+
+data Evil { bad(f : Evil -> Evil) } // this would break Lean!
+
+that problem is not exclusive to proof languages. a similar paradox once caused a crisis in mathematics itself! in 1901, Russel proposed a legendary proof of a false statement in naive set theory, which was THE foundation of mathematics back then. the news was that math itself was broken, and every proof ever written by humanity would to be untrusted. crazy times! of course, this has since been "patched". today, we call it "naive" set theory for a reason! but this shows how hard it is to design a consistent proof system. humanity failed to do so for millenniums!
+
+in Rocq, Lean and Agda, the way they avoid these self-replicating λ's is via a series of "patches" - i.e., human engineered antibodies to kill the paradoxes we found in the past. for example, the 'Evil' datatype above is syntactically forbidden by disabling certain shapes of recursive datatypes ("positivity checker"), and Girard's paradox is avoided by having an infinite universe of types ("universe hierarchy"). this disables the "does the set of all sets contain itself" paradox, which, in turn, disables the `evil = λf.f(f) λf.f(f)` summoned by it.
+
+this is all solid and stablished, and people are very confident Lean and others are trustworthy. that said - and that's where I tend to change things - I argue that's overkill. while these restrictions indeed avoid paradoxes, they're also very strict, and ban perfectly valid programs. for example, it is impossible to write a fast interpreter (i.e., via HOAS) in these, and alternatives (like PHOAS) are very contrived. this makes these languages substantially less practical. Bend aims to be a proof language that is also viable as a real world programming language, so, it is of my interest to find more permissive termination argument. and that's what I was working on, with the help of Fable
+
+my argument goes like this: first, only allow recursion when arguments decrease. so far, this is the same approach used by Lean and others, nothing new here. now, we must find a way to avoid self-replicating λ-terms (like `λf.f(f) λf.f(f)`) from creeping in. that's where we detour. instead of positivity checker and universe hierarchies, I simply re-use a feature of Quantitative Type Theory (QTT) - which, in short, is an industry standard way to have O(1) arrays in an FP lang, and which Bend *already implements* - to forbid non-linear lambdas. In other words, in Bend, lambdas must be used linearly, and, thus, cannot be cloned, and that's enforced by the already existing QTT system.
+
+this simple addition is sufficient to prevent all incarnations of `evil = λf.f(f) λf.f(f)` in one strike, cutting the evil in the bud, and ensuring Bend is terminating, as it easily exhausts every known way to introduce non-termination:
+
+- infinite loops → there are no loops
+
+- infinite recursion → only allow decreasing recursion
+
+- self-duplicating λ-terms → lambdas can't be cloned
+
+from termination, consistency follows easily.
+
+and that's it. this is *obviously* correct and so easy I'm sure even you're confident you can't write infinite loops in Bend. aren't you?
+
+now, I must be very clear here. these are all *my* design choices. I didn't ask an AI "pls build a consistent proof language" and then got flattered into thinking I'm a genius. I studied the subject 10 fucking years and used AI to aid me materialize and double check my ideas. this is the antidote I found to AI psychosis. I call it "competency"
+
+that said, if the solutions are mine, how Fable helped here?
+
+well, the argument per se is obviously sound, and nobody serious would contest it. the problem is that implementing a proof assistant is hard, and it is easy to introduce accidental bugs that detour from the intended semantics.
+
+turns out the way that Bend2 wasn't faithful to my intention, for a reason that is legitimately hard to see, and that Fable identified never the less. 
+
+QTT, as described in the original paper, allowed "relaxing" its checks a bit on certain places of the code. this is important for usability, and harmless to proof languages that use QTT (like Idris2), because they don't rely on QTT for termination. but Bend2 does, and these relaxed checks allowed  lambdas to be cloned in some circumstances. Fable read my termination argument, studied the QTT paper, audited the implementation, and found that inconsistency, handing me a proof of Falsehood! full proof below ↓
+
+that was Fable's contribution, and, if you can't see how incredible this is, I don't know what could possibly impress you.
+
+as for the solution, Fable proposed a few. all bad. my fix was to split Type in two sorts: one for arbitrary types, and other for lower order values. this lets me have the relaxed checks on positions where lambdas cannot occur, while still ensuring lambdas cannot be cloned and, therefore, self replicate. this is the "elegant proof" I mentioned in the post below!
+
+![](https://files.catbox.moe/566zyf.jpg)
+
+Branches: [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-Rafa_Schwinger-no-i-prefer-the-previous-angry-rhetoric-pls]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-NickChapmn-y-combinators-dont-have-valid-types-so-you-are]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-ETazou-i-understood-5-but-i-still-enjoyed-it]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-fecklesstit-u-the-best-man-keep-it-up]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-AutorRecomienda-fable-simplemente-hizo-de-placa-base-pitando-para]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-MancerAI_-its-lonely-sometimes-eh-im-excited-about-your]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-ThePremiseOfIt-theres-an-emergent-ai-psychosis-psychosis-in]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-willyrgf-wow-thats-impressive-best-argument-on-the-quality]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-o1lo01ol1o-do-you-allow-for-non-termination-on-total]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-WayneBrown6922-i-began-following-you-when-i-scrolled-across-an]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-MoisasADR-os-caras-acham-que-s-eles-s-o-superinteligentes]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-billylevin-this-is-so-cool-and-inspiring-not-that-i]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-taxilogiker-russel-antinomy]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-anghel4d-im-a-big-fan-of-interaction-combinators-and-i]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-mprado-loved-this-long-post-version-of-yours-you-should]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-trinitotolukeno-karpathy-said-he-had-ai-psychosis-for-a-while-and]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-yacineMTB-its-not-how-many-likes-you-get-its-likes-from-who]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-marunarh-most-of-you-cant-understand-my-posts-of-course]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-Unblinking3Y3-bro-you-dont-hafta-grug-post-to-be-popular-with]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-okiwano-im-curious-what-comes-after-bend2-bend3-or-are]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-YgorIsm-texto-mt-bem-escrito-ficou-bem-mais-f-cil-de]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-0xAgathosDaimon-the-real-crime-is-those-idiots-not-knowing-who]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-pakatanatakata-lemme-aske-gpt-for-translating-your-hieroglyph]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-RizwanKhuharo-angry-ones-always-get-attention-on-internet]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-iabom-sigh-true-brother-we-smart-people-are-alone-no]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-RealSchmebulog-sorry-im-not-very-technical-did-you-mean-ai-good]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-VincentLejeune-the-more-ai-advances-the-more-we-need-very-high]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-LeeeeeeeeeT_-i-once-implemented-a-type-checker-for]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-zyansheep-in-my-language-im-trying-to-do-termination-by]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-SdoGtnepreS-dont-let-them-get-you-down-they-can-barely-see]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-habibislop-this-is-a-very-naive-and-ignorant-question-but]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-carmim_13-adorei-ler-esse-post-timo-poder-ler-de-voc-essas]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-Foxfire1st-you-speak-simply-into-a-mixed-space-where-most]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-itisnotsavio-one-question-does-bend-have-an-unscoped-lambda]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-esa_was_taken-is-another-good-example-this-is-happening-to-both]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-An0o0o0o0n-im-not-going-to-read-all-that-im-happy-for-you-or]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-adelbucetta-sometimes-the-problem-isnt-explaining-something]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-Juanpinha11-i-never-thought-you-had-ai-psychosis-but-the-fact]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-Kinch_ahoy-i-got-interested-in-bend-for-its-prosaic]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-Trevor62271128-i-cant-really-comprehend-what-bend2-will-be]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-donalfellows-if-you-have-a-system-that-provably-must-terminate]], [[archive/threads/VictorTaelin/2026-07-04-sighs/2026-07-04-SoritesMinor-keep-posting-and-ill-keep-readinLine truncated
@@ -0,0 +1,12 @@
+---
+title: VictorTaelin
+type: note
+draft: false
+description: Archived threads by VictorTaelin.
+tags:
+  - archive
+  - twitter
+  - VictorTaelin
+---
+
+- [[archive/threads/VictorTaelin/2026-07-04-sighs]]
@@ -15,4 +15,5 @@ Example of the note shape (single spine, no branches): [[archive/threads/How to

 - [[archive/threads/NOTimothyLottes]]
 - [[archive/threads/VPCOMPRESSB]]
+- [[archive/threads/VictorTaelin]]
 - [[archive/threads/winning_tactic]]