Sheera
@sheera82.bsky.social
Congratulations Joomy! One of the elegant yet powerful thesis!
March 16, 2025 at 9:32 AM
Congratulations Joomy! One of the elegant yet powerful thesis!
Amazing reply! Fixing the problem versus helping the person (who screws up) to learn to do! While the first one has a short term impact, the later one has far more longer impact, which could even last for decades through propagation effect!
March 3, 2025 at 2:33 PM
Amazing reply! Fixing the problem versus helping the person (who screws up) to learn to do! While the first one has a short term impact, the later one has far more longer impact, which could even last for decades through propagation effect!
Glad that it is only 80%! Next level of innovation will be "being natural, with imperfections"!
March 3, 2025 at 5:40 AM
Glad that it is only 80%! Next level of innovation will be "being natural, with imperfections"!
Reposted by Sheera
That's an interesting research paper, it seems like a significant achievement in formal verification for programming languages.
February 25, 2025 at 8:09 PM
That's an interesting research paper, it seems like a significant achievement in formal verification for programming languages.
There is a definite future direction to confidently build a more advanced and efficient GC while rigorously preserving its correctness.
March 2, 2025 at 5:27 AM
There is a definite future direction to confidently build a more advanced and efficient GC while rigorously preserving its correctness.
There is a definite future direction to confidently build a more advanced and efficient GC while rigorously preserving its correctness.
March 2, 2025 at 5:26 AM
There is a definite future direction to confidently build a more advanced and efficient GC while rigorously preserving its correctness.
There is a definite future direction to confidently build a more advanced and efficient GC while rigorously preserving its correctness.
March 2, 2025 at 5:24 AM
There is a definite future direction to confidently build a more advanced and efficient GC while rigorously preserving its correctness.