John Wickerson

2.3K posts

John Wickerson banner
John Wickerson

John Wickerson

@wicko3

Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @wicko3.bsky.social

United Kingdom Katılım Mayıs 2009
778 Takip Edilen1.2K Takipçiler
John Wickerson retweetledi
Alastair Donaldson
Alastair Donaldson@afd_icl·
ACM TOPLAS has four new paper tracks: - PL Squibs (Guest Editor: Colin Gordon) - PL Experiments (Guest Editor: @wicko3) - Tools, Systems and Practitioner Reports - Surveys and Tutorials Check out my editorial on these tracks in the latest issue! dl.acm.org/doi/10.1145/37…
English
1
4
15
1.1K
John Wickerson
John Wickerson@wicko3·
@GNRailUK Do you know if those restrictions changed recently? I spoke to three revenue protection officers at Cambridge yesterday who all insisted off-peak carnets had no evening restrictions. I showed them the webpage you linked to and they were quite surprised!
English
1
0
0
124
Great Northern
Great Northern@GNRailUK·
@wicko3 Good morning John, Thank you for confirming. The restrictions are that these tickets can't be used to depart London before 10:00 and between 16:30 and 19:01 on weekdays. For more information see the dedicated page: nationalrail.co.uk/tickets-railca… ^Adam.
English
1
0
0
123
John Wickerson
John Wickerson@wicko3·
@GNRailUK What are the evening restrictions on using a carnet from KGX to CBG, please? My ticket seller said not between 5:30pm and 6:30pm; your website says not between 4:30pm and 7pm; and my revenue protection officer said there are no evening restrictions! Who is right?
English
1
0
0
178
John Wickerson
John Wickerson@wicko3·
@GNRailUK Hi Ben, it’s an off-peak carnet. (I understand that anytime carnets are not available between KGX and CBG in any case.)
English
1
0
0
88
Great Northern
Great Northern@GNRailUK·
@wicko3 Hi htere, is this an off-peak or anytime Carnet? As they differ. ^Ben
English
1
0
0
81
John Wickerson
John Wickerson@wicko3·
Big thank you to Eleonora Giunchiglia @e_giunchiglia for a fascinating “Meet the Profs” talk at @imperialeee about her research into compliant-by-construction ML models!
John Wickerson tweet media
English
0
1
10
2.5K
John Wickerson retweetledi
Loris D'Antoni
Loris D'Antoni@lorisdanto·
PACMPL (POPL, PLDI, OOPSLA, ICFP) papers should have a limit of 10 pages. We already write them this way (section 2 is basically the paper at this point) and all the details should go in appendix. Writing this way would make our work accessible outside of our community.
English
9
3
66
15.3K
John Wickerson
John Wickerson@wicko3·
A good day for folks who like runs of numbers!
John Wickerson tweet media
English
0
0
1
261
John Wickerson
John Wickerson@wicko3·
Delighted to have our first “Meet the Profs” seminar of the term, featuring Ayush Bhandari (@AB2World) who showed us how to extract a useful signal just from the noise of quantisation! Simultaneously mind-blowing and beautifully explained. @imperialeee
John Wickerson tweet media
English
1
1
7
471
John Wickerson retweetledi
Imperial College London
Imperial College London@imperialcollege·
Congratulations to Philippa Gardner, Professor in @ICComputing, who has received a @bcs Ada Lovelace Medal 🥇 Professor Gardner received the award in recognition of her work on language specification, software verification and bug detection ⬇️ imperial.ac.uk/news/257553/ch…
Imperial College London tweet media
English
1
8
29
3.3K
John Wickerson retweetledi
Gabriel
Gabriel@gabelbling·
Amazing graphical representation of a neural net, never seen anything like it.
English
47
3.4K
20K
1.6M
John Wickerson retweetledi
Mike Dodds
Mike Dodds@miike·
I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: mikedodds.github.io/files/talks/20…
Mike Dodds tweet media
English
13
96
392
37K
John Wickerson
John Wickerson@wicko3·
Did I just wake up after a 400-year nap?
John Wickerson tweet media
English
4
0
29
2.3K
John Wickerson retweetledi
Jay Cummings
Jay Cummings@LongFormMath·
We have a new record! The Great Internet Mersenne Prime Search verified that this massive number is indeed prime. Which also means that a new perfect number has been discovered. The last record held for an unusually long time—almost 6 years. We’ll see how long this stands.
Jay Cummings tweet media
English
78
732
6.5K
441.2K
John Wickerson retweetledi
Ross Tate
Ross Tate@rossetate·
As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)
Deedy@deedydas

Compilers was was known to be the hardest CS class at Cornell which was hard as it is. We were handed a 8-page PDF at the start of sem for a language spec we'd be implementing by the end of sem, split into 6 parts. On part 5, the median was a 0/100 and most the class failed.

English
127
1.5K
16.3K
3.4M

Keşfet

@PeterOHearn12 @HerrDreyer @AzaleaRaad @alexandra8silva @PetarMax @GNRailUK @imperialeee @e_giunchiglia