Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @brosenan
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @brosenan
-
Boaz Rosenan proslijedio/la je Tweet
הןדעה לתושבי אום אלפחם כפר קרע כפר ברא גלגוליה באקה אל גרביה ערערה גלגוליה כפר קאסם אזרחים אחים אנחנו, לא ניתן לטראמפ ונתניהו לסכסך ביננו, לא ניתן להם להפריד ביננו. מדינת ישראל טובה יותר איתכם.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Boaz Rosenan proslijedio/la je Tweet
צריך לדבר עם
@realDonaldTrump בשפתו: Bad deal. VERY BAD. No peace with annexation. CORRUPT BIBI doesn’t want peace. CHEATING TRUMP doesn’t want peace. They only care about HASINUT!!!! Sad.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It took me some time, but I think I finally nailed it. Type classes in Neutrino.https://github.com/brosenan/neutrino/blob/master/type-classes.md …
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 compiler does not yet compiles, but it does act as an interpreter. All Neutrino assertions now evaluate Neutrino code during compilation, using its specializer.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I think I discovered a fourth Futamura projection -- projection #0. specialize(program, input) = output. This means that every specializer can be used as an interpreter for the base language. It actually does not provide the output but rather a trivial program that prints it.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My hope is that with this unique set of features it will allow for DSLs to be defined in a functional manner on the one hand, but compiled (by the compiler) to run "as efficiently as C".
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
When ready, the language will have a unique combination of features: 1. Purely functional. 2. Type classes. 3. Linear types. 4. Deterministic partial evaluation at compile time.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I'm writing in
#Prolog which is both fun and extremely productive. For example, over a few hours during the weekend I implemented the language's transformation to its intermediate representation. Yesterday I implemented type classes.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
https://github.com/brosenan/neutrino … Had to take time off work to use my vacation days. So I decided to work on a pet project. A toy-language named Neutrino I've wanted to implement for a while now.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
למי שכבר חוגג את יום השבתון של הבחירות השלישיות, שמתם לב איפה עוד היו שלוש מערכות בחירות בשנה אחת? רמז: https://en.wikipedia.org/wiki/November_1932_German_federal_election … (יש לינקים לבחירות הקודמות והבאות). שימו לב שהייתה מערכת בחירות רביעית (נוב' 33), אבל שם כבר לא הייתה בעיה להקים קואליציה.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Boaz Rosenan proslijedio/la je Tweet
מר פינוקיו: הזכרתי שמות של ילדים ואמהותיהם שנהרגו ע׳י טילים ישר לבתים. נתניהו אתה משקר ומטעה. אלה לא מחבלים . אלה שהידים-קורבנות, ילדים שיש להם שמות . הם לא מספרים. לכל ילד יש שם. נתניהו הלחוץ ממשיך להסית ולשקר. אתה חייב להסתלק או להיות מסולק. https://m.youtube.com/watch?v=sX_JW7_iQYI&feature=share …pic.twitter.com/k1KiZRmehO
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
אני חושב שלכל אדם מותר להביע כל דעה. במקרה הזה, לכל אדם, גם לגבר, מותר להתנגד לאפליה. גם אם היא מופנית כלפי נשים. "תפנו אלנו בנימוס?" הנשים כקולקטיב? כולכן מקשה אחת? לכולכן דעה אחת? באמת, איריס. ממך לא ציפיתי.https://twitter.com/Irisleal15/status/1189859537525891073 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I know this is generally not a lot, but for me it's a first. My LambdaKube project reached 25 stars and got its first (two) pull-requests! https://github.com/brosenan/lambda-kube … Thanks,
@olymk2!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
העובדה שבירושלים היום (!) יש למעלה מ-300,000 תושבים שחיים בשטח שמוגדר כמדינת ישראל אבל אינם אזרחי מדינת ישראל.https://twitter.com/origivati/status/1181114921767112704 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This was unexpected: Just got a call from the graduate studies authority in my university and was told my dissertation had been approved, and starting today I'm a PhD :-)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Boaz Rosenan proslijedio/la je Tweet
Fully agree. Almost missed a paper deadline because I couldn't put it down - gave me a new perspective on post-9/11 democracy, an uneasy awareness of things I do online, and a powerful appreciation of "the old days" of the internet. (Buy it in a store, cash!)
#PermanentRecordhttps://twitter.com/brosenan/status/1180513373613678592 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Just finished listening to
@Snowden's#PermanentRecord. "Must read" for everyone who values privacy and human rights.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Boaz Rosenan proslijedio/la je Tweet
ב-48 הוקמה מדינה יהודית. בכל שנותיה, הדמוקרטיה במדינה היתה פגומה באופן מהותי. אינני יודע אם זה אי פעם יפסיק לגמרי. אני כן יודע, שכשנותנים פתח לדמוקרטיה, גם פלסטינים גאים מוכנים לפגוש את הציונות באמצע הדרך. נראה לי שמי שחשובה לו הציונות צריך לקחת את זה בחשבון.
@mehazkimpic.twitter.com/hElCHXAFfVHvala. 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
Č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.