skysight-inc/HackerNews huggingface dataset:
Which would point to the Rhodesian Le Roux theory, afraid of the CIA going after him. They got him eventually
I am also sad to see sentient beings being referred to as things.
Atlas: The Future of Headless WordPress
I think you're right, they do note this as a limitation of their study due to insufficient data:

> The great unanswered question faced when exploring cryptodamages is that while we can identify select geographic hotspots of production we currently do not know in the aggregate where the electricity used in cryptocurrency mining is physically produced. This
is because we, like Krause and Tolaymat, do not know the
physical locations of cryptocurrency miners, whether individuals, groups or aggregates in, say, a region or country. There is considerable evidence of concentration of mining operations in particular locations, typically where reliable electricity is cheaply available, though, precise data are lacking. In the US, perhaps the most well-known concentration is the Mid-Columbia Basin area in
central and eastern Washington State, where cheap electricity is produced by hydropower along the Columbia River, however, mining in other US locations also occurs. There is also evidence of large
mining camps in China. With time and emergent research there may be improved information about the amounts of electricity devoted to mining cryptocurrencies for particular locations or regions, but it is currently not available.

It would be interesting to see the results of their analysis if recalculated using the more granular CCAF survey data.
> no business is taking advantage of this to steal business from the incumbents

Some are, but on the margins because they are either not part of the mass distribution networks (grande distribution), or don't have enough $$$$ to spend considerable resources on advertising.

Facom hardware for instance is very durable. They used to have lifetime warranty, now it's 60 years which is already pretty good. Facom hardware is anywhere from 2 to 5 times the price of discount hardware, as the difference in raw material prices greatly affects tooling. But you don't find Facom in most hardware/DIY stores, and when you do they will not be marketed as "something cheaper is just utter crap that you'll have to buy again and again and again and will cost you a lot more in the long run".

For more complex mechanics/electronics, the price difference doesn't have to be so great. Investing a few more cents/euros overall for better components, alongside with better design, will improve durability by years. Infamously, LED lightbulbs could have much greater lifespans with slightly-better electronic parts.

> I’ve always bought mid to higher end TVs and they have never died on me.

Good for you. That's just not the experience of average consumers nowadays. I don't know where you live, but here in France it's really common to find abandoned flatscreens on the streets just because a single component has died.

Samsung in particular was denounced for placing capacitors in their TVs near the heatsinks, which is conscious sabotage as any electronician can tell you that will greatly reduce their lifespan.

> the solution to this is increasing taxes on fossil fuels and other sources of pollution and imports from countries with lax environmental and labor regulations.

That makes entire sense, but designing a tax system that does not overwhelmingly affect the poorest is hard. That was part of the debate with the carbon/fuel tax in the past decade, that rich people don't care to pay more but poorer folks will certainly loose a lot of buying power with something like this.

> How are you projecting labor costs over 60 years?

I'm not, i was giving a (very) high estimation of hardware costs, not including labor costs which you can get for free from local associations/hackerspaces (which could also be a public service) or for cheap from an electronics shop if there's one nearby.

> People buy cheap garbage because they either can’t afford the more expensive, higher quality products

That is correct, but durability is not evaluated and presented to consumers, so they cannot make informed decisions. Many people would be happy to pay twice the price for 10 times durability if they only knew for sure. But many times, putting more money (as a client) in a product doesn't rhyme with better durability, so people are reluctant to invest more.

That european law only mandates 2 years warranty for hardware doesn't help. 10 years is slightly less worse. But we really need to aim for 50-100 years if we want to tackle environmental challenges as a society. That, or dismantle the entire industry before it's done polluting everything and we can't even breathe/drink anymore.
I don't know a huge amount about SoftBank - but what have they backed that's successful / working / making a profit? They seemed to be attached to (at least in my 'bubble') a lot of stories about failing or troubled companies and I rarely see a "SoftBank backed XYZ does amazing things!" (although I appreciate there's a journalistic angle here).

Edit: Thanks replies! Definitely seems like a bias in reporting here :-)
Robert Baruch on Youtube is building a RISC-V CPU core of comparable complexity to the one in the OP using nMigen which is an HDL based on Python and it looks like a very nice tool to work with relative to other HDLs I've seen (though I've never had to actually use an HDL myself before so I may not be the best judge). Here's a playlist of the video series, with the earlier videos basically being an introduction to nMigen: https://www.youtube.com/watch?v=YgXJf8c5PLo&list=PLEeZWGE3Pw... He's got another series that's focused more on the HDL itself building a (relatively much simpler) 6800 CPU core: https://www.youtube.com/watch?v=85ZCTuekjGA&list=PLEeZWGE3Pw...
Wanting to insure that we have an appropriate amount of resources to support humans isn’t misanthropic, it is good planning.

