Hi, I'm Sergey
You may want to:
- Read my blog at bronevichok.ru/en/
- Subscribe to my Telegram channel t.me/sqaunderhood
- Follow me on Twitter @estet
- Check the repos I'm working on right now: ljepsen and elle-cli
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseYou may want to:
A gently curated list of companies using verification formal methods in industry
sergeyb@pony:~/sources/MRG/memcached$ make libmemcached
...
checking for suffix of object files... o
checking whether we are using the GNU C compil…