Top New Best Ask Show Jobs

vzaliva

1,787 karma · joined June 27, 2015

Technologist. Researcher in programming languages and formal verification. https://zaliva.org/

submissions comments

Fixing a Buffer Overflow in Unix v4 Like It's 1973

sigma-star.at·164 pts·vzaliva·

20 Days in Mariupol: The Trailer

youtube.com·2 pts·vzaliva·

Personalized Books

medium.com·1 pts·vzaliva·

New electronic paper displays brilliant colors

eurekalert.org·2 pts·vzaliva·

Discover and Prevent Linux Kernel Zero-Day Exploit Using Formal Verification

digamma.ai·3 pts·vzaliva·

A Quick Guide to Your Personal Email Address (2020 Edition)

medium.com·2 pts·vzaliva·

The Math of Social Distancing

medium.com·6 pts·vzaliva·

United Airlines Android app wants to spy on you

twitter.com·2 pts·vzaliva·

Apple Watch is encoding each frame as PNG

lionet.livejournal.com·60 pts·vzaliva·