thekhatribharat

8 ms·

1. 31.▲
   by thekhatribharat 7y ago

   Sure, things like enforcing style guides, etc. can be seen as lightweight formal verification.
2. 32.▲
   by thekhatribharat 7y ago

   I think you mean industrial static analysis tools aren't complete . Sound means no FNs, Complete means no FPs.
3. 33.▲
   by thekhatribharat 7y ago

   I believe type sytems/type theory is likely going to be the most popular method for formal verification of programs (aka static analysis ). And of course, there's a limit to what you can prove about programs (ref: Rice&#x27
4. 34.▲
   by thekhatribharat 7y ago

   I think you mean "false-positives". Most static analysis tools are "conservative": will throw more warnings than they can prove. But assuming they're "sound" (and don't "give up" because of
5. 35.▲
   Arithmetical Hierarchy(en.wikipedia.org)

   2 points by thekhatribharat 7y ago|0 comments
6. 36.▲
   The Type Theory Podcast(typetheorypodcast.com)

   3 points by thekhatribharat 7y ago|0 comments
7. 37.▲
   Ask HN: What's a typical day at work for Solution Architects?

   1 points by thekhatribharat 7y ago|0 comments
8. 38.▲
   Ask HN: Huh? Is That a Universal Word for Confusion?

   3 points by thekhatribharat 7y ago|0 comments
9. 39.▲
   by thekhatribharat 7y ago

   Location: Bangalore, India Remote: Yes Willing to relocate: Yes Technologies: Go, Python, Java, JavaScript, Kubernetes, Docker, OpenShift, ReactJS, SQL, MongoDB, Cassandra, Kafka, Elasticsearch, RabbitMQ, Redis, InfluxDB, Git, SaltStack, AW
10. 40.▲
    by thekhatribharat 7y ago

    A few days back, HN saw https://news.ycombinator.com/item?id=22193451 which told us not everyone uses an internal monologue for their thinking process. Now this article hints evolution favored the internal monologue desig
11. 41.▲
    by thekhatribharat 7y ago

    Location: Bangalore, India Remote: Yes Willing to relocate: Yes Technologies: Go, Python, Java, JavaScript, Kubernetes, Docker, OpenShift, ReactJS, SQL, MongoDB, Cassandra, Kafka, Elasticsearch, RabbitMQ, Redis, InfluxDB, Git, SaltStack, AW
12. 42.▲
    by thekhatribharat 7y ago

    Location: Bangalore, India Remote: Yes Willing to relocate: Yes Technologies: Go, Python, Java, JavaScript, Kubernetes, Docker, OpenShift, ReactJS, SQL, MongoDB, Cassandra, Kafka, Elasticsearch, RabbitMQ, Redis, InfluxDB, Git, SaltStack, AW
13. 43.▲
    by thekhatribharat 7y ago

    Oyo is en route to failure, and it will be another setback in India’s startup ecosystem after the Housing.com fiasco. The initial idea of guaranteeing basic amenities (clean bed/bath linen, WiFi, breakfast) through strict quality contr
14. 44.▲
    by thekhatribharat 7y ago

    I'm from Bhopal. Although I wasn't born when this happened, but a sibling and extended family have frightening stories to tell.
15. 45.▲
    by thekhatribharat 7y ago

    mind sharing what pushed you to apply?
16. 46.▲
    by thekhatribharat 7y ago

    This kind of reminds me of that Avengers: Endgame scene where Tony Stark (cf. Kevin Buzzard) was working with F.R.I.D.A.Y. (cf. Lean Theorem Prover) to interactively look for time travel solutions. :D
17. 47.▲
    by thekhatribharat 7y ago

    [Shameless Plug] Summary of the Cloud Robotics (& RaaS) market: https://medium.com/open-factory/cloud-robotics-a-10-000-foot...
18. 48.▲
    Masayoshi Son on David Rubenstein Show (2017)(youtube.com)

    1 points by thekhatribharat 7y ago|0 comments
19. 49.▲
    by thekhatribharat 7y ago

    Location: Bangalore, India Remote: Yes Willing to relocate: Yes Technologies: Go, Python, Java, JavaScript, Kubernetes, Docker, OpenShift, ReactJS, SQL, MongoDB, Cassandra, Kafka, Elasticsearch, RabbitMQ, Redis, InfluxDB, Git, SaltStack, AW
20. 50.▲
    by thekhatribharat 7y ago

    [Shameless Plug] A summary of the evergrowing NoSQL and NewSQL market: https://medium.com/open-factory/nosql-newsql-a-smorgasboard-...
21. 51.▲
    The Shadow Org(medium.com)

    1 points by thekhatribharat 7y ago|0 comments
22. 52.▲
    by thekhatribharat 7y ago

    What about when you hire professionals? $200/sq ft?
23. 53.▲
    by thekhatribharat 7y ago

    How does the construction industry work in the US? Do many people DIY? Do many people get hands-on with building homes while still hiring experts where needed? Is it common for city people to own farms/land nearby? It seems it isn’t re
24. 54.▲
    Google for India 2019 Highlights(techcrunch.com)

    2 points by thekhatribharat 7y ago|0 comments
25. 55.▲
    AWS Ground Station-as-a-Service for satellite communications(aws.amazon.com)

    2 points by thekhatribharat 7y ago|0 comments
26. 56.▲
    Facebook Deepfake Detection Challenge(deepfakedetectionchallenge.ai)

    2 points by thekhatribharat 7y ago|1 comments
27. 57.▲
    by thekhatribharat 7y ago

    Location: Bangalore, India Remote: Yes Willing to relocate: Yes Technologies: Go, Python, Java, JavaScript, Kubernetes, Docker, OpenShift, ReactJS, SQL, MongoDB, Cassandra, Kafka, Elasticsearch, RabbitMQ, Redis, InfluxDB, Git, SaltStack, AW
28. 58.▲
    Technology Adoption Lifecycle and Hype Cycle and PST Model (2016)(weblog.tetradian.com)

    1 points by thekhatribharat 7y ago|0 comments
29. 59.▲
    by thekhatribharat 7y ago

    [ Shameless Plug ] https://medium.com/open-factory/nosql-newsql-a-smorgasboard-... The article throws some light on consistency and isolation levels in modern distributed relational databases (aka NewSQL )
30. 60.▲
    by thekhatribharat 7y ago

    EDIT: Sorry, might not have worded properly but I am looking for online IDEs (aka browser-based IDEs), e.g. Eclipse Che, Repl.it, Cloud9, etc.