Cohomology enthusiast. I've seen rings you people wouldn't believe.

Joined October 2009
Sam Derbyshire retweeted
We are delighted to announce that Well-Typed is receiving funding to work on Cabal as part of the #ContributeBackChallenges by @sovtechfund! For more details on how we plan to improve Haskell tooling please read our blog: well-typed.com/blog/2023/10/…
1
15
63
4,392
Sam Derbyshire retweeted
Find out what the GHC team at Well-Typed have been working on recently! well-typed.com/blog/2023/10/…
3
18
1,507
Sam Derbyshire retweeted
Check out what the Well-Typed GHC team have been up to over the last couple of months: well-typed.com/blog/2023/08/…
7
26
1,872
Sam Derbyshire retweeted
Read about how we're making Haskell builds faster! Some great work by @mpickering_ and @samderbyshire thanks to support from @HasuraHQ. well-typed.com/blog/2023/08/…
8
1
34
2,946
Sam Derbyshire retweeted
New blog post: GHC activities report for April-May 2023. Check out what the Well-Typed GHC developers have been up to recently! well-typed.com/blog/2023/06/…
5
8
1,418
Sam Derbyshire retweeted
New blog post by @mpickering_: Interface Files with Core Definitions. Speed up Template Haskell compilation times by up to 40%! well-typed.com/blog/2023/02/…
1
8
22
2,247
Sam Derbyshire retweeted
New blog post: GHC activites report for October–November 2022 well-typed.com/blog/2022/12/…
5
9
computer advice! you can “paste without formatting” in most apps with the handy keyboard shortcut combo: Ctrl+V (Deep sigh) Ctrl+Z Ctrl+Shift+V
41
847
58
4,874
Sam Derbyshire retweeted
sending my grad students an email indicating we are about to “go hardcore” as a research group — all results must work in characteristic 2
12
9
1
316
Sam Derbyshire retweeted
I'm not sure I look forward to the days of “oh, this proof worked with version 4.6.3-beta4 of étale cohomology but it broke when we upgraded to 4.6.3-final”. 😅
1
3
11
Sam Derbyshire retweeted
GHC removing its Make build system haskell.org/ghc/blog/2022080…
1
1
10
*Mitsuba 3* is now available! It's a major redesign of the lab's infrastructure for differentiable rendering building on the Dr.Jit just-in-time compiler announced yesterday. Full video link: tinyurl.com/mitsuba-tut 1/10
16
199
24
806
Sam Derbyshire retweeted
New blog post: GHC activities report: April–May 2022 well-typed.com/blog/2022/06/…
5
15
Sam Derbyshire retweeted
GHC 9.2.2 is now available! There are many great fixes in this release; users of GHC 9.2.1 are encouraged to upgrade quickly not only for these fixes but also some great compiler performance improvements. discourse.haskell.org/t/anno…
my GHC can compile this and yours can't
3
5
35
Sam Derbyshire retweeted
Kill derived constraints ift.tt/aAL5qkT
1
1
We are told that Haskell infers the most general type for functions. Except that GHC doesn't do this, because it supports unboxed types; representation affects compilation. So GHC has to make choices. It does so at strange times, as @RaeHaskell shows: youtu.be/ovX7VE21FBM
3
14