Katharina

@__katzii

she/her | 24 | Hardware & software dog witch 🦴 | Trans and Bisexual 🏳️‍🌈 | I like programming, electronics, plushies, ASCII games and tea. | 🇬🇧🇩🇪🇷🇺

Vrijeme pridruživanja: ožujak 2018.

Tweetovi

Blokirali ste korisnika/cu @__katzii

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

  1. proslijedio/la je Tweet
    25. sij

    When you or get to the post office, this should be waiting. I thought you might like some Tarkov decor for your stream room. I hope you enjoy, and thanks for the streams!

    Poništi
  2. proslijedio/la je Tweet
    2. velj
    Odgovor korisnicima

    "...he switched to formalizing proofs completely, with e.g. Lean, which _guarantees_ correctness" As a programmer, I'd like to point out that there is no proof that Lean is correct. Not to mention that it runs on processors, which are known to contain bugs and can fail randomly

    Poništi
  3. proslijedio/la je Tweet
    1. velj

    Interesting MO question: among hard mathematical results, which can we trust and how can we know? Question inspired by a talk by Kevin Buzzard (), with slides online:

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    2. velj
    Odgovor korisnicima i sljedećem broju korisnika:

    The challenge is to define which results are _interesting_ to humans. A computer could potentially generate a deluge of extremely boring results. Stanislaw Lem wrote an amusing story about that:

    Poništi
  5. proslijedio/la je Tweet
    31. sij

    Greetings Sharp and TRS-80 pocket computer friends! I now have remanufactured replacements for the LCD in TRS-80 PC-3 and Sharp PC-125x pocket computers!

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    31. sij

    absolutely cursed package

    Poništi
  7. proslijedio/la je Tweet
    28. sij

    gender criticals sowing: oh fuck oh shit this is awesome fuck gender criticals reaping:

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    27. sij

    New cache attack against Intel CPUs:

    Poništi
  9. proslijedio/la je Tweet
    26. sij

    Trans women are women 100% of the time. When we use bathrooms When we play sports When we have a penis When we have to go out in “guy mode” When we date lesbians When we date men When we date anyone When we aren’t stereotypically feminine Trans women are women all day, everyday

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

    I've been knee-deep in noise functions today as I rewrote the water shader. Even though the waves are quite large, the whole surface is rendered as a single quad by discarding fragments based on depth to create a non-straight intersection with ground. Kind of hacky but works

    Poništi
  11. proslijedio/la je Tweet
    18. sij
    Odgovor korisniku/ci

    My parents had one of those "plug in as many things as you want" power strips similar to this. It set a radio on fire. I can't count how many times I was electrocuted by it. My husband thought I was making this up until he saw they were still using it. He threw it out.

    Poništi
  12. proslijedio/la je Tweet
    19. sij

    Electrical engineers depict current as flowing from positive to negative. Chemists depict electrons as flowing from negative to positive. Both conventions are correct and consistent in their respective fields but collide in a horrible and confusing train wreck in electrochemistry

    Poništi
  13. proslijedio/la je Tweet
    19. sij

    The fact that is a piece of shit thief is trending on Twitter. This makes me happy.

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    19. sij

    SummonerRL has you exploring a pretty lively dungeon alongside summoned animals that have their own various abilities and really feel like they're part of the team:

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    14. sij

    Who needs feature-test macros anyway

    Poništi
  16. proslijedio/la je Tweet
    14. sij

    I bought some 01005 resistors in my last LCSC order, just to marvel at how small they are. Pictured with a ball-point pen, and some raw sugar. Pretty sure I won't be designing any PCBs using 01005's any time soon :P

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    13. sij

    Getting ready for Summer of Haskell 2020! Call for ideas is out:

    Poništi
  18. proslijedio/la je Tweet
    10. sij

    Unusual Dallas Semiconductor wafer is entirely test circuitry, with 20 test blocks repeated over the wafer. Everything from transistors of different sizes to flash memory cells. Not shown: resistors of many types, anti-fuses, capacitors, isolation, and other chip structures.

    Microscope photo of silicon die showing complex test circuitry.
    A silicon wafer.
    Test circuitry on the die with transistors of various sizes. Labeled "30V PCH". Multiple pads for source, gate, and drain.
    Test circuitry labeled "Flash Memory". One test cell with "1.5 um rules", one with "1.2 um rules".
    Poništi
  19. proslijedio/la je Tweet

    When the harsh sun is directly overhead in Hawaii, everything looks like a shitty video game render.

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    29. pro 2019.

    don’t forget about lemon piglet for the new year!

    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:

    ·