You can’t have endless population growth forever, it literally violates the laws of physics at some point.
Elon Musk Doesn’t Care About Patents. Should You?
Probably an unpopular opinion but I don’t see the issue with this at all. The language implies the ecosystem which can imply much more about the tech stack, and why not just ask for people with experience in it instead of masking it behind some veil of “we are language agnostic”?

On the point of soft skills, idk I have never read and trusted what is in listings for those as much as I do technical details. It’s the human part, and humans are insane and complex and rarely ever work perfectly well together. Just probe it on your first call (and subsequent interviews) to get as good of an idea as you can, but it’s still a crap shoot.
Pointless in the context of Bitcoin mining, which is what we are debating. Not pointless in general. I don't own a coal mine. Or Bitcoins. Or stocks. Or much, really.
Lamb is not only food, it's also clothing, soap components (lanolin), etc.

This is my main problem with the opening argument: most animals are multi-use, unlike most plants.
It is changing, A&W Canada has committed to using only grass fed beef. Though that may be a marketing play on words IDK.

These guys have lots of examples of where regenarative systems are currently implemented.

https://savory.global/
I agree. Defense-in-depth in terms of risk management. Use many strategies, in depth and breadth, holistically to manage vendors. There is no single magic action to make vendors do good work and be competent. It's lots of annoying managerial effort, but hopefully it's prevention and effort applied effectively. I think just showing up, having a look around, treating vendors as human, and being curious without annoying curious about what's going on goes a ways to show there's humans and not just nameless a corporation behind a project.
Does this have any relation to the world-famous restaurant, sometimes in the past ranked as the #1 restaurant in the world, of the same name?
https://alinea-invest.com/
Genuinely confused how this guy ever thought capitalism was to blame for the GTA's loading issue. As if any other economic system wouldn't have the same result.
But they can only do damage as long as HR departments and conference organizers and whatnot bow to the demands of people on twitter. Of course they have done a lot of damage but almost all of it indirectly. The people who actually execute on it in meatspace are at least as much to blame, IMO.
Usually the right hemisphere is linked with comprehending speech/writing, rather than producing it, so it's interesting that you lose the ability to write. Is your speech affected at all? It could be because writing involves a bunch of other more domain-general brain functions too I guess.
What you say doesn't make sense to me.

A blockchain is a tool, like any other. All the properties of a blockchain make it the _ideal_ tool for this use case. It has all the functions literally built in to create and store and interact with a cryptographic certificate (if you will).

Imho it's the right tool for the job. The only reason to dismiss it as the tool of choice is a personal belief. You don't like, then simply don't use it, but objectively the "buzzwords" are the tech itself, it's just how it is.

Just because they are not telling you exactly how they do it, doesn't mean they don't make a good job at it. Apple and Google also don't tell you exactly how their 5G stack looks and works internally, all you get is a nice reactive UI to interact with Apps which are connected to the Internet to surf HN while sitting on the toilet...
It's hit or miss. Sometimes smaller firms want to be clear that they expect someone who's familiar with their stack and not looking to change it right out of the gate, larger firms usually use it because they need a 1:1 swap with some legacy position that someone has recently left.

It's pretty rare that managers care that much about a stack unless they need specific skills and aren't looking to or can't train at the given level of seniority.

Usually special skills do not imply language knowledge - but its not unusual for a job posting to look for [statically typed compiled language] and accept knowledge of any other [statically typed compiled language] as a substitute with the notable exception of anything matching [statically typed native language] or [dynamically typed scripting language].
And as recently as 1989, NATO had few tank armies on the border with USSR, and thousands of constantly armed nukes pointed at the enemy.
The speakers on my 16” are good enough that I don’t much miss my old school stereo with bookshelf speakers which I parted with in a move a couple years ago. They certainly aren’t as capable of that volume, but they’re loud enough to fill my small 1br house, and with excellent audio quality (probably comparable to my old setup).

Apple has consistently provided good audio iterations on its laptops, so I’d assume the same will be true on the inevitable M-series 16” replacement.
I know what you’re saying, but at some point you could argue we “ARE eating the wrong thing”, considering our population size.

Said differently, I hypothesize that it would be more practicable to create policies that influence what we eat and how that food is produced, compared to creating policies that try to reduce population size. If anything, it appears that more advanced countries are competing to gain population so that the machinery of their societies can keep chugging along in the name of growth.

EDIT: elsewhere in the thread I see people comment on multi-use of animals vs plants, and the consequent implication of increased use of undesirable synthetics/plastics if we raise fewer animals. Systems get complex, and their behavior can change drastically in surprising ways if you start fiddling. But fiddling we must.
> If all full nodes are miners, then there is no one to keep the miners to respect the protocol.

If none of them has more than 50% of the total hashrate, then there is not such threat.
Just a waitlist for now it seems.

