Marek Bernát

@mimblewabe

I'm thinking about ways of combining editors and games. I'm into languages, biology, physics, math. Don't believe anything I write, especially this sentence.

Vrijeme pridruživanja: listopad 2009.

Tweetovi

Blokirali ste korisnika/cu @mimblewabe

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

  1. Prikvačeni tweet
    26. svi 2019.

    Art is a deliberate sequence of edits in a medium. An evolution is a sequence of edits described by a set of rules. A computation is an evolution where the set of rules is described in another medium. Programming is the art of manipulating the medium of rule descriptions.

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet

    I was today years old when I learned that an ampersand (&) is a ligature for the word 'et'

    Prikaži ovu nit
    Poništi
  3. 30. sij

    A very nice thread about tropical numbers 🏝️ Please post more stuff like this, I'd love to learn some bits and pieces about tropical geometry.

    Poništi
  4. proslijedio/la je Tweet

    See the Sun like never before! ’s Inouye Solar Telescope produces first detailed images of the sun’s surface. 📷: / / NSF

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    26. sij

    If you are after optimizing development, look at how developers read, not write, code. Code reading is the single largest expense in software development, and very few even talk about it.

    Poništi
  6. proslijedio/la je Tweet
    17. sij

    1/13 A well written, balanced, friendly, helpful article by on loss aversion. Perfect to illustrate how ergodicity economics brings clarity to a confused status quo. When economists attack me, they're trying to kill the messenger. Let's solve the problem instead.

    Prikaži ovu nit
    Poništi
  7. 14. sij

    '...that cold and mechanistic a way of thinking about the Gods simply will not work when you want to evoke one. For full understanding, the Apollonian/scientific mode is essential; for direct experience, the Dionysian/ecstatic mode is the only way to go.'

    Poništi
  8. 14. sij

    Even better, it turns out that resource problems and concurrency problems are two sides of the same coin and you can solve both at the same time! It's really surprising how far the concepts of ownership and sharing can get you.

    Prikaži ovu nit
    Poništi
  9. 14. sij

    Hot take: functional programming languages are misguided because they require GC, which means you lose performance and get no support for other resources (file descriptors, sockets, threads, etc.). Memory is a red herring here, the real deal is resource ownership and aliasing.

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet

    You: This one untested supplement will restore balance to my body Your body:

    Poništi
  11. 10. sij

    After all this, you might think I'd condemn all in-groups. I won't. Avoiding groups can and will leave you empty and devoid of meaning. We're meant to belong. So, by all means, find your perfect group.. ..just be aware there are countless others, exactly like it. 5/5

    Prikaži ovu nit
    Poništi
  12. 10. sij

    I had also been very much into rationality (LessWrong kind) and experienced another dissonance after realizing how shockingly and irreparably irrational I am and how crazy, erratic, and oblivious to its own flaws that community was. Just another in-group, nothing more. 4/n

    Prikaži ovu nit
    Poništi
  13. 10. sij

    But you also learn other languages form in-groups of their own. Not everyone is like that but you can definitely find many who consider their language of choice to be the very best and look with contempt at all others. 3/n

    Prikaži ovu nit
    Poništi
  14. 10. sij

    Eventually, I proceeded to hate it, abandon it, and try many other languages. This was refreshing. For one thing, once you leave the Haskell echo chamber, you learn it matters to hardly anyone (at best they consider it a mythical super-hard thing nobody really uses). 2/n

    Prikaži ovu nit
    Poništi
  15. 10. sij

    A personal story about in-groups. I was a strong proponent of Haskell at one point and looked with contempt at all the other languages. Later, as many of its flaws were becoming apparent to me, I experienced a strong cognitive dissonance about this supreme language. 1/n

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet

    Excerpt from a John Roberts commencement speech to a graduating middle school class. Such an important message. Teaching kids the value of pain, failure, and disappointment. “Don’t prepare the road for the child, prepare the child for the road”

    Poništi
  17. 8. sij

    After years of eyeing it and some nagging, I bit the bullet and started learning Rust. It's quite hard but incredibly rewarding. It's unbelievable that you can get safety, speed and ease of use at the same time. No need to pick two. Also the community is superb.

    Poništi
  18. 28. pro 2019.

    11. A particularly rich source of worlds is mathematics. Every theory describes such a world, with various objects inhabiting it. It's the job of mathematicians to explore these worlds and tell us how they relate to our own.

    Prikaži ovu nit
    Poništi
  19. 28. pro 2019.

    10. All data is just some matter somewhere. It's usually not very helpful to go down this abstraction ladder; instead you let the cloud handle your data. Except occasionally a data center with the only copy burns down and you're reminded it's not that nebulous.

    Prikaži ovu nit
    Poništi
  20. 28. pro 2019.

    9. To communicate, we need to encode the thoughts in our brain into another medium (air vibrations, ink on paper, electrical currents, etc.) and let others decode them again. All of this, too, is computation.

    Prikaži ovu nit
    Poništi
  21. 28. pro 2019.

    8. At all times we operate at a very high abstraction level. This might look like a sentence to you, but really it's just some configuration of particles in your device's memory and display. And now it manifests as electrical currents and neurotransmitters in your brain.

    Prikaži ovu nit
    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:

    ·