Tweetovi

	Bob Atkey @bentnib	31. sij
	Odgovor korisniku/ci @edwinbrady I did this so often the students started to shout out before I loaded the file.
	Prikaz razgovora ·

	Bob Atkey @bentnib	31. sij
	Odgovor korisniku/ci @heades Congratulations!
	Prikaz razgovora ·

	Bob Atkey proslijedio/la je tweet
	∀[ □ A ⇒ A ] → ∀[ A ] @anormalform	29. sij
	"A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs" has been accepted for publication at JFP! gallais.github.io/pdf/generic-sy…
	Prikaži podatke ·

	Bob Atkey @bentnib	29. sij
	Dunno why they're called research _councils_. They've never arranged collection of my research bins or sorted out the potholes in my notes.
	Prikaži podatke ·

	Bob Atkey proslijedio/la je tweet
	Graham Hutton @haskellhutt	28. sij
	Just started teaching Haskell to our first year students this semester. For anyone interested, all the course materials are available here: cs.nott.ac.uk/~pszgmh/pgp.ht… pic.twitter.com/ua3atEaRiZ
	Prikaz fotografije ·

	Bob Atkey @bentnib	24. sij
	Odgovor korisniku/ci @lexi_lambda @Iceland_jack Ah.
	Prikaz razgovora ·

	Bob Atkey @bentnib	24. sij
	Odgovor korisniku/ci @lexi_lambda I think this is what ViewPatterns are for, though maybe they don't work well with GADT like structures?
	Prikaz razgovora ·

	Bob Atkey proslijedio/la je tweet
	Elainovision 2020 @scattermoon	24. sij
	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 Worlds
	Prikaži podatke ·

	Bob Atkey @bentnib	24. sij
	Slides for “Resource Constrained Programming with Full Dependent Types” bentnib.org/posts/2020-01-… a talk I gave yesterday at IRIF on polytime programming in dependent type theory.
	Prikaži podatke ·

	Bob Atkey proslijedio/la je tweet
	∀[ □ A ⇒ A ] → ∀[ A ] @anormalform	18. sij
	Got the paperwork yesterday, so: happy to announce that I'll be spending the next 3 years working full time on Idris with @edwinbrady!
	Prikaži podatke ·

	Bob Atkey @bentnib	15. sij
	Odgovor korisniku/ci @dorchard "Absolute value" bars? |C| is the discrete version of C. I feel like this is quite common.
	Prikaz razgovora ·

	Bob Atkey @bentnib	13. sij
	Odgovor korisniku/ci @fabgenovese "Generative effect" is already used in PL theory to mean things like name or reference cell generation. See things like generative vs applicative functors in ML modules.
	Prikaz razgovora ·

	Bob Atkey @bentnib	13. sij
	Odgovor korisniku/ci @bgavran3 Pullback? Because the functors involved are all going to be forgetful. Cartesian categories probably won't be the apex tho: I don't think that the surjectivity law will be required (<pi_1,pi_2> = id).
	Prikaz razgovora ·

	Bob Atkey proslijedio/la je tweet
	Zanzi @tangled_zans	20. pro
	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 :)
	Prikaži podatke ·

	Bob Atkey @bentnib	18. pro
	Odgovor korisniku/ci @anormalform Need staging annotations?
	Prikaz razgovora ·

	Bob Atkey @bentnib	17. pro
	Odgovor korisniku/ci @seagreen__ The second paragraph of Section 2 indicates that it is an abbreviation for 'o → (o → (o → o))'. I don't know why this abbreviation isn't used consistently.
	Prikaz razgovora ·

	Bob Atkey @bentnib	11. pro
	There are no stack backtraces, only lists of promises your program failed to keep. twitter.com/tpolecat/statu…
	Prikaži podatke ·

	Bob Atkey @bentnib	9. pro
	Odgovor korisniku/ci @Blaisorblade Sorry for being slow. I've uploaded a copy here: bentnib.org/docs/unembeddi… may not work with newer (> 2014) GHCs
	Prikaz razgovora ·

	Bob Atkey proslijedio/la je tweet
	Strathclyde CS316 FP @StrathCS316	22. stu
	Lecture 17 : Laziness and Procrastination, How Haskell is Executed github.com/bobatkey/CS316… Today's lecture in Strathclyde's Functional Programming course.
	Prikaz sažetka ·