Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
Blokirali ste korisnika/cu @lambdagoat
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @lambdagoat
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
λ λ λ proslijedio/la je Tweet
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
λ λ λ proslijedio/la je Tweet
...and people tell me Haskell is too abstract.pic.twitter.com/rEoZJCcYQF
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
λ λ λ proslijedio/la je Tweet
Technical debt is not fungible. Tech debt is hard to quantify and you can't always trade one kind off for another. You can't always pay it off in installments. "Two days a sprint for tech debt" is not a coherent policy! (For many reasons!)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
λ λ λ proslijedio/la je Tweet
Here's the introductory lecture of Programming with Categories divided between Brandon, David, and me. More to come regularly.https://www.youtube.com/watch?v=NUBEB9QlNCM …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
λ λ λ proslijedio/la je Tweet
The only valid measurement of code quality: WTFs/minutepic.twitter.com/s8ShoPzJGh
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
λ λ λ proslijedio/la je Tweet
Happy New Year! A bunch of us are trying to develop "applied category theory" - and now we've started a new journal on this subject, called "Compositionality". It's free to publish in, and free to read. The first issue just came out! (1/n)https://johncarlosbaez.wordpress.com/2019/12/30/compositionality-first-issue/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
λ λ λ proslijedio/la je Tweet
Me earlier this year: everything we do is just defunctionalization. Me last month: everything I did 4 years ago was also just defunctionalization. Just released: my guest post for the
@sigplan blog (ed.@michael_w_hicks), giving a full 7 applications.https://blog.sigplan.org/2019/12/30/defunctionalization-everybody-does-it-nobody-talks-about-it/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Č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.

