pkkim

Hey, we'd love to talk to them. We've heard about them a bit but not from their customers so far. If you have an intro we'd appreciate it, otherwise we'll reach out.

Verilog is not the best language, totally agreed on that. Right now we're not in a place to change that, but maybe one day!

Yeah, you make some good points, orchestration has been historically painful -- we've personally seen the headaches that come with scheduling on slurm and lsf; I'd guess some of the most thorough bikeshedding in history has been around tinkering with slurm's multifactor scheduling logic. We're trying to not to re-invent the wheel with orchestration, and we're in the midst of building interfaces to hook into slurm, instead of replacing it entirely :)

As for buck2, we decided to go with it for a few reasons:

More forgiving with gradual adoption, from our experience -- running non-sandboxed actions in bazel is a pain, buck2 has been much easier to plug into existing flows.

Buck2 installation is easier, and by extension, is simpler to embed into our test runner.

Respectfully, bazel's implementation is a monolith beyond comprehension -- if we want to modify buck2, and package our own fork, we have confidence that we could do that.

Those will certainly be a big part of it. But we’ll also be adding a lot more dev friendly tooling around it as well.

Yeah, our team has experience in both hardware and software. DV engineers have a really hard time and we're trying to make it better.

Hey, thanks!

CI is one component of our platform. Most other CI tools are pretty agnostic about how tests are structured, though. We also integrate a way to structure your tests into groups so you can control when each test is called. For example, if one test out of 500 fails, it's super easy to rerun that one test with verbose logging and wave dumping enabled. We then also track test pass/fails over time, have tools to leave comments for coworkers on waveforms and logs in the browser like in Google Docs, etc.

Out of curiosity, what do you mean by "Smaller companies get help from larger companies in development and verification"?

Hey, good question, thanks.

We speed up developers in two ways: For debugging individual tests, we have a web based log viewer and web based waveform viewer, so you can share test results or look at waves via a URL, instead of opening VNC. More holistically, we're building a chip focused workflow that will make tests first class -- infrastructure to track tests, and by extension measure design health, will be in one place, instead of implemented with a bunch of handrolled, bespoke tooling.

Thanks for the observations. It's true that every company that needs this eventually figures something out.

The difference is (a) our customers don't want to be in the devops business, and for startups especially it's a severe barrier to entry that we can make disappear, and (b) we are going to keep investing in our products (especially collaboration tools and integrations with waveforms, logs, etc) long past the point where a chip company would decide their internal tools are "good enough" (hint: they're generally not).

UVM support is one of the next items on our priority list.

UVM support is a high priority for us, and our current infrastructure should make it basically drop-in once it's ready. Drop me an email if you are interested (email in bio), we will be sure to let you know when it's ready! :)

Just to clarify though, we are targeting both ASICs and FPGAs.

Thank you! Yes, we're very excited for the new chips that will be developed in the coming years, and we'd love to help them be born.

Thank you! In fact we'll be helping our first customer with FPGA development. I don't know if we put a lot of thought into FPGAs vs semiconductors in terms of marketing but you raise good points, we'll discuss it.

I guess it's clearly within the capabilities of modern LLMs, but it's still cool to see that you can just specify linter rules with natural language now.

At least 25% of that is a single Jira project consisting of formulaic tickets to capture routine changes in production, and a large portion of that is created by automated systems. There may be other such projects too.

Source: former Cloudflare employee

With bag (multiset) semantics, {1, 2, 2} is different from {1, 2}. With set semantics, they're the same.

Fwiw I think SF Bay Area Grindr is mostly torsos as well.

Once while driving through the Navajo reservation, which is enormous and sparsely populated, my friend and I picked up two hitchhikers. I was shocked to see that their houses where we dropped them off seemed to have no power connections or any other visible utility infrastructure, in addition to being crudely built and small. The other houses on their road were similar. It's hard to believe that an entire region of the country is this poor.

A couple things:

* Unions could definitely use better software, but I don't think software can replace their core functionality.

* Many companies whose main product is a seemingly simple mobile app require surprisingly large staffs.

