Martin Nyx Brain

@ciphernyx

Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto, security, data-path design, academic, adjective, adjective, noun.

erf
Vrijeme pridruživanja: rujan 2017.

Tweetovi

Blokirali ste korisnika/cu @ciphernyx

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

  1. proslijedio/la je Tweet

    Creative ways to This one’s more inclusive 🌈 & festive than the old ICP makeup trick & has the bonus of not triggering anyone’s Coulrophobia (don’t google it if you don’t like clowns). Anybody have more beautiful ones like this to share?

    Poništi
  2. prije 15 sati

    The "99 'smart' phones in a bucket is a traffic jam" reminded me of this...

    Poništi
  3. prije 15 sati

    "We characterize fairness limitations using concepts from requirements engineering and from social sciences. We show that the focus on input and output misses harms that arise from systems interacting with the world; that the focus on bias and discrimination omits broader harms"

    Poništi
  4. proslijedio/la je Tweet
    prije 21 sat

    Read the horror that is Scott Aaronson's account of how quantum computing is discussed at Davos: Here is a quote from a senior vice president at IBM:

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

    Performance artist generates virtual traffic jams in Google Maps by pulling a wagon full of smartphones

    Poništi
  6. proslijedio/la je Tweet
    Poništi
  7. proslijedio/la je Tweet
    1. velj

    Dear AV-hacking followers: Does anyone have a closed-source 64-bit linux command line AV scanner? I am teaching at a local uni and need a fun exercise.

    Poništi
  8. proslijedio/la je Tweet

    Amazon appears to be tracking every tap on Kindle. I just got my data back and there are 90K rows of this

    spreadsheet showing tons of time stamps and 'NextPageWithTap' 

	2018-01-31T23:39:05.000Z	2018-01-31T23:39:03.000Z	NextPageWithTap		Book:Reading:MainContent	2018-01-31T23:21:03.000Z			
	2018-01-31T23:39:05.000Z	2018-01-31T23:39:03.000Z			Book:Reading:MainContent	2018-01-31T23:21:03.000Z	Text		
	2018-01-31T23:39:05.000Z	2018-01-31T23:39:03.000Z			Book:Reading:MainContent	2018-01-31T23:21:03.000Z	PHL
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    28. sij

    So you’re scrolling through Twitter. That means you’ve got a minute! Good. Why not use that minute to stop scrolling and take a few steps to get a little more ? All of the things in this thread will literally take you one minute. We timed it! [THREAD]

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

    The working culture of scientific research can be toxic. This perspective explores what the problems are, and what some of the solutions may be.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    29. sij

    Me and a student want to learn how to use LLVM for "traditional" program analysis (e.g., known bits over coreutils). Is there a good starter tutorial out there anyone would recommend?

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

    EuroLLVM 2020 program is online!

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

    Document unto others as you would have others document unto you.

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

    ANNOUNCEMENT! Call for Papers for is open! Submit you by 15 Feb 2020. Check all the important dates here 👉🏼

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

    you are still in time for submitting to ! Abstract deadline 15th Feb, you can check all the important dates here

    Poništi
  16. 29. sij

    Hey is it too late to submit papers on or ?

    Poništi
  17. proslijedio/la je Tweet
    Odgovor korisniku/ci

    I randomly found and followed “electronicsrepairschool” on Twitch, and the level of microscopic craftsmanship employed at one random British phone repair shop completely reset my understanding of what’s possible

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

    lifehack (does not apply in the US): if you need BGA rework done and you're not skilled enough for it--say, really fine pitch component, damaged pads, etc--find a place nearby that repairs smartphones *unauthorized* (this is important) and ask them to do the work. /

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

    If your polar expedition was run by your university's administration:

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

    New cache attack against Intel CPUs:

    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:

    ·