robot
robot on Hacker News
"Communicating Sequential Processes" by Tony Hoare:
https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdfIt had intrigued me due to its promise of designing lock-free concurrent systems, that can (I think) also be proven to be deadlock-free.
You do this by building a simple concurrent block that is proven to work correctly, and then build bigger ones using the smaller, proven blocks, to create more complex systems.
The way it is designed is processes don't share data and don't have locks. They use synchronized IPC for passing and modifying data.
It seemed to be a foundational piece for designing reliable systems that incorporate concurrency in them.
I don't get this. I installed the tesla app and was approved to book a drive in 1 week (last week). I've been in the Waymo waiting list for at least 6 months, and still haven't gotten approval and can still only book in SF. They do move slow.
best course: don't. they have a shitty structure so don't bother. find users who are also buyers.
your comment is not aligned with how science is done.
For discoveries you certainly work with limited approaches and certainly don't know if there is a "clear trajectory".
I don't see this to be a problem worth solving.
Some problems are problems but for a startup to succeed it needs to be a very important problem.
Having a unique insight is also not enough. It needs to be a highly leverageable insight or advantage. One that you can use in this startup; as you grow your leverage it will help you get users and revenue.
Neither seem true here. When that happens, the journey is a grind, you try to push hard but people don't seem interested.
how do I get motivated? well I have to believe there is a 'leverageable' insight or angle that will grow when I make progress ;) belief that it's a big problem people care about and that I am growing unfair advantage over time solving it.
these examples are all exceptions. how much do the exceptions contribute to the discussion?
there is so much skepticism on quantum computing that instead of inflated marketing words one should always start by what the biggest problems are, how they are not still solved yet, and then introduce what the new improvement is.
Otherwise there is no knowing if the accomplishment is really significant or not.
well I wouldn't be so sure. if you cook with it or add it to dishes (not drink it on its own, who would do that) it certainly has beneficiary effects and it is less of a cause for weight gain than all carbs.
question is DOES OLIVE OIL HAVE THIS COMPOUND? HOW MUCH?
very cool, also the coding style looks good.
Yes, he was first like, we're totally doing this on AMD! A few weeks later he's like wtf@#! this is the buggiest thing ever
"it’s not that hard for a customer to get their software working on a competing hardware platform and cut out a bunch of Nvidia’s enormous markup"
Agree and yet none of the contenders were able to work out their software play (Intel, AMD, chip startups) for more than a year which shows how corporates move slow.
Google is not selling their TPUs AFAIK and their tooling is completely focused on internal use.
So really interesting to see no one else is properly addressing the need even though they have chips (and the chip itself is much simpler than a cpu, a systolic matrix multiplier array).
It all depends on whether fortune 500 can improve their business processes using AI. It seems like it is able to do so, which translates to vast numbers of AI chips being sold in the next 1-5 years.
Don't waste time fixing superiors or whoever you work with, you are not in this world to correct those people, try and join another functional organization.
One option is to bring up those todo items that are not getting done. You aren't necessarily in personal conflict by explaining their priority and the fact that they are not getting done.
There is also a very likely possibility you should think of, that sometimes the director sees the big picture and what you think is important is actually lower priority.
If you considered paragraph 2 and 3 and they don't help, do the first one.
there is a lot of money made (100m paid users?) by everyone and momentum so groupthink is forced to occur kind of.
this is already done by libraries and how new instructions are leveraged on cores that have them. During init a library checks availability of instructions and sets function pointers to relevant routines.
for startups I guess this means nail your use case with gpt-4, and when scaling cost becomes an issue consider fine tuning.
what is missing in 2 words: "problem solving"
my fastest purchase of a book so far, after reading the first paragraph and the amazon review.
I appreciate any reading material that helps with understanding how the world works. Please share if you have other recommendations.
good riddance it is a hell hole of people promoting stuff + conspiracy theorists and manipulators. it differentiates itself as "the shitshow social network".
this person clearly has some kind of personal agenda supporting the ruling president. These are not true statements.
what negative press are you talking about? The national TV funded by TAXPAYER MONEY along with the ENTIRE turkish media have been used for propaganda for the last 20 years.
"... is with the amount of extra work it places on developers, much of it the "dumb" kind of work which can eat up hours and doesn't deliver all that much value."
that sounds terrible.
I think you are crazy. we have the exact same opinion on this.
My guess is doing this type of moderation is cheap labor and can have mistakes.
Probably the moderator didn't analyze the case thoroughly enough to understand the cherrypicking bias and marked it as misleading. It's not like you have scientists analyzing every tweet to find the scientifically biased views.
what's wrong with suppressing anti-vaxer views on twitter? elon's guy says twitter rigged the debate. yes so what. why should they have to provide a leveled platform for vaccine supporters vs anti-vaxers? If you look at china now there is a tragedy due to no vaccinations being available.
one of my startup projects failed in 2014. one reason was the complexity slide shown for 2014. After that experience I don't do SPAs anymore. React only complicated the problem further and it is expensive for anyone creating their own projects to hire react devs. what's worse is new devs think react is the best thing to learn and start with that.