∀[ □ A ⇒ A ] → ∀[ A ]

@anormalform

thésard en carton (et en informatique) type theory, agda, haskell and ocaml 🚲

Glasgow, Scotland
Vrijeme pridruživanja: kolovoz 2011.
479 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @anormalform

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @anormalform

  1. Prikvačeni tweet
    29. sij

    "A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs" has been accepted for publication at JFP!

    13 proslijeđenih tweetova 73 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. prije 9 sati

    🔽🔽🔽

    Bonjour Twitter ! Ce compte s’est mis en pause début janvier. Et finalement, il va le rester. Voici en quelques mots pourquoi. ⤵️
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    2. velj

    Protest posters by precarious graduate teaching assistants at Sorbonne Nouvelle - paid under the minimum wage, still waiting for contracts to be signed, working two other casual jobs.

    des chargés de TD doctorants à la Sorbonne Nouvelle ont collé des affiches anonymes sur leur situation et ça fait peur
    Prikaži ovu nit
    17 proslijeđenih tweetova 18 korisnika označava da im se sviđa
    Poništi
  4. 2. velj

    These mfers demonstrating their given word has no value right before the negotiations start is pretty ominous.

    1 reply 2 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    2. velj

    «On ne peut pas réformer la recherche sans les chercheurs» - Libération

    30 proslijeđenih tweetova 48 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    30. sij

    Here’s part 2 in our video essay series examining how the sexual assault of men is often played for comedy in entertainment.

    13 replies 176 proslijeđenih tweetova 475 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    30. sij

    Recalé avec un 0/20 à cause d'un abonnement Instagram, nan mais ça va pas là ??? Entre les LBD dans les lycées et le flicage numérique, la gestion de la crise des prend un tournant carrément dangereux et irresponsable.

    776 replies 2.060 proslijeđenih tweetova 2.782 korisnika označavaju da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    20. sij

    Delft PL has open PhD student positions in dependently typed programming languages, web programming languages, static and dynamic semantics specification, and software restructurings.

    18 proslijeđenih tweetova 16 korisnika označava da im se sviđa
    Poništi
  9. 29. sij

    60 pages of generic programming and proving for syntaxes with binding. A reviewer called it "basically a master class in dependently typed programming" 😊.

    1 reply 17 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    29. sij

    1. A woman who was a senior producer at Fox & Friends when the show interviewed Jerome Corsi to talk about why Obama's birth certificate was fake was just hired by Facebook to help decide what videos to feature in its new News tab

    116 replies 2.210 proslijeđenih tweetova 2.820 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. 29. sij

    This sounds amazing.

    🚲 Paris will make every street bicycle-friendly by 2024! “The 15 minute city" Mayor calls it; a hyper proximity city' where clean air & a ‘people-first’ culture will improve the daily life of Parisians. 🙌 : Make it happen! Read:
    4 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    28. sij

    Did you know? students and staff can get FREE bike maintenance advice at our Fix Your Own Bike sessions! 😍🚴‍♂️🔧⚙️😁 Next session is on 10th Feb and booking is now live !!

    8 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  13. 27. sij

    Wondering whether an optimiser could be made clever enough to take the CPS version and produce the less obvious circular program from it.

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. 27. sij

    This may give you a worse runtime though: instead of putting a (shared) thunk at every leaf, you're building this big continuation constructing the tree modified tree.

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. 27. sij

    Today I have realised that you can write an obviously terminating Bird-style circular program in TT by using CPS to highlight the inherent phase separation:

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    24. sij

    Slides for “Resource Constrained Programming with Full Dependent Types” a talk I gave yesterday at IRIF on polytime programming in dependent type theory.

    2 proslijeđena tweeta 15 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    26. sij

    caught my son running a google search for " writign physics engine in Coq ". i am beyond distraught. we are strictly an Agda family

    7 replies 65 proslijeđenih tweetova 480 korisnika označava da im se sviđa
    Poništi
  18. 26. sij

    Train tracks on a train on train tracks.

    1 reply 1 proslijeđeni tweet 7 korisnika označava da im se sviđa
    Poništi
  19. 25. sij

    Iconic pose

    1 reply 6 korisnika označava da im se sviđa
    Poništi
  20. 25. sij

    The view over the firth of Clyde from Port Glasgow is quite nice.

    9 korisnika označava da im se sviđa
    Poništi

@anormalform još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·