Mio
@mio19.uk
The development environments both metals and intellij are resource demanding and not responsive. The compiler is slow. I wish I were using a simple programming language that I don't need to wait for compilers
June 14, 2025 at 5:09 AM
The development environments both metals and intellij are resource demanding and not responsive. The compiler is slow. I wish I were using a simple programming language that I don't need to wait for compilers
If the unification and term manipulation parts are written in pure scala we would get reasonably fast performances both in web browser and outside browser thanks to scala.js and scalanative. Would this be an advantage?
June 8, 2025 at 8:28 PM
If the unification and term manipulation parts are written in pure scala we would get reasonably fast performances both in web browser and outside browser thanks to scala.js and scalanative. Would this be an advantage?
Reposted by Mio
ai coding is also different because it doesn't work
May 31, 2025 at 12:41 PM
ai coding is also different because it doesn't work
I tried hard to use claude's model with different open source and commercial ai agent programs/editors to do simple coding tasks for me. It never works and when it seems to work it gives me very low quality code
June 4, 2025 at 1:05 PM
I tried hard to use claude's model with different open source and commercial ai agent programs/editors to do simple coding tasks for me. It never works and when it seems to work it gives me very low quality code
I once walked across a lawn like someone walking on arrakis, slow and random, like the ground was watching.
People around me were holding devices with bots inside, staring at their screens while I just walked, quiet and alone
People around me were holding devices with bots inside, staring at their screens while I just walked, quiet and alone
April 13, 2025 at 3:03 AM
I once walked across a lawn like someone walking on arrakis, slow and random, like the ground was watching.
People around me were holding devices with bots inside, staring at their screens while I just walked, quiet and alone
People around me were holding devices with bots inside, staring at their screens while I just walked, quiet and alone
ncatlab ncatlab.org/nlab/show/Ho...
nLab
ncatlab.org
February 7, 2025 at 11:55 AM
ncatlab ncatlab.org/nlab/show/Ho...