NieDżejkob

@NieDzejkob

Loves Rust, but somehow also assembly and nothing in between. Fascinated by compilers and proof checkers. Apparently into infosec.

Null Island
Vrijeme pridruživanja: svibanj 2017.

Tweetovi

Blokirali ste korisnika/cu @NieDzejkob

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

  1. prije 3 sata

    Assignment for my high school programming class: make up two problem statements involving files, and solve them. Anyway, I wonder whether I could write a compiler in four evenings.

    Poništi
  2. prije 8 sati

    Ahh, yes, g as in gif

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

    It's the year 2020, and we're still finding buffer overflows in programs written in C. Fortunately, those programs are only esoteric, rarely installed programs like... <checks notes> sudo.

    Poništi
  4. proslijedio/la je Tweet
    2. velj

    girlfriend: - long response time - needy - could leave u for someone else 144hz monitor: - 1ms response time - will never leave u - will never cheat on u - height adjustable

    Prikaži ovu nit
    Poništi
  5. 1. velj

    So apparently there's "geometric algebra" and "algebraic geometry" and they deal with entirely different things. Apart from the fact they both deal with geometry and algebra, obviously. Someone once said math doesn't have cache invalidation so they catch up by naming stuff badly

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

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

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

    NP Hard is when some task you did for someone was labor intensive to which you reply to their Thank You with, No Problem as if it was a trivial thing so do. NP Complete is when you feel like a complete fool and reply to an awkward Thank You in a weird situation with No Problem.

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

    This page claims I helped develop Rust before I knew it exists and it freaks me out

    Poništi
  9. 29. sij

    My HN karma has plateau'd at 256, and I'm amused by that like some primitive numerologist.

    Poništi
  10. 27. sij
    Poništi
  11. proslijedio/la je Tweet
    25. sij

    55. Any sufficiently successful product launch is indistinguishable from a DDoS; any sufficiently advanced user indistinguishable from an attacker. 56. Debugging any sufficiently complex open source product is indistinguishable from reverse engineering a black box.

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

    Amusing bug tracker status

    Poništi
  13. proslijedio/la je Tweet
    27. sij
    Odgovor korisniku/ci

    Yeah, check out the Rust Language Server

    Poništi
  14. proslijedio/la je Tweet
    27. sij
    Odgovor korisniku/ci
    Poništi
  15. proslijedio/la je Tweet
    27. sij

    My mom learned how to play the Pokemon TCG this morning and uh

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

    So you know those bug debugging stories that are like, the programmer equivalent of detective stories? Here's one so great it's the reason I'm tweeting at 3 AM:

    Poništi
  18. 25. sij

    So, after some research it seems that the interface transfers a raw MFM bitstream, and I don't have the capability to accurately toggle a switch hundreds of thousands of times a second. I could build some digital circuit that would help with this, but... I kinda already have one.

    Prikaži ovu nit
    Poništi
  19. 25. sij

    A *totally separate* issue (no, really, totally separate) is that I don't seem to own any computer that has both a floppy drive and a network card.

    Prikaži ovu nit
    Poništi
  20. 25. sij

    It's perfectly normal for a train of thought to stop by at "I wonder whether I can bitbang the pins on a floppy drive with some DIP switches", right? I wonder if ever tried doing that. Seems like a thing they would do.

    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:

    ·