|
Martin Nyx Brain
@
ciphernyx
erf
|
|
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
@tef_ebooks
|
12 h |
|
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
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
Yann LeCun
@ylecun
|
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
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
Antonio Nikishaev
@lelff
|
1. velj |
|
New binutils:
objdump --visualize-jumps pic.twitter.com/IOgeNltvBw
|
||
|
|
||
|
Martin Nyx Brain
@ciphernyx
|
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. twitter.com/zeeshanlakhani…
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
The Register
@TheRegister
|
5. velj |
|
Is Chrome really secretly stalking you across Google sites using per-install ID numbers? We reveal the truth reg.cx/2Y0g
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
Adrian Rueegsegger
@Kensan42
|
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.” twitter.com/AdaCoreCompany…
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
George A Constantinides
@gconstantinides
|
4. velj |
|
Another really interesting contribution from @nhigham and Mary to understanding typical rather than worst-case floating-point behaviour, and exploiting this for accurate accurate matrix multiplication. twitter.com/nhigham/status…
|
||
|
|
||
|
Martin Nyx Brain
@ciphernyx
|
4. velj |
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
Rob Napier
@cocoaphony
|
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.
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
b0bb
@0xb0bb
|
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). github.com/0xb0bb/karkinos pic.twitter.com/T76K3lkQ3r
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
Privacy International
@privacyint
|
3. velj |
|
Watching TV? Its watching you too.😳
pvcy.org/7hHBQ
|
||
|
|
||
|
Martin Nyx Brain
@ciphernyx
|
3. velj |
|
It's what you get on your skin from repeated friction. Also means someone who doesn't care.
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
Katie Moussouris
@k8em0
|
3. velj |
|
Creative ways to #defeatFacialRecognition
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? twitter.com/alexaraemua/st…
|
||
|
|
||
|
Martin Nyx Brain
@ciphernyx
|
2. velj |
|
The "99 'smart' phones in a bucket is a traffic jam" reminded me of this...
hacked.wtf/2019/02/25/hac…
|
||
|
|
||
|
Martin Nyx Brain
@ciphernyx
|
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" twitter.com/johnregehr/sta…
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
Brian Skinner
@gravity_levity
|
2. velj |
|
Read the horror that is Scott Aaronson's account of how quantum computing is discussed at Davos: scottaaronson.com/blog/#jan23
Here is a quote from a senior vice president at IBM: pic.twitter.com/WGg1MLxmxp
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
Steve Crowley
@StevenJCrowley
|
2. velj |
|
Performance artist generates virtual traffic jams in Google Maps by pulling a wagon full of smartphones
simonweckert.com/googlemapshack… pic.twitter.com/m3bmQXvswI
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
Chris Kubecka 🇵🇷 Speaker @Disobey_fi ✈️
@SecEvangelism
|
2. velj |
|
The US military doesn't have the right to repair certain critical technology
extremetech.com/extreme/302389…
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
halvarflake
@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.
|
||
|
|
||
| Martin Nyx Brain proslijedio/la je tweet | ||
|
Adrianne Jeffries
@adrjeffries
|
28. sij |
|
Amazon appears to be tracking every tap on Kindle. I just got my data back and there are 90K rows of this pic.twitter.com/wVCSXCTVwv
|
||
|
|
||