 |
Posts by [email protected] |
 |
Post #AsBZ4clpaJAldhAiP2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Something, something, something, German Rearmament, something, something, some… |
|
|
|
Post #AsDVvyaTBq919Mxifw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Urgh, it looks like #Cedar deprecated the Dafny attempt in favour of Lean.Annoy… |
|
|
|
Post #AtkLezIgkBwOul6BKy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez not sure if others have said, you need to get on the electoral … |
|
|
|
Post #Aua5hDKo2c2PyO2rKa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lindsey agreed, the best advice I received on writing recommendation letters/r… |
|
|
|
Post #AuaEb865V3azZzKmg4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@krismicinski I cannot remember if ICSE publishes their ‘oversight’ model, … |
|
|
|
Post #AuaEml2T3Y6bXYBZdQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@plragde these are rather common in the UK, dare I say it the entire EEA…The … |
|
|
|
Post #AuaEmrQRJKqVLdRnpg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lindsey @plragde @jer_gib to translate for those outside of North America, I h… |
|
|
|
Post #AuaEtmtgXs8zKZQiTg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lindsey @jer_gib @zyang @krismicinski (/sarcasm it’s a pretty good shibbolet… |
|
|
|
Post #AuaEziy04UFqsWHMIK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Another #Positive Decidable example: Duality of Simple Binary Session Types (Sy… |
|
|
|
Post #AuaEzmGtmg9d808zfU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Interestingly, work is publishing *key dates* via a SharePoint site. Whilst I�… |
|
|
|
Post #AuaEzmNdNdXfStINAO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
For context, these are internal dates. Sessional dates are published on a publi… |
|
|
|
Post #AuaEzrFfGh8cZcbZwG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I is in a Q for something important, but a big meeting starts at 1000hrs, and I… |
|
|
|
Post #AuaEzrMOreWeuVkxRA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
All sorted! No one noticed ;-) |
|
|
|
Post #AuaEzuzrLOs8BlF0rI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
There is something not quite right about having a #broodjeDoner in the middle o… |
|
|
|
Post #AuaEzxjJBOPofIWKye by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Planned reading for next downtime at work: https://handbook.gitlab.com/handbook… |
|
|
|
Post #AuaF09MhvFT0kg2SPo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mevenlennonbertrand @ohad @jonmsterling @rzeta0 I agree with Meven here. The w… |
|
|
|
Post #AueNZw4oNoFeEE5BQG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ohad @lindsey @ETAPSconf is that talk publicly available? |
|
|
|
Post #AueOLdvXAMQDq2UXdQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@gallais ach! |
|
|
|
Post #AwBy33G8oNEZGnl2Zc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bentnib @lindsey this is correct, from the Idris point of view at least. After… |
|
|
|
Post #AwBy33NaMhBldtEzB2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bentnib @lindsey I should add that the peano trick is built in, afaict. Idris… |
