Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @haskellandchill
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @haskellandchill
-
Prikvačeni tweet
programming is like math except with hidden constantly changing definitions you have no control over
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I always thought it was terrible how being a software engineer almost forces you to tie your career to a specific programming language
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
state transitions in electronic machinery are only computations relative to some consciousness
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"All that quantum mechanics purports to provide are probability connections between subsequent impressions of the consciousness"
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
trust dynamics animate the human condition
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
hours of sleep since Sunday as a decreasing fibonacci sequence starting at 8
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
-
"c ∧ a ≤ b is equivalent to c ≤ a → b" weird flex but ok
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sandy Vanderbleek proslijedio/la je Tweet
“But what kind of ‘and’ do you mean, exactly?” — linear logic, where the distinction is important, so naturally each author picks a different random subset of { ⊗, &, ∧, ∧*, ⩟, ⊓, ∩, ×, ★, ⊕, ⅋, ∨, ∨*, ⊻, ⊔, ∪, + } for their notation just to keep you vigilant
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
https://carnap.io/book/3 carnap is great and this is a good demonstration of interactive proof as an educational tool, can't wait to try writing up some textbooks using it
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sandy Vanderbleek proslijedio/la je Tweet
Microservices are great for turning method calls in to distributed computing problems
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sandy Vanderbleek proslijedio/la je Tweet
Interviewer: hmmm Can you think of any way we can make this faster? Me: Sure, lets replace this array with a log-linear histogram Interviewer: Uh.. Me: Sit the fuck down, your smug ass wanted to play fancypants with the datastructures. Now we're here for the night
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I think on the front of every book you should put if the theories are decidable or not
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
possibly my greatest work, though I believe ~18/20 attendees disagreehttps://slides.com/sandyvanderbleek/proofs …
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
-
undershare overdeliver
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bash programming isn't so bad once you accept that every programming language is bad
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
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
this break I've programmed in Athena, OCaml, ACL2, and Isabelle. it's been fun!
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.