* Are unions actually bloated? The Teamsters for example had 616 regular staff and spending of $209 million in 2019, over a membership of 1.3 million workers. That seems reasonable to me. https://www.unionfacts.com/union/Teamsters (anti-union but nonetheless useful site)

* Unions do lots of things besides electing representatives, voting on issues, and coordinating actions, all of which are big jobs in themselves. This may include contract negotiation, job training, research, organizing, and other things I can't think of right now.

* To focus specifically on organizing for a moment, a union is a coordination problem which takes a lot of work to overcome. Quoting myself from another comment (https://news.ycombinator.com/item?id=24079465): > The labor organizer's job is to convince the worker, who likely and often rightly fears for her job if she actively and publicly supports the union, that it's still the right thing to do. Not only convince intellectually, but psychologically prepare the worker to stick with the union effort in the face of a concerted effort from the employer to defeat it. To do that the organizer needs to ask the right questions, listen carefully, build trust, and finally push, and potentially do this repeatedly with the same person. It is psychologically demanding and not everyone can do it; I tried and I couldn't. A chatbot cannot convince a factory worker with kids to feed that he needs to stick up for his coworkers who in turn will stick up for him.

Amazon employs hundreds of thousands of people. I'm sure that a substantial bureaucracy would be needed in order to represent them effectively.

Or are you saying that the Teamsters bureaucracy in particular is bloated relative to what their organization needs? I'm not familiar with them.

Also the site of Chicago's first Chinatown. https://chicagodetours.com/forgotten-chinatown-chicago/

When I was around 12 I learned Dvorak and lost the ability to touch type in Qwerty, then my parents forced me to go back to Qwerty because I kept leaving the family computers in Dvorak. Because of that I can type in both, though my Dvorak is still faster.

Oh, damn. Well, I'm glad I didn't figure that out. Doing it the "right" way was fun!

Well there goes an hour.

"Privileged" and "marginalized" are not moral judgments.

I agree with much of what you've said, especially the part about the shared problems that poor minority and poor White people face. Based on what you've said I wouldn't say you were very "privileged."

But responding to one of your points, and I don't think this is taught very well in schools, the specific discrimination that Black people faced went on for a long time after the end of slavery. For example, here in what is now considered progressive Oakland, CA, Black people were kept out of many jobs through the 1940s and 50s, including as streetcar drivers. Also, they were excluded from government subsidized mortgages through the 60s, which impeded their ability to build wealth and live in good conditions. These examples of explicit racial discrimination happened well within living memory.

Yes, Jews are native to the Middle East, specifically the area of Israel/Palestine. But why should that make Palestinians who lost their land feel any better? It's irrelevant.

Parent probably would not have been flagged if they had documented their sweeping claim with evidence, but they didn't. It added little to the discussion.

As the article briefly touches on, these aren't limited to cooking, but even extend to eating. One weird experience I've had recently is having to explain to friends how to eat Korean food: you pick out individual bites of side dishes from shared containers one at a time, and alternate them with bites of rice. Usually their instinct is to put a bunch of side dishes in their bowls at the beginning of the meal, which is the equivalent of putting the verb before the subject.

My background: citizen of USA, son of two immigrants from Korea. Hopefully someone who actually lives in South Korea or Japan can step in here too.

Subjectively, it seems to me like Japan and South Korea are somewhat culturally similar, but they are not the same, and the differences are important to people there. Furthermore, 20th century history has created a lot of hatred on both sides. These wounds are starting to heal with time and _I think_ the younger generation in Korea tends to care less about the issue. Many people in both countries go to the other country for tourism, and each country's cultural exports are popular in the other country.

For an analogy (though not a close analogy, because the political situation is different): Israel and Syria are pretty similar though, right? Both speak Semitic languages, they have similar food, similar weather, similar religions, and often you can't tell them apart just by looking at them. So they should be friends. :)

Bret Devereaux of acoup.blog defends the idea of civilian control of the military here, with better references and more eloquently than I can. https://threadreaderapp.com/thread/1336392888629010437.html

In particular, he argues that the way you avoid things like World War II is in part precisely by making sure the military does not make decisions of war and peace.

Why don't they? What do they use instead?