Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @bentnib
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @bentnib
-
Pinned Tweet
Use dynamic types, they said. It'll be simpler, they said. Lower cognitive overhead, they said.pic.twitter.com/IIeILP8Vm8
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
"A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs" has been accepted for publication at JFP! http://gallais.github.io/pdf/generic-syntax.pdf …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Dunno why they're called research _councils_. They've never arranged collection of my research bins or sorted out the potholes in my notes.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
Just started teaching Haskell to our first year students this semester. For anyone interested, all the course materials are available here: http://www.cs.nott.ac.uk/~pszgmh/pgp.html …pic.twitter.com/ua3atEaRiZ
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
Ideas for further Star Trek TNG spinoffs after
#Picard: Wes World Beverley Crusher, 90210 Geordi Shore Troi Meets World Guinan & Kel First Data Riker Grove Worf of the WorldsThanks. Twitter will use this to make your timeline better. UndoUndo -
Slides for “Resource Constrained Programming with Full Dependent Types” https://bentnib.org/posts/2020-01-24-qtt-polytime.html … a talk I gave yesterday at IRIF on polytime programming in dependent type theory.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
Got the paperwork yesterday, so: happy to announce that I'll be spending the next 3 years working full time on Idris with
@edwinbrady!Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
Reminder: the MSFP 2020 deadline for abstracts is this Thursday, the 9th, with the paper deadline a week later! Send in those submissions! https://msfp-workshop.github.io/msfp2020/
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
Did you know that trains in the UK run on Lenses? I've been working for
@Tracsis for the last five weeks and we're hiring Haskell developers! Please spread the word :)Thanks. Twitter will use this to make your timeline better. UndoUndo -
There are no stack backtraces, only lists of promises your program failed to keep.https://twitter.com/tpolecat/status/1204801407112622080 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
Lecture 17 : Laziness and Procrastination, How Haskell is Executed https://github.com/bobatkey/CS316-19/blob/master/lectures/Lec17.hs … Today's lecture in Strathclyde's Functional Programming course.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
"M" = "mutable". Previously, Id had no mutable data. Certain array-like "accumulating" computations (e.g., histograms) seemed difficult/impossible to express efficiently with purely functional data structures.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
What does the 'M' in Haskell's MVars stand for? Following references gets me to https://link.springer.com/chapter/10.1007/3540543961_26 … which calls them "M-structures" and never says explicitly what the 'M' is. Mutable? Mutex?
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
Monads, Data Dependency, and Applicatives; finishing with a toy version of the Haxl library https://github.com/bobatkey/CS316-19/blob/master/lectures/Lec16.hs … notes from Strathclyde's Functional Programming class.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
Parser Combinators II: parsing strings, JSON, and expressions https://github.com/bobatkey/CS316-19/blob/master/lectures/Lec15.hs … today's lecture for Strathclyde's Functional Programming course.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
my co-PI just made the best f*cking gantt chart I've ever seen. defs gonna get this grant now.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
Parser Combinators; today's lecture in Strathclyde's Functional Programming coursehttps://github.com/bobatkey/CS316-19/blob/master/lectures/Lec14.hs …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
If either everyone drinks or someone doesn't, then there is a person such that, if they drink, then everyone drinks.pic.twitter.com/rlH7qswPA9
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bob Atkey Retweeted
The new Agda standard library comes with my changes to `Dec` (known from an AIM wrap-up meeting and my SPLS talk). There's also a new wee bit of documentation at https://agda.github.io/agda-stdlib/README.Decidability.html …. It's aimed towards people new to `Dec`, but is hopefully useful for everyone.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.