Joined October 2009
- Tweets 631
- Following 283
- Followers 291
- Likes 6,228
61 Photos and videos
Sam Derbyshire retweeted
19 Oct 2023
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,388
Sam Derbyshire retweeted
12 Oct 2023
Find out what the GHC team at Well-Typed have been working on recently!
well-typed.com/blog/2023/10/…
3
18
1,504
Sam Derbyshire retweeted
11 Aug 2023
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,869
Sam Derbyshire retweeted
4 Aug 2023
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
34
2,943
Sam Derbyshire retweeted
23 Jun 2023
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,417
Sam Derbyshire retweeted
22 Feb 2023
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,245
Sam Derbyshire retweeted
12 Dec 2022
New blog post: GHC activites report for October–November 2022 well-typed.com/blog/2022/12/…
5
9
Sam Derbyshire retweeted
23 May 2021
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
863
4,936
Sam Derbyshire retweeted
16 Nov 2022
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
317
Sam Derbyshire retweeted
5 Aug 2022
GHC removing its Make build system haskell.org/ghc/blog/2022080…
ALT The GHC build system includes all of the above. To illustrate the consequences, here is one rule from GHC’s current build system, which uses Make: $1/$2/build/%.$$($3_osuf) : \ $1/$4/%.hs $$(LAX_DEPS_FOLLOW) \ $$$$($1_$2_HC_DEP) $$($1_$2_PKGDATA_DEP) $$(call cmd,$1_$2_HC) $$($1_$2_$3_ALL_HC_OPTS) \ -c $$< -o $$@ \ $$(if $$(findstring YES,$$($1_$2_DYNAMIC_TOO)), \ -dyno $$(addsuffix .$$(dyn_osuf),$$(basename $$@)) ) $$(call ohi-sanity-check,$1,$2,$3,$1/$2/build/$$∗) Yes, there are four dollar signs in a row! If it wasn’t so tragic, im- penetrable code like this would be hilarious. This kind of thing goes on for thousands of lines. The result is a nighmare to understand, maintain and modify.
1
1
10
Sam Derbyshire retweeted
20 Jul 2022
*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
808
Sam Derbyshire retweeted
24 Jun 2022
New blog post: GHC activities report: April–May 2022 well-typed.com/blog/2022/06/…
5
15
Sam Derbyshire retweeted
6 Mar 2022
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…
27
95
Sam Derbyshire retweeted
17 Feb 2022
Here's the final post in our series on writing type-checking plugins for GHC! tweag.io/blog/2022-02-17-tcp…
2
7
Sam Derbyshire retweeted
7 Jan 2022
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
Sam Derbyshire retweeted
3 Jan 2022
Want to contribute to GHC? I came across a ticket today that should be nicely addressable by a newcomer. Hint: look in libraries/template-haskell/Language/Haskell/TH/Ppr.hs gitlab.haskell.org/ghc/ghc/-…
1
7
27