- How does one estimate the number of ACUs required to finish a task?
- Can you share the coding questions it failed on?
- Here's a bunch of interesting deep dives: https://www.youtube.com/playlist?list=PLL7QpTxsA4se-mAKKoVOs...
- xAI is a separate entity, and not a X/Twitter subsidiary.
- 1. They mention that the largest tables ran into several TBs, and they would have soon topped the max IOPS supported by RDS. RDS for PostgreSQL peaks at 256,000 IOPS for a 64 TB volume. For a multi-AZ setup, this costs ~$70K/mo.
2. Let's assume the final outcome was a 5-way shard with each shard supporting ~50,000 IOPS and ~12 TB data. For a multi-AZ setup, this costs ~$100K/mo.
3. It took 9 months to shard their first table. Since it required application changes as well, let's assume this was 9mo * 20 work days/mo * (3 DB engineers + 2 app engineers) = 900 work days. Even at $100K avg. annual pay for an engineer, this is ~$400K.
4. A PostgreSQL-compatible NewSQL like YugabyteDB should cost ~$15K/mo to match top-of-the-line RDS performance. So Figma spent ~25x ($400K/$15K) to implement horizontal sharding in-house, and is still on RDS which costs ~6x ($100K/$15K)
- 1 point
- 1 point
- 2 points
- me too :)
- [Shameless Plug]: On Cloud Robotics: https://medium.com/open-factory/cloud-robotics-a-10-000-foot...
- Before taking any of the steps you will have to finalise the approach i.e whether you are looking for a longer term solution or a shorter term solution.
Most of the startups start with short term plan i.e hire folks as consultants with US registered entity. And then as per the long term roadmap, hire a site lead who can start the process of registering india entity and setup all the payroll and other stuff. After a certain number of people things like PF and all become necessary. There are a few consultancy firms who handle all of these things.
Consultant approach works well for initial hires. Also, the india entity registration process takes atleast 3 months, so in the starting most of the firms start with consultants.
- 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, AWS, Google Cloud
Résumé/CV: Available on request (LinkedIn: https://www.linkedin.com/in/bkhatri/)
Email: khatribox+HN@gmail.com
Blog: https://medium.com/open-factory
recruiting agencies and headhunters: be specific about the opportunities in the email itself rather than expecting one to hop on a call straightaway.
- 1 point
- 1 point
- 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, AWS, Google Cloud
Résumé/CV: Available on request (LinkedIn: https://www.linkedin.com/in/bkhatri/)
Email: khatribox+HN@gmail.com
Blog: https://medium.com/open-factory
recruiting agencies and headhunters: be specific about the opportunities in the email itself rather than expecting one to hop on a call straightaway.
- 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, AWS, Google Cloud
Résumé/CV: Available on request (LinkedIn: https://www.linkedin.com/in/bkhatri/)
Email: khatribox+HN@gmail.com
Blog: https://medium.com/open-factory
recruiting agencies and headhunters: be specific about the opportunities in the email itself rather than expecting one to hop on a call straightaway.
- Here's a related article: https://medium.com/open-factory/state-of-the-m-art-big-data-...
An excerpt from the article:
Furthermore, the big data tools can be combined using a growing number of data processing architectures — Lambda and Kappa, among others.
- Blog: https://medium.com/open-factory
Why one should read it? - The articles try crystallizing the market structure of various software verticals - Blockchain, NoSQL, Big Data, Cloud Robotics, etc.
Feedback (both on syntactic and semantic matters :)) is welcome. You can reach me on my email: khatribox+HN (at) (Google's mailing service)[1]
[1] gmail.com
- > There are effectively two separate languages. Your type-level language and your term-level language.
Computational Type Theory (CTT) blends the distinction b/w terms and types, and in fact C-H correspondence bears no consequence on CTT research.
From a previous comment [1]:
> I worry in dependently-typed languages that without preserving this distinction between types that have runtime-significance (Church-style) and types that do not (Curry-style), you lack an effective cast escape hatch.
I think we've basically two categories of (turing-complete) programming languages:
1. Mainstream languages that use type systems for multiple purposes: operational semantics, compiler optimization, lightweight formal verification, etc, and provide casting escape hatches.
2. Languages where the type system's primary (and only?) purpose is formal verification, and there are no escape hatches.
It's just that 1 and 2 are really meant for different domains. 2 is mostly used for high-assurance domains like aerospace, automotive, healthcare, blockchain smart contracts where formal verification is high priority and escape hatches aren't sought, hence not built-in.
- 2 points
- I put a related question on Computer Science Stack Exchange a week ago. Linking it here in the hopes that HN users roll-calling here will shed some light.
Ref: https://cs.stackexchange.com/questions/122066/does-the-under...
- I put a related question on Computer Science Stack Exchange a week ago. Linking it here in the hopes that HN users roll-calling here will shed some light.
Ref: https://cs.stackexchange.com/questions/122066/does-the-under...
- I put a related question on Computer Science Stack Exchange a week ago. Linking it here in the hopes that HN users roll-calling here will shed some light.
Ref: https://cs.stackexchange.com/questions/122066/does-the-under...
- Developer Relations & Solutions Engineering (aka Solutions Consulting, aka Sales Engineering) could be worth a look.
- recruiting agencies and headhunters: be specific about the opportunities in the email itself rather than expecting one to hop on a call straightaway.
- 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, AWS, Google Cloud
Résumé/CV: Available on request (LinkedIn: https://www.linkedin.com/in/bkhatri/)
Email: khatribox+HN@gmail.com
- previously on HN: https://www.hackerneue.com/item?id=20991730
- So if industrial static analysis tools aren't sound, which means they produce false negatives (ie. they can pass programs with logical errors they're meant to detect), how do you use them to assure code quality?
[1] https://windsurf.com/blog/our-model-strategy [2] https://techcrunch.com/2025/04/22/why-openai-wanted-to-buy-c...