Medijski sadržaj
- Tweetovi
- Tweetovi i odgovori
- Medijski sadržaj, trenutna stranica.
-
OCaml's dune build system recites a Litany Against Exceptions:pic.twitter.com/9jhiu0Y89c
-
Constable's "The Triumph of Types: Creating a Logic of Computational Reality" (https://ncatlab.org/nlab/files/ConstableTriumphOfTypes.pdf …) helps explain what's at stake in the choice between NuPRL's CTT and Coq's CoC/CIT (at least, from one POV):pic.twitter.com/vIeU7EX8Py
-
https://www.youtube.com/watch?v=1ZxyLL7HnOs&t=5s … I promise I'll keep trying <3
-
Am I looking at the wrong home page? (Not meaning to oppose the praise of humility etc.)pic.twitter.com/xOyLLgAFDE
-
A regular function, sure. But you must admit this is an intimidating type signature for a function to generate an anchor element! ;)

pic.twitter.com/5xWmaaqOfY
-
-
-
Associativity of composition:
simple
beautiful
profound
fully understood by mepic.twitter.com/tGhWP3kQGo
-
I'm reading Lawvere & Schanuel's "Conceptual Mathematics"pic.twitter.com/Mo1u5TSskN
-
Schönfinkel's summary of the aims and achievement of combinatory logic is spectacular:pic.twitter.com/nbla0lRgKb
-
-
Limiting some forms of expression by deliberate, well-reasoned criteria to rule out undesirable negative behaviors:pic.twitter.com/XmG6BBC4G2
Č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.