Boaz Rosenan

@brosenan

Believer in declarative programming and free speach

Haifa, Israel
Vrijeme pridruživanja: ožujak 2012.

Tweetovi

Blokirali ste korisnika/cu @brosenan

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @brosenan

  1. proslijedio/la je Tweet
    29. sij

    הןדעה לתושבי אום אלפחם כפר קרע כפר ברא גלגוליה באקה אל גרביה ערערה גלגוליה כפר קאסם אזרחים אחים אנחנו, לא ניתן לטראמפ ונתניהו לסכסך ביננו, לא ניתן להם להפריד ביננו. מדינת ישראל טובה יותר איתכם.

    Poništi
  2. proslijedio/la je Tweet
    27. sij

    צריך לדבר עם בשפתו: 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.

    Poništi
  3. 3. sij

    It took me some time, but I think I finally nailed it. Type classes in Neutrino.

    Poništi
  4. 31. pro 2019.

    אני רק שאלה: עם כל הדיבורים על "ישראל הראשונה" ו-"ישראל השניה", איפה יושבים האתיופים? והערבים? הם בטוח לא בישראל השניה, אז או שהם חלק מישראל הראשונה או שיש עוד סוגים של ישראל שעוד לא שמענו עליהם?

    Poništi
  5. 25. pro 2019.

    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.

    Poništi
  6. 25. pro 2019.

    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.

    Poništi
  7. 23. pro 2019.

    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 nit
    Poništi
  8. 23. pro 2019.

    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 nit
    Poništi
  9. 23. pro 2019.

    I'm writing in 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 nit
    Poništi
  10. 23. pro 2019.

    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 nit
    Poništi
  11. 4. pro 2019.

    למי שכבר חוגג את יום השבתון של הבחירות השלישיות, שמתם לב איפה עוד היו שלוש מערכות בחירות בשנה אחת? רמז: (יש לינקים לבחירות הקודמות והבאות). שימו לב שהייתה מערכת בחירות רביעית (נוב' 33), אבל שם כבר לא הייתה בעיה להקים קואליציה.

    Poništi
  12. proslijedio/la je Tweet

    מר פינוקיו: הזכרתי שמות של ילדים ואמהותיהם שנהרגו ע׳י טילים ישר לבתים. נתניהו אתה משקר ומטעה. אלה לא מחבלים . אלה שהידים-קורבנות, ילדים שיש להם שמות . הם לא מספרים. לכל ילד יש שם. נתניהו הלחוץ ממשיך להסית ולשקר. אתה חייב להסתלק או להיות מסולק.

    Poništi
  13. 31. lis 2019.

    אני חושב שלכל אדם מותר להביע כל דעה. במקרה הזה, לכל אדם, גם לגבר, מותר להתנגד לאפליה. גם אם היא מופנית כלפי נשים. "תפנו אלנו בנימוס?" הנשים כקולקטיב? כולכן מקשה אחת? לכולכן דעה אחת? באמת, איריס. ממך לא ציפיתי.

    Poništi
  14. 28. lis 2019.

    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! Thanks, !

    Poništi
  15. 7. lis 2019.

    העובדה שבירושלים היום (!) יש למעלה מ-300,000 תושבים שחיים בשטח שמוגדר כמדינת ישראל אבל אינם אזרחי מדינת ישראל.

    Poništi
  16. 5. lis 2019.

    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 :-)

    Poništi
  17. proslijedio/la je Tweet
    5. lis 2019.

    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!)

    Poništi
  18. 5. lis 2019.

    Just finished listening to 's . "Must read" for everyone who values privacy and human rights.

    Poništi
  19. proslijedio/la je Tweet
    22. ruj 2019.

    ב-48 הוקמה מדינה יהודית. בכל שנותיה, הדמוקרטיה במדינה היתה פגומה באופן מהותי. אינני יודע אם זה אי פעם יפסיק לגמרי. אני כן יודע, שכשנותנים פתח לדמוקרטיה, גם פלסטינים גאים מוכנים לפגוש את הציונות באמצע הדרך. נראה לי שמי שחשובה לו הציונות צריך לקחת את זה בחשבון.

    Poništi
  20. 6. ruj 2019.

    היום למדתי: שיעור ההדתה המלכתי, שכונה בעבר ״תרבות ישראל ומורשתו״ ו-״תרבות יהודית ישראלית״ שינה השנה את שמו ל-״יהדות״. למי שעדיין טוען שאין הדתה במערכת החינוך, הדתה יש. בושה אין.

    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·