link: https://alinea-invest.com/
Grew up on florida, in a 10 year span I lived in 4 other states, then moved back. I always ended up having a circle of friends comprised of cops. The "Florida man" trope is just because our arrest records are public record unlike other states. There are plenty of Washington, Virginia, Oregon and Colorado man/woman stories out there getting naked, oiling themselves up, smoking meth and robbing places. I know way too many cops who are tired of arresting naked drunks/tweakers from around the country.
A minimalistic blockchain consensus implemented and verified in Coq
Paid in BTC, can't refund.
What book will suit you depends on your background. If you have a solid background in math, say an undergraduate degree in math, my favorite book is Emily Riehl's Category Theory in Context [1] (the "context" in the title refers to a background in math).

If you don't know that much math, I'd recommend Tom Leinster's Basic Category Theory [2] or Steve Awodey's Category Theory [3] (particularly if you have some background in computer science or programming).

[1] https://math.jhu.edu/~eriehl/context.pdf

[2] https://www.maths.ed.ac.uk/~tl/bct/
Really it would just be to tinker with it and maybe have sort of "notes" or "micro posts" on my own personal blog. Any changes / adaptions I happen to make I would certainly open source as well (although my programming quality might not be as good as your current project for all I know...)

I looked into basic Twilio SMS setup very recently, but it looked like I would find myself heavily invested in their documentation just to spin up something like you've made.
I didn't read anything anti-humankind there. Arguably, it's an important point because if we do nothing, famine might kick in to correct for it. Better availability of contraception, for example, isn't a rash measure.
Lamb also produces wool, used as clothing, insulation, etc. -; lanolin, used in a lot of skincare products; and so on. Beef & pig skin is used as leather products.

If you add these needs into the plant-based idea, how does it look?

EDIT: the beef energy need is ridiculous though, and that should definitely be reduced. My main issue is lamb, because wool is an incredible and useful material, which should get a lot more attention.

EDIT: re "replacement" materials - if you mean plastics, we know how well that is going.
Hey, I'm the one that built this! Thanks for sharing with this community, and it was nice to read all your kind comments!
Deep freeze prompts upsets, shutdowns at US Gulf Coast petrochemical plants
Tutorial: Cellular Automata and Comonads
I tend to agree. When you are rushing things get missed. Also if it was a problem from the beginning you just might not think its an issue (its just how long it takes) .

One philosophy I heard in my days of programming (not sure how I remembered this but its still out there) :

Make it work, make it right, make it fast.
-- Kent Beck
I am a vegetarian but I have started to strongly dislike this kind of "documentary". They are essentially stylish propaganda pieces whose purpose is to enforce a viewpoint but don't really help with a balanced discussion. Don't get me wrong, I strongly believe the world would be much better off if we at least reduced meat consumption but I just don't like these movies.

Lately anti-vaccine "documentaries" like "Plandemic" are following the same outline. Nice production, a few random "experts" and a foregone conclusion from the start.
I'm not sure we're going to see formal proof totally replace standard verification any time soon however when combined with more traditional verification techniques it's very effective. It can find interesting bugs very quickly that other methods may have taken significant cycles to find. As it approaches the problem very differently you get a different set of bugs found from it. It's also great for early bring-up work. With a handful of constraints you can start looking at least some aspects of design behaviour without needing an extensive testbench. When I was working on L1 memory system design at arm I used formal tooling extensively to bring up parts of the memory system before the full testbench was available.

You may start to see formal only verification on smaller/simpler blocks. E.g. imagine some bus adapter, with a decent set of formal properties that specify the bus functionality you may have to do very little work to verify it with formal tools.

There's also the use of SVAs within standard verification. This isn't formal verification but if you've done any formal work you end up with a bunch of new checks you can run in your standard verification flows too, again finding bugs more quickly. You can get nice feedback between the two, develop constraints to enable formal testing, those constraints become assertions in some other verification flow, it finds a violation of the constraint, you realise it needs adapting to cover some extra behaviour and your formal environment is improved (in effect you've found your spec bug).

View it as another tool in the toolbox, one that is becoming every more necessary as hardware designs become ever more complex.
Preconditions for a general-purpose central bank digital currency
I'm sorry but no. I read a lot of books where the narrative is a lie in order to tell a story. It does not make the message wrong.

I also read Rich/Poor dad around 18 and it had a profound impact. I understood how should I think about money, I understood what cashflow is, how companies different from simple humans in terms of tax and a tonns of stuff like that. It's just a good introduction to basic finance for those who don't have a clue.
But not impossible! Just look at the COVID response. Massive and sudden cultural/behavioral change is actually more achievable than I would have thought last year, as long as the sense of urgency is sufficient.
I hate this magic link flow. Its a major pain in my ass when I already have a password manager that knows how to login. Now I have to leave my browser and go to my e-mail client that will open a new tab even though I already have one open.
A few questions...

1. If someone was promoted from within at another company, should their next job be a senior engineer again? Should we have our managers grinding leetcode when they're looking for their next position? If there is more than 40 hours of management work in a week, does the developer stop coding? If they stop coding, how will they get their next development job? (After all, you aren't hiring managers, you're promoting from within.)

1a. If this is the case, does your management team all keep coding because their next job will require it? Will management tasks become backburner, or do you have a large cadre of part time managers?

2. If you are promoting all managers from within, what do you do when you don't have any developers who want to manage?

I was a developer for over 15 years before transitioning to management. I'm not saying I'd never take a dev position again, but I am a better manager than I am a developer at this point because I've spent my time leveling up as a manager, not as a developer.
Kaktovik numerals – A base-20 number system that is visually easy too
Can I ask what your system is, to feed the speakers?
> thermodynamically speaking

I don't think I've ever seen that phrase before, and I don't know what it means. (:

> coolest human being to ever live

I tend to reflexively reject superlatives for various reasons. I'm comfortable saying that some of the stuff Musk is working on has enormous potential for positive outcomes, and I'd have a hard time coming up with a single person in recent history that had unambiguously produced more possible positive impact.

There are a lot of individuals in recent history who have produced enormous positive outcomes, though typically without as much 'flare' as Musk.
Have you accounted for development induced appreciation? Perhaps a similar home further from the city center would be a more suiting comparison?

Anecdotally, in central New York housing prices have gained only modestly. The 2008 financial crisis didn't have a large effect on prices here either. But... development in central New York is near zero.
We'll be launching on the app store on Monday! You can reserve a spot on the waitlist for now (:
Some of the fluids not in a EV:

* Power steering fluid

* Transmission fluid

* Differential fluid

* Lubricating oil fluid

That's over 20L less toxic, potentially leaky fluid than most current cars use.
Yeah, I stopped reading at that exact point.
There's definitely some barriers to be removed in the retail investing world, looking forward if Alinea can help. Could you elaborate on 'we explain [...] how they treat their stakeholders' as I guess this is very opinionated and depending on stakeholder type? Which scope of companies are you currently covering?
Thanks GekkePrutser, great observations and valid points here!

Honestly, I think that voice messages are not the end-all solution for work communication - I'm treating this more as an addition to text messages.

Did you by any chance tried voice messages in your work setting? How did that work out, any specific problems you've encountered?
My current "build" is an Athlon64 with a 760. Surprisingly, it plays a lot of games just fine, but there's really no point in putting a 760 in anything like a Ryzen. ;-)
They were in TR1 in 2005, if I am not mistaken.
Jay-Z Sells Majority Stake in Tidal to Jack Dorsey’s Company Square
Yes, Alinea means a new way of doing something,for us, it's a new way of investing!
Most plants have an incredible array of uses, look at palms, corn, soy, and wheat as examples among a wide array of others. You can use them as food, but corn is used as a plastic and fuel alternative, soy is commonly used as an emulsifier, and different varieties of palms are being used in soaps and detergents. We are capable of really incredible things with modern science.
Is is it you that are the outlier or your dad? What kind of housing did your grandfathers and great-grandfathers have?
The founder was an early backer of Alibaba.

This had a phenomenal ROI but has a sample size of 1.

They paid a high price to purchase ARM, which has since been very successful.

I would be interested in an ROI breakdown for different time windows. I agree they have backed several high profile implosions.
Its not the 17th century anymore, we can make those things from non-animal components.
Population is not really the problem. The problem is the western way of living. I guarantee you that the average American trashes this world thousands of times more than the average Congolese.

How about we set the example for those that want to live like us and change our ways. Is it really worth to live for overconsumption and overfeeding ourselves to death? What kind of life are we leading?
I can spend hours looking at this. Beautiful.
Instagram Takes on Clubhouse, Launches ‘Live Rooms’
I see what you're saying.

Mind you, I'm not a sociologist, so anything I say here is going to be a suboptimal paraphrasing.

Systemic racism is not a cause of something, but a description of a state of existence.

Systemic racism is itself the existence of inequitable outcomes in the context of a society that was literally founded on overt racism.

That something "is" systemic racism is falsifiable by demonstrating that one or both of those criteria is not met.

So this particular outcome will always be definitionally systemic racism until the outcome is no longer inequitable, or the USA has moved meaningfully past its white supremacist origins to the point where individual cases of accidental bias are truly individual cases and not part of a pattern.

Personally, I am okay with that. Ceteris non paribus sunt.
I wonder how many people are allergic to petrolatum and not lanolin.
US Senators call on FCC to raise broadband definition to 100Mbs down and up
To what extent do those needs have no replacements, and what percentage of livestock raised for food are used also for other products?