pick the right job for the tool (he/him)
London
Joined January 2009
- Tweets478
- Following159
- Followers763
- Likes1.1K
Asking them to write down their assumptions helped: at least one trap was recognised in 25 of 35 runs, vs 17 of 40 without
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/
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.
Csongor Kiss retweeted
The GHC Steering Committee just accepted “Unsaturated Type Families” by @Lowert
github.com/ghc-proposals/ghc…
Csongor Kiss retweeted
So I tried generic-lens, and wow.
I think the last time I experienced such computer magic was 1999
Csongor Kiss retweeted
Proud to present the first post in our new weekly updates about IDE development this summer - @meeple_ Summarising the current state of Haskell IDEs and some of our plans for the summer. mpickering.github.io/ide/pos…
Csongor Kiss retweeted
The inestimable Csongor Kiss aka @Lowert is going to demystify type-level programming for us on May 26! Come learn about all the higher realms of abstraction you've been missing out on from one of the nicest guys in the FP universe: meetup.com/Berlin-Functional…
Csongor Kiss retweeted
Proof of concept - implementing a language server using reflex mpickering.github.io/posts/2…
I'm happy to (finally) announce a new library: generic-optics
kcsongor.github.io/generic-l…
Csongor Kiss retweeted
Always thought that generic-lens was a shining #haskell library usability-wise but a straightforward application of GHC Generics. But after looking at the implementation...
It is truly a work of art under the hood, w a LOT more going on than I had thought
hackage.haskell.org/package/…
New blog post on hiding internal details of "constraint synonyms" in #haskell
kcsongor.github.io/opaque-co…
Wrote a blog post about tripping up GHC's type inference to improve readability kcsongor.github.io/ambiguous…
I decided to start writing about my favourite vim features. First up is <C-a> kcsongor.github.io/underrate…
writing some lens code, and GHC's hole fit suggestions have been super helpful (thanks @tritlo!)
Csongor Kiss retweeted
We are delighted to announce the first Hackage release of optics, a Haskell library for defining and using lenses, traversals, prisms and other optic kinds. well-typed.com/blog/2019/09/…