Threadwell

Recent Notes

Threads
Aug 25, 2026
- archive
nicbarkeragain
Aug 25, 2026
vkrajacic
Aug 25, 2026

victortaelin

84 items with this tag.

Aug 24, 2026
VictorTaelin
Jul 04, 2026
*sighs*
Jul 06, 2026
@VictorTaelin @Jonathan_Blow hopefully useful data point.
Jul 05, 2026
@VictorTaelin sure, I read all that
Jul 05, 2026
@VictorTaelin Quality over quantity.
Jul 05, 2026
@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.
Jul 05, 2026
@VictorTaelin It was easy to read and I think I understood most of it.
Jul 05, 2026
@VictorTaelin Fable is educated c
Jul 05, 2026
@VictorTaelin > this is the antidote I found to AI psychosis.
Jul 05, 2026
@VictorTaelin Are languages built on Bend incapable of representing “eval” then? And/or disallowed from looping possibly-infinitely based on an external signal?
Jul 05, 2026
@VictorTaelin loved ur rant.
Jul 05, 2026
@VictorTaelin Legend
Jul 05, 2026
@VictorTaelin I’m not reading all that but damn hope it works out for ya
Jul 05, 2026
@VictorTaelin stupid question alert.
Jul 05, 2026
@VictorTaelin Feels like the precise, symbolic analogue of implementing LLM guard rails that aren't too strict and aren't too lax.
Jul 05, 2026
@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.....
Jul 05, 2026
@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).
Jul 05, 2026
@VictorTaelin Don't try to market yourself.
Jul 05, 2026
@VictorTaelin You gave it a great shot, thanks for an engaging read.
Jul 05, 2026
@VictorTaelin Bro keep posting like you do.
Jul 05, 2026
@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?
Jul 05, 2026
@VictorTaelin this post is not a rebuttal to a query about ai psychosis regardless of the merits and robust technical details behind it
Jul 05, 2026
@VictorTaelin i have an entire math proofs section in my maths repos
Jul 04, 2026
@VictorTaelin the real crime is those idiots not knowing who you are or your work.
Jul 04, 2026
@VictorTaelin What do you mean by arguments to recursion "decreasing"? ...
Jul 04, 2026
@VictorTaelin Im not going to read all that, I'm happy for you or sorry that happened.
Jul 04, 2026
@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.
Jul 04, 2026
@VictorTaelin This is an S tier post! 1.
Jul 04, 2026
@VictorTaelin i understood 5% but i still enjoyed it
Jul 04, 2026
@VictorTaelin Thanks
Jul 04, 2026
You speak simply into a mixed space where most people including me are on the "application layer".
Jul 04, 2026
@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.
Jul 04, 2026
@VictorTaelin I never thought you had AI psychosis, but the fact that others thought so led to this wonderful explanation.
Jul 04, 2026
@VictorTaelin I got interested in Bend for its prosaic capabilities.
Jul 04, 2026
@VictorTaelin I enjoyed reading this post.
Jul 04, 2026
@VictorTaelin i once implemented a type checker for impredicative MLTT.
Jul 04, 2026
@VictorTaelin I love this shit
Jul 04, 2026
@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.
Jul 04, 2026
@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
Jul 04, 2026
@VictorTaelin y-combinators don't have valid types, so you are safe from them in statically typed functional languages.
Jul 04, 2026
@VictorTaelin Impossibility to write *fast* interpreter looks like a hardware architecture or compiler issue, not the language expressive power problem.
Jul 04, 2026
@VictorTaelin QTT approach for this is very elegant indeed!
Jul 04, 2026
@VictorTaelin No, I prefer the previous angry rhetoric pls revert the edit
Jul 04, 2026
@VictorTaelin Sorry, im not very technical.
Jul 04, 2026
@VictorTaelin angry one's always get attention on internet
Jul 04, 2026
@VictorTaelin Don't let them get you down.
Jul 04, 2026
@VictorTaelin Keep posting and I'll keep reading.
Jul 04, 2026
@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.
Jul 04, 2026
@VictorTaelin I think this is a super legible, digestible, accessible, and coherent take.
Jul 04, 2026
@VictorTaelin I can't really comprehend what Bend2 will be useful for except helping to make bug free software.
Jul 04, 2026
@VictorTaelin Bro, you dont hafta Grug-post to be popular with the right people.
Jul 04, 2026
@VictorTaelin The more AI advances, the more we need very high level experts in very very specialzed narrow fields, to check results ! ❤️
Jul 04, 2026
@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.
Jul 04, 2026
@VictorTaelin Texto mt bem escrito, ficou bem mais fácil de entender os seus objetivos
Jul 04, 2026
@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
Jul 04, 2026
@VictorTaelin high quality post!
Jul 04, 2026
@VictorTaelin I'm a big fan of Interaction Combinators and I hope you keep going.
Jul 04, 2026
@VictorTaelin This is so cool and inspiring (not that I understand all of it; that’s part of what makes it inspiring!).
Jul 04, 2026
@VictorTaelin adorei ler esse post.
Jul 04, 2026
@VictorTaelin Do people not study lambda calculus in college or at any other point when looking into programming languages?
Jul 04, 2026
@VictorTaelin these guys have no idea what they're talking about.
Jul 04, 2026
@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?
Jul 04, 2026
@VictorTaelin @tsotchke is another good example this is happening to.
Jul 04, 2026
@VictorTaelin U the best man, keep it up 💙
Jul 04, 2026
@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
Jul 04, 2026
@VictorTaelin *sigh* true brother.
Jul 04, 2026
@VictorTaelin One question: does bend have an unscoped lambda?
Jul 04, 2026
@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.
Jul 04, 2026
@VictorTaelin This write up was really well done, thank you for taking the time to write it! Broke down the concepts well
Jul 04, 2026
@VictorTaelin > most of you can’t understand my posts
Jul 04, 2026
You’re not allowed to praise Fable, you MUST bag everything on the internet 🤣 And god forbid you do anything genuinely impressive!
Jul 04, 2026
@VictorTaelin many such cases
Jul 04, 2026
@VictorTaelin Loved this long post version of yours.
Jul 04, 2026
@VictorTaelin I presume the issue was in duplication inside 0-contexts?
Jul 04, 2026
@VictorTaelin Do you allow for non-termination on total functions on codata?
Jul 04, 2026
@VictorTaelin I'm curious.
Jul 04, 2026
@VictorTaelin Lemme aske gpt for translating
Jul 04, 2026
@VictorTaelin man I love what ur doing, keep going! one of the few good uses of AI!
Jul 04, 2026
@VictorTaelin Very cool.
Jul 04, 2026
@VictorTaelin russel antinomy •_•
Jul 04, 2026
@VictorTaelin karpathy said he had AI psychosis for a while and everyone knows he's very competent
Jul 04, 2026
@VictorTaelin Wow, that's impressive! Best argument on the quality of Fable I have read by far.
Jul 04, 2026
@VictorTaelin It's not how many likes you get, it's likes from who that matter.
Jul 04, 2026
@VictorTaelin In my language I'm trying to do termination by proxy, I.e.

Created with Quartz v5.0.0 © 2026

GitHub