Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
odersky
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
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