scala
P.S. This is not an invitation to post critiques about any of these technologies or recommendations about what I should be doing instead.
#scala #dev #tech #SoftwareDevelopment #coding #programming
On other news, people are entering the matrix channel, which is nice. xmpp group chat is still dead and I wouldn't recommend it.
Deltachat surprisingly interested people that joined.
I created a new matrix channel for #scala focused on portuguese speaking people, which I bet there are some and I don't know any that exists where people can talk in PT for the community: https://matrix.to/#/%23scala-room-pt:matrix.org
I have to say that it's extremely weird not be able to publish the rooms in the matrix directory.
📈
Escape IntelliJ: Scala and Kotlin LSPs on Emacs Eglot https://lobste.rs/s/ivtjcv #emacs #kotlin #scala
https://jointhefreeworld.org/blog/articles/emacs/emacs-eglot-scala-kotlin/index.html
scala> type Something = Nothing => Nothing
// defined alias type Something = Nothing => Nothing
scala> summon[Something =:= Nothing]
-- [E172] Type Error: ----------------------------------------------------------
1 |summon[Something =:= Nothing]
| ^
| Cannot prove that Something =:= Nothing.
1 error found
Candidature rejetée, après deux entretiens, parce que l'entreprise «s'oriente vers une adoption forte de l'IA dans ses pratiques de développement, une direction qui ne semble pas alignée avec vos attentes à ce stade».
Est-ce qu'il y a encore des éditeurs de logiciels en France qui sont prêts à embaucher un développeur qui préfère écrire lui-même son code ?
Tracked Capabilities for Safer Agents https://lobste.rs/s/prpmkw #plt #scala #vibecoding
https://martinodersky.substack.com/p/tracked-capabilities-for-safer-agents
gala: Scala in Go https://lobste.rs/s/3yaiqm #go #scala
HTTPS://github.com/martianoff/gala