odersky

3 ms·

1.
Tracked Capabilities for Safer Agents(martinodersky.substack.com)
2 points by odersky 2mo ago|1 comments
2.
by odersky 2mo ago
The blog post describes a new scheme to securing AI agents based on tracking capabilities in types. This got the best paper award at the inaugural ACM Conference on AI and Agentic Systems (CAIS 2026).
3.
by odersky 4y ago
I think 2.13 and 3.x are about par on compilation speed. sbt does add overhead, reportedly it can slow down compilation speed by half.
4.
by odersky 4y ago
This looks completely out of the ordinary. With a warm compiler, on a 4 year old Macbook Pro, I get 2000-4000 lines/sec. I.e. 4-8 seconds for your project. Unless you do some very involved typelevel or meta-programming stuff that'
5.
by odersky 5y ago
It's worth mentioning that 4 out of 5 puzzlers in this article are fixed in Scala 3. The one that remains behaves arguably as it should.
6.
by odersky 5y ago
Note that the course got revamped this year. It is now based on Scala 3 and new content was added. Some of the new topics are: enums, extension methods, and givens.
7.
by odersky 6y ago
I was the co-author of Turbo Modula-2 for CP/M. It was quite a capable system to fit in less than 64K. Great memories. At the time Borland intended to develop their own version of Modula-2 for IBM PC, so they bought ours as a complemen
8.
by odersky 14y ago
Just to give some color: This is no small side project but a strategic technology investment on Juniper's side.
9.
by odersky 15y ago
The blog post and tweets seem to say the Scala community only cares about fancy language stuff and not about the developer experience. Nothing could be further from the truth. Take Typesafe for example. We have three full time engineers on