Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @DiazCarrete
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @DiazCarrete
-
pas de clerc https://fr.wiktionary.org/wiki/pas_de_clerc … “Tu m’as fait faire un pas de clerc, me dit-elle, la princesse de Parme m’a à peine dit bonjour, elle s’est retournée vers les dames avec qui elle causait sans s’occuper de moi”
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Daniel Díaz proslijedio/la je Tweet
List of open and free logic textbooks. ~ Richard Zach (
@RrrichardZach). https://github.com/OpenLogicProject/OpenLogic/wiki/Other-Logic-Textbooks …#LogicHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
One benefit of ebook readers is that you can read outdoors even when the wind is blowing. Granted, you can do that with paper books as well, if you don't mind gusts of wind having a say on what page you'll read next.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
two
#French phrases involving modes of walking: emboîter le pas https://en.wiktionary.org/wiki/embo%C3%AEter_le_pas … à pas de loup https://en.wiktionary.org/wiki/%C3%A0_pas_de_loup …Prikaži ovu nitHvala. 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
-
Daniel Díaz proslijedio/la je Tweet
The GHC Steering Committee just accepted the proposal “Unlifted Datatypes” by
@sgraf1337:https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0265-unlifted-datatypes.rst …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Daniel Díaz proslijedio/la je Tweet
Thank you everyone for coming to London
#haskell last night! Slides:https://slides.com/anthony-1/deck-1c0c6a#/ …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
-
My problem with using pushd & popd productively was assuming that changing directories had to be done with popd. But popd is not very useful for that. Instead, changing dirs should be done either by *rotating* the stack with pushd or by using tilde expansions like cd ~3.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
pushd and popd https://agilesysadmin.net/understanding-pushd-and-popd/ … prepopulating the dir stack https://unix.stackexchange.com/questions/365339/making-pushd-directory-stack-persistent/366852#366852 … tilde expansion https://unix.stackexchange.com/questions/77077/how-do-i-use-pushd-and-popd-commands/270437#270437 … https://www.gnu.org/software/bash/manual/html_node/Tilde-Expansion.html …
#bashPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Goldilocks went to GitHub & cloned 3
#haskell codebases She inspected the 1st one: "This codebase is stringly typed!" Then the 2nd one: "This has singletons and inscrutable type sigs!" And the last one: "Shows a mature understanding of the benefits & limits of the type system"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
-
Daniel Díaz proslijedio/la je Tweet
Kiran Bhattaram (@kiranb) on Failure Detectors at@papers_we_love#NYC Video: https://buff.ly/2R1y2Wv Meetup: https://buff.ly/2FUtMBG Slides: https://buff.ly/3734MnB Audio: https://buff.ly/3agZ03V#Consensus#algorithms#failureHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Daniel Díaz proslijedio/la je Tweet
I have long since stopped putting much effort into getting people to play parser IF, for the low hit rate reasons. And it’s hard to advocate writing because of audience size. But I do still think writing it is one of the best possible design educations
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Daniel Díaz proslijedio/la je Tweet
The modern query-based architecture for compilers (the pull-model) in addition to just the regular pipeline architecture (the push model) There's a great video about this from a couple of years ago that introduced me to the difference:https://channel9.msdn.com/Blogs/Seth-Juarez/Anders-Hejlsberg-on-Modern-Compiler-Construction …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
41:40 "you need make sure that one node doesn't see the other nodes that are used by the node just below" 42:15 wiring 42:40 problems with ReaderThttps://youtu.be/SfW9w-FogeE?t=2282 …
Prikaži ovu nitHvala. 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
-
Functions whose signatures express which fields of a (nominal) record they "touch"https://stackoverflow.com/a/59898122/1364288 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
module Opaque(Opaque(..)) where import Data.Type.Equality ((:~:)(Refl)) newtype HiddenEq a b = HiddenEq (a :~: b) -- fix concrete a, be polymorphic over b class Opaque a b where opaque :: HiddenEq a b instance Opaque a a where opaque = HiddenEq Refl
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
––Esto ya me parece excesivo, señorito; es demasiado. ¡Le va a hacer daño! ––¿Pues no decías que el que come vive? ––Sí, pero no así, como está usted comiendo ahora... Y ya sabe mi señorito aquello de «más mató la cena, que sanó Avicena» Unamuno, "Niebla" https://en.wikipedia.org/wiki/Mist_(novel) …
Prikaži ovu nitHvala. 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.