pick the right job for the tool (he/him)
London
Joined January 2009
- Tweets478
- Following165
- Followers764
- Likes1.1K
When an agent missed a trap, its exchange could be emptied. The spec’s pricing formula also had a rounding bug, and none shipped a fix, even the ones that spotted it
blog.csongor.co.uk/loom/
Asking them to write down their assumptions helped: at least one trap was recognised in 25 of 35 runs, vs 17 of 40 without
The task was to build a small token exchange, with three traps: permissions can be kept and reused later, callers can swap out which implementation of an interface runs, and errors are lazy (with love from Haskell)
Coding agents sound just as confident when they’re wrong. I designed a small language with deliberately surprising semantics to see which agents check how it actually behaves, and which just assume.
blog.csongor.co.uk/loom/
Csongor Kiss retweeted
Can the compiler handle linear state for us? Yes, by teaching linear logic to type class constraints. Written up in an #ICFP 2021 submission by Jean-Philippe Bernardy, @RaeHaskell, @Lowert, @aspiwack, and @nicolasgwu (3/5)
arxiv.org/abs/2103.06127
Fancy types might get a lot easier with inference for existentials! Read why in this #ICFP 2021 submission by @RaeHaskell, intern Guillaume Duboc, @fancytypes, and Daniel Lee. (2/5)
richarde.dev/papers/2021/exi…
Csongor Kiss retweeted
Linear types in Haskell, research phase 2: arxiv.org/abs/2103.06127. This time we're focusing on much improved developer experience. Linear type class constraints are the secret sauce.