Twitter | Pretraživanje | |
Martin Nyx Brain
Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto, security, data-path design, academic, adjective, adjective, noun.
1.854
Tweetovi
176
Pratim
277
Osobe koje vas prate
Tweetovi
Martin Nyx Brain proslijedio/la je tweet
tef's roast beef account 12 h
Odgovor korisniku/ci @tef_ebooks
there's no secret to becoming good at programming, you write a lot of code, you read even more code, and hopefully you examine the consequences of your actions, and revise your approaches it's a grind
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
Yann LeCun 20 h
We often hear that AI systems must provide explanations and establish causal relationships, particularly for life-critical applications. Yes, that can be useful. Or at least reassuring.... 1/n
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
Antonio Nikishaev 1. velj
New binutils: objdump --visualize-jumps
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain 5. velj
This is rather fun, highlighting cultural differences between static analysis and type theory and how this explains some of the areas where the correspondence does not quite work.
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
The Register 5. velj
Is Chrome really secretly stalking you across Google sites using per-install ID numbers? We reveal the truth
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
Adrian Rueegsegger 5. velj
“The GNAT-LLVM project provides an opportunity to port Ada to new platforms, one of which is WebAssembly. We conducted an experiment to evaluate the porting of Ada and the development of bindings to use Web API provided by the browser directly from Ada applications.”
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
George A Constantinides 4. velj
Another really interesting contribution from and Mary to understanding typical rather than worst-case floating-point behaviour, and exploiting this for accurate accurate matrix multiplication.
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain 4. velj
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
Rob Napier 3. velj
Periodic Reminder: When debugging, you must first accept that something you believe is true is not true. If everything you believed about this system were true, it would work. It doesn't, so you're wrong about something. This is a surprisingly common stumbling block for devs.
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
b0bb 1. velj
Here is my massive lib db (for ctfs/wargames/blind pwns etc.). It consists of thousands of libs across over a dozen Linux distributions and architectures spanning the last 20 years. It indexes symbols & gadgets (including one gadgets AKA magic gadgets).
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
Privacy International 3. velj
Watching TV? Its watching you too.😳
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain 3. velj
Odgovor korisniku/ci @zenithedtom
It's what you get on your skin from repeated friction. Also means someone who doesn't care.
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
Katie Moussouris 3. velj
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?
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain 2. velj
The "99 'smart' phones in a bucket is a traffic jam" reminded me of this...
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain 2. velj
"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"
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
Brian Skinner 2. velj
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:
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
Steve Crowley 2. velj
Performance artist generates virtual traffic jams in Google Maps by pulling a wagon full of smartphones
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
Chris Kubecka 🇵🇷 Speaker @Disobey_fi ✈️ 2. velj
The US military doesn't have the right to repair certain critical technology
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
halvarflake 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.
Reply Retweet Označi sa "sviđa mi se"
Martin Nyx Brain proslijedio/la je tweet
Adrianne Jeffries 28. sij
Amazon appears to be tracking every tap on Kindle. I just got my data back and there are 90K rows of this
Reply Retweet Označi sa "sviđa mi se"