My mission is not to starve or freeze to death on the streets.
Joined May 2018
- Tweets 33
- Following 19
- Followers 5
- Likes 3
Photos and videos
Simon Beaumont retweeted
11 Mar 2024
Episode #37 is out! This time we talk with @GuannanWei to talk about his compilers research and we dive into the technicalities of his work. We touch on topics such as Staging, Futamura Projections, Symbolic Execution, Quantum Programming and more!
typetheoryforall.com/2024/03…
6
30
2,283
18 Jan 2024
@wightfibe Out again tonight! Been up and down several times this week. What's happening?
1
84
18 Jan 2024
@WightFibre outage again tonight - been several this week... what's going on in Carisbrooke?
1
82
24 Dec 2023
Couple of fresh Swift compilers one for Xcode and one for research -- both doing automatic first class differentiation. Ho ho! Merry Christmas! Santa Claus came early this year. github.com/apple/swift/blob/…
42
24 Dec 2023
Built got Swift while I was walking out. Really got to stop now -- still Differentiation r 'us.
33
24 Dec 2023
I'm giving up on Swift for this year. Can't even build the compiler -- open source only if you have the keys eh?
21
24 Dec 2023
Could that be Swift/MLX with a little leg up from Apple via the Xcode toolchain c'mon guys stop teasing; AI needs you.
25
24 Dec 2023
My 2024 shopping list: strong static typing, aot compiler, automatic first class differentiation and a smart array based rts that can put the data on the best device for the job. Dependent types a JIT and repl are a bonus.
10
28 Nov 2019
Today I had to resort to unsafeCoerce :: Int -> Word -- This is the end my friend...
Simon Beaumont retweeted
23 Nov 2018
Geometry grew out of the study of astrology and architecture, calculus from the study of mechanics. Could quantum theory also lead to a new kind of mathematics? Follow the discussion in the newly available #ThePrimeNumberConspiracy!
amazon.com/dp/0262536358/
12
39
23 Nov 2018
Who needs standards? What we need is shit that works. Fuck standards.
23 Nov 2018
VAX H_floating anyone? Oh how I pine for the old days of BSD 4.2 and a VAX to run her on...
23 Nov 2018
So disappointed that sin pi or sin(pi), if you prefer, is: 1.2246467991473532e-16 and yes I know all about eps and ups and IEEE754 -- sigh.
31 Oct 2018
Idris 2: Type-driven development of Idris - Edwin Brady @ Code Mesh LDN - 08-09 Nov 18 reddit.com/r/Idris/comments/…
2 Oct 2018
There's a reason we prefer tsv over csv in informatics... not just to be harsh on spreadsheet Johnies... go figure.
14 Jun 2018
Thinking how iterated functions that reveal (deterministic) chaotic behaviour and the resulting fractal maps of their attractors could be very interesting to explore w.r.t. encoding memory in machine learning. I'm already impressed with simple holographic (SDM) features.
12 Jun 2018
An inspiring approach: science applied to the data - looking for causation in the signal and dealing intelligently with noise. x.com/quantamagazine/status/…
10 Jun 2018
ICYMI: Black-box machine learning often isn’t adequate for understanding medical genomics. Computer scientist Barbara Engelhardt explains why.
buff.ly/2HOPpmN
29 May 2018
No followers but I'm retweeting this because I feel the need x.com/QuantaMagazine/status/…
29 May 2018
“Progress here is not just about discovering a new particle. It is also — indeed, most of the time — being able to carve out the space of what might be possible in nature.”
buff.ly/2IJaaV1