Viewing profile — schedutron

Can the hardware be used for better gaming too?

You must be getting this a lot but since no one has asked here - how does Hera compare against otter.ai?

And for property-based testing there's Hypothesis too: https://hypothesis.readthedocs.io/en/latest/

The outline map of India is simply wrong.

That was interesting - never seen Z3 applied for verification of networking and cryptographic algorithms. My team similarly used Z3 to reverse-generate data from SQL queries so tha…

It's frustrating that I'm not able to find any freemium tools to transfer WhatsApp data from Android to iOS.

Neat design! I made related a tool that crawls a given URL and generates a 3D sitemap (essentially a directed graph): https://github.com/schedutron/visualnet

Sure, but I presume Google is relatively more responsible in its practices when working with government authorities.

Thanks for that suggestion; I'd almost forgot about that Word file! When I made this project I wasn't familiar with Git, the importance of having neat README's and heck even lintin…

Amazing work; I was wondering whether SQLancer can be integrated with systems like Cosette[1] and XData[2] in a useful way? These systems are different as in they test the "correct…

I really need saviors like you! Learning a new programming language / framework is often too redundant initially.

Username checks out!

What's also cool is we have two posts about this and both are trending!

I visited your website, and your work seems to be pretty cool! Are you also open to devs in Asian timezones?

The landing page looks sleek, but what can it do that Trello cannot?