I dunno man, I cannot stop feeling like we can do better.
06.01.2026 23:01
👍 1
🔁 0
💬 1
📌 0
I dunno man, I cannot stop feeling like we can do better.
Seriously, X is just not a great place, but this one feels too artificial, I'm kind of depressed with the state of affairs in general.
programmers are such babies. you're paid an obscene salary for an extremely comfortable job for ostensibly being smart and good at logical thinking.
you can figure out how to run the 4 opam commands required to set up an ocaml project oh my god
Pior que a minha leitura do assunto é mto teórico.
It definitely makes it harder to reason about performance tho.
I think I forgot to share this here, deriving induction for the inductive types in an impredicative setting, using pairs and equality without UIP only.
I'm currently working on deriving all the indexed inductive types and a fully predicative setting.
gist.github.com/EduardoRFS/8...
folks, if you want FUN OCaml 2026 to happen, please put in some drafts (it's okay if you change your mind later, both regarding topic and whether you can attend)
It was not intentional bro.
No idea, but T even has acute effects.
It's interesting that naive mutable variables work for interpreting the lambda calculus if you're restricting the evaluation order.
The following, should not have any reentrancy problem and be reasonably fast for some classes of programs.
gist.github.com/EduardoRFS/6...
Good luck
Even if it's a new symbol, it's still cyclical, it really doesn't matter semantics wise, if A is isomorphic to B and B implies in something that includes A, then B is cyclical.
Also, it's called a fixpoint, because you go back to the same point.
This a cycle, you just showed that it is well founded as it eventually finishes, but the stream type is also a regular tree and there is no trivial way of avoiding the cycle.
A list type is a regular tree, it's not a tree as it is cyclical.
Alt text: A meme featuring two Kermit the Frog characters - the regular Kermit on the left and "Dark Kermit" (Kermit in a dark hood) on the right, with white text at the bottom reading "come to the Obj.magic side". This appears to be a programming humor meme referencing OCaml's Obj.magic function, using the classic "good Kermit vs evil Kermit" meme format to represent the temptation to use unsafe type casting.
when you don't know whether you're creating problems for your future self, or solving them
My technique for mutual recursion works but it currently breaks subject reduction, I need to clean the meta theory a bit.
I'm just a con man, I don't even know greek.
Literally me
Hey, I'm open to giving talks(maybe lectures?) about whatever, either in South America, Europe or North America.
If you know something that I should apply for let me know.
Or it was dune, but something includes it.
Either OxOCaml has it or it's an OCaml Pro thing.
A vontade de morder crianças é realmente universal.
Similarly but simpler than distilling optimality, you can distill Weak CBV from a Strong CBV interpreter + explicit laziness. In such a scenario, you can see that beta + force is equivalent to a single beta in the weak setting.
Yup, R-MDMA is one of the isomers in traditional MDMA, but it seems to be considerably less toxic and still produce the empathy related effects.
People call it portable assembly for a reason tho. And we definitely say that it is a native language.
It's both, in the same way that there is a program in C and the equivalent program in Assembly, those are two different presentations of the same program.
You can trivially compile WebAssembly to native.
I've been on TRT now, aiming to stay a bit on the high end but still under 1000. Also monitoring my DHT because I don't want to start balding again.
The general advantage of teaching X with LLM is to also teach on how to learn some other X.
The issue is that you and most people thinking on education want to teach a very specific X.