Mio

A Case for Feminism in Programming Language Design
Felienne Hermans
Ari Schlesinger
bit.ly/4ezQ5vX

select -1 tip

How is it going

I read that rescript reuses ocaml's type checker. This is interesting

I would like to try rescript if I can think of a project to build with it

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?

What made you feel a bit ugh in scala?

It sounds like a good project to me

I forgot the name of the search engine and came back here to find it

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

It looks awesome! I will try forester for my notes too

I hope I could get one too!

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

paid text editor? Is it sublime text?

Let's train a new one

Guess moms don’t exist in their world

lol

ncatlab ncatlab.org/nlab/show/Ho...

'They attack disabled, migrants, travellers, homeless - next they attack you"
Spotted in Liverpool, UK

😿

How is DeepSeek compared to other models?

That's not good

Happy Lunar New Year ~

X (formerly Twitter)
Microsoft 365 Copilot app (formerly Office)
Gulf of America ​​(formerly Gulf of Mexico)

I've also encountered similar limitations with LLMs when asking questions about sheet music. They are really bad at this task.

What is Grok?