skysight-inc/HackerNews huggingface dataset:
The Improved RISC-V Specification (latest WIP draft)
https://github.com/riscv/riscv-isa-manual/releases

Regarding the recent "How to improve the RISC-V specification" post [0], I just wanted to point out, that the latest draft manual is already a great improvement. (see link above)

It includes a lot of the newly ratified extensions: bitmanip,zicond,vector,vector crypto, ...

And there are a bunch of included SAIL definitions for bitmanip and zicond, but other instructions are still missing the SAIL code. Most notably, the SAIL definitions from the RV32I/RV64I base isa are also missing.

I asked for the further SAIL integration plans here: https://github.com/riscv/riscv-isa-manual/issues/1369

This is an example SAIL snippet from cpopw:

let bitcount = 0;
let val = X(rs);
foreach (i from 0 to 31 in inc)
if val[i] == 0b1 then bitcount = bitcount + 1 else ();
X[rd] = bitcount

Seems pretty readable to me.

For anybody who wants to look at the RISC-V manual, and has low stakes, I'd encourage using the latest draft. I'm not working on it my self, but I imagine opening an issue if you come across a mistake/uncertain definition/... would be appreciated.

[0] https://news.ycombinator.com/item?id=40185065
https://openjdk.org/projects/valhalla
There are numerous compounding pharmacies selling generic ozempic (Semaglutide)

There is competition, I see ads on Facebook and Instagram for it all the time, there are clinics all over where I live advertising Semaglutide treatment for weight loss.
> all the infrastructure is setup to make sure there’s more provisions for exiting a station

That's required because people tend to trickle into the station over time but flood when a train arrives.
> The Foundation board has unrepresentative composition relative to the community because, due to our count, all current members are cisgender, white-passing, men, one of whom has done military service, and one other (Eelco) likely relies on undisclosed military-tech work.

Well that certainly paints a picture, thanks.
I, of course, did not make any claim that the world is somehow random. That was what is known as an analogy.
True but saying “subsequent training” implies very long periods between Updates.

We do not train LLMs to update them to the state of a conversation.
It violates the right to confront one’s accuser / question the witness in court.

Presumption of guilt by default, requiring you to pay the fine before you’re allowed to contest the alleged infraction.

Absolute rules usually means less natural justice, there are times when pursuing minor violations are not in the public interest.
I would use that with a drawing software to turn any shittyflute tune into a piece of art.
These are all true
Yes, before it was launched it was a different OS. The iPhone forced a pivot.

Nonetheless, the very first phone that shipped with Android on it was the T-Mobile G1 (also branded as the HTC Dream).

> Just something else I was thinking about with Android. I love the Android OS but Google’s implementation is far and away the best version and while you could technically run Android with just the bare necessities and without google apps, it may as well be unusable. So, google has “technically” made it available without their services but the juice isn’t worth the squeeze to get it working how you want it.

Yes, it's unfortunate that AOSP is a shell that is missing so much-- it's more an OS framework than a complete OS at this point.
Has anything changed for Ubuntu on Apple Mac hardware with M chips?
Well, that's a bit extreme. There are more emotions to experience than just loneliness.

I'll certainly be going back to work, but more because it gives me a sense of purpose and less because I think working is a necessary (or even good) solution to address loneliness. My comment was intended to highlight that there's no silver bullet to this issue.

Modern society has many alluring activities which don't necessitate forming bonds with other humans, the world keeps shifting around even if you stay the same, and it's easy to find yourself dissatisfied with the status quo while also feeling like your lifestyle is an accurate reflection of the way you desire to live.

Five years ago I was in a relationship, shared a house with 5 other people, social media wasn't as stigmatized, and my peers and I were all in our twenties. I had transitioned to fully remote work, but I felt overwhelmed by the amount of personal interactions I was having. Space was more desirable than connectedness.

Fast-forward a bit, I moved out of a group living situation post-covid, broke up with my partner which segmented our friends, many people settled down with children and stopped going out, and Facebook became uncool. These things happened slowly, and I was enamored with my job, so it didn't weigh on me as it was occurring. Then, when the job was finished, I realized I had settled into a lifestyle where I had no external pressure to leave the house, could go weeks without using my voice, didn't have readily available ways of quickly connecting with people, and that I would need to take significant actions to address the situation in ways that I'd never needed to in my life thus far.

Adding a job back into the mix will help in some ways. Management certainly forces me to use my voice. And, of course, it's possible to put myself out there and make friends with twenty-somethings who want to go out all the time, but it feels less natural when there's a larger age gap. It's a lot of work, too, as it's easier to meet friends through friends than forge relationships from scratch. I can change my personality entirely and decide I want to settle down, to try and better guarantee having a close partner, but that's certainly never been something I've seen myself doing. Or I can try to re-envision myself as an extrovert and try to find it implicitly appealing to socialize rather than just something that addresses a need, but that's never been a trait I've seen in myself.

I guess what I'm really trying to say is that I feel my personality and desires have remained consistent throughout my life, but society and culture has shifted around me. If I want to be less lonely then I need to change myself and build an appreciation for activities which result in socialization, or settle for different/worse interactions that are still useful for addressing loneliness, but these decisions weren't necessary in my teens and twenties. People were just around all the time. And yes, I'm sure some of that has to do with people being busy working, but it's a lot more than that, too.
I think direnv already does a good job in this space, and it's already available in your package manager.

https://direnv.net/
You've got it backwards. The cars caused the obesity by creating suburbs where people drive everywhere.
How do you square this with dollar pizza wars in nyc destroying so many formerly good places because $1 isn’t enough for real cheese?
"We and our 1052 partners value your privacy"
Techbros always love citing the supposedly devastating human fallibility yet experience shows poorly configured/developed automated systems are much more of a concern.
These tickets get sent in the mail with proof, the photos.

The only thing you can argue is that it shouldnt require a court case to dispute unless it fails a human review.
Anzeigenhauptmeister just lost his Hobby :(
> No one refers to the 'size' of a company is referring to market cap.

Saying a company is "the largest by market cap" is very common. Just saying "largest" on its own is ambiguous. "Largest by revenue" is also very common.

"Biggest by market cap" -- https://www.investopedia.com/biggest-companies-in-the-world-...

"Microsoft is the largest company in the world, with a market cap of $3.13 trillion." -- https://www.fool.com/research/largest-companies-by-market-ca...

I think "large" usually means revenue, but it can mean market cap too.
Some people like this innocent bloke are the real perpetrators behind mass surveillance and big brother.
You might be looking for one of those?

https://en.m.wikipedia.org/wiki/Reverse_onus

https://en.m.wikipedia.org/wiki/Burden_of_proof_(law)
This was an excellent article.

However, I would add one practice to the things we can do, to reduce fragmented thinking. It's probably the oldest trick in the book; thousands of years old.

Create structured habits.

This is what musicians do, when they practice scales, endlessly, or artists do, when they are constantly doodling (I have done both).

When something becomes habit, we no longer think about it. It becomes "muscle memory."

There's a bunch of habits that I employ in my own work, and I feel that they pay off. To go into more detail would take more work than I feel like doing, now (I really need to get back to writing, but have gotten out of practice).

"We are what we repeatedly do. Excellence, then, is not an act, but a habit."

- Mis-attributed to Aristotle
A lot of sandboxing ability is there (LSMs, virtualization, namespaces, firejail, bubblewrap, xdg-desktop-portals...), but it's not so well integrated, many applications haven't been written with it in mind and you'll basically have to set it up yourself. It's definitely the future though!
Tobacco did that (imagine going for nicotine patches instead of smoking), meth did that, a lot of things do that. It all comes down to the side effects and whether it's worth having the drug around.

Up until now we say "no, fuck it" after a few decades of having the thing widely available. My point is wether we should shortcut the cycle and so no _before_ doing the society wide trial and having to fight for decades to have it stop.

> In the meantime overweight people are going to take what they can

Most don't take anything right now
Absolutely. Alberta implemented a $200 tax on EVs this year, in part "because they're heavier" and create more road wear; if they cared about that they could have simply taxed weight in proportion to the wear it creates. That puts the user fees and incentives all in the right place, and doesn't let heavy IC vehicles off the hook either.
I can get behind this idea if and only if the government makes it absolutely trivial to request a human to review the ticket, with no additional fee and no attempt to dissuade people from exercising that right.

There should be a phone number, a QR code, and a printed link on the ticket that all provide a one-step process to contest a ticket. As soon as a ticket is contested it should be put on hold with no payment due until a follow-up ticket is issued by a human.

If we don't do this then we've just automated the creation of false positives without giving the victims of those false positives any equivalent advantage.
there are ~300-350m companies in the world also.
dotenv started as a ruby library actually. The first implementation inspired the others such as the golang version of the library.
Web MIDI API and sysex messages more likely!
what is wrong with some people?

Way for Goldman Sachs to say the quiet part out loud. Not curing people so you can sell them something that merely deals with the problem's effects. This shouldn't even be up for discussion.

Seems like one company is selling the cure to a problem another company (companies) caused. Not to be all "capitalism bad" but I thought promise of the Invisible Hand of the Market was that it was supposed to make life better by directly solving everyone's problems. Instead, it seems to be creating more and (as Goldman Sachs admitted) not even trying solving those.
I understand that you are expressing your political views, however you still fail to explain how exactly the BRICS digital currency as a cryptocurrency on a public blockchain supports the claims that you've made.

My goal is not to argue. I'm genuinely interested in the feedback. We are building the next era of finance, one that is more transparent, decentralized, trustless and inclusive. By employing mutual cooperation and iteration, we can move towards a better future more swiftly and efficiently.

How about we start with decentralization? Pick your FIAT currency of choice, and tell how many entities have the absolute control over that currency's supply. Now let's compare it to the BRICS digital currency, as presented in the article. Big difference, right? :)
I’m not sure why you’re trying to make it seem like Microsoft isn’t rewriting the core of their 365 business products from C# to Rust, but you do you I guess.

As far as I’m aware I was never traumatised by OData. It’s true that I may have ranted about the sorry state of the public packages available outside of C# or Java. Not unwarranted criticism I think, but I wrote our own internal adaptation which now powers basically all our API clients for Typescript as a single shared no-dependency library.

But you seem to think you know me? Have we met?
Have you considered a minivan?
LA is so late to the game. NYC already does this and they do it without AI. Buses have cams. Anyone who drives in bus only lanes gets a ticket. Any cars parked in bus stops get tickets and a whole lot of honking.
Market cap has almost nothing to do with value already created. It’s the consensus guess at the discounted value of future cash flows.
Null is the absence of a value. How do to distinguish 0 from no value?
Amazing what people will write.

The minster asked the nuclear operators whether they could operate the plants longer, and the operators said (paraphrasing) "we'd need more fuel, and even if we were to order fuel today it wouldn't be delivered in time" and that was the end of the story. Two years later, "fraud!" Amazing.
This is very exciting, I was diagnosed as an adult. Excellent post and I really think they are on to something.
Read the comment I'm replying to and you'll see the context, a single deploy for changes on backend and frontend is mentioned as a benefit. I'm suggesting deploying in order so a frontend doesn't expect a field that doesn't yet exist on the backend.
No, a lot of it is individuals responding and their responses not being processed. They have to prove they are eligible, if that proof isn't processed they are dropped.

Look at the reports of huge backlogs with the IRS. What would happen if they automatically started prosecuting you for failure to file as of June 1st?
Meanwhile, I've never had to contest a false positive because my state doesn't allow red light cameras. That's a lot of time that I haven't had to spend defending myself against spurious charges.

It doesn't especially matter where the burden of proof lies if the process for contesting requires any substantial amount of effort on the part of the victim of the false positive.
One of the last aircraft shot down in the European theater of WWII was a Piper Cub that shot down a Fieseler Storch with a .45 pistol. They landed next to the crashed Storch, captured the pilot, and treated his injuries. Then handed him over to the Russians, who I am sure also treated him in accordance with the provisions of the Geneva convention.

https://theaviationgeekclub.com/that-time-a-usaaf-piper-l-4h...
Any chance of a video walkthrough or tutorial? I can't figure out what the workflow is and which use cases PySheets addresses from looking at the landing page. I don't want to register an account just to find out.
Well, we can just add more axles, I guess.
Disclaimer: I like indoor plants.

Wouldn’t you need a very large number of indoor plants to bring C02 sub ambient levels with - a human in the room exhaling C02 - compared to just having an open window and cycling the air.
There’s nothing inherently dangerous about driving fast if it’s in accordance with driving to the conditions on the road. Driving too slowly is more likely to cause an accident by impeding the flow of traffic.
They dont focus on processed foods do they? I thought it was just overall food consumption reduction by making you feel full.
The big problem with all this automated enforcement is they only end up punishing honest people. Kind of like continually raising fares while doing zero about fare evasion.

The police should crack down hard on: license plate covers, fake license plates, fake temporary plates, etc. I suggest seizing the vehicles as contraband. Then I might support more automated enforcement. Until then, I don’t.
We use a jenkins job that watches the “source of truth” repo, which in our case is the backend.

Jenkins creates all the protobuf definitions and pushes them to their dependent repos.

A better way would be with a package repository for them, and having it versioned; and running multiple versions of the backend.
Why quotation marks around loss?

Why does it feel like recommending meth? Are they similar in addiction and harmful effects?
Lombok, Error Prone, and Kotlin also have their takes on the problem.
The article is about disrupting big tobacco, candy companies, etc. being disrupted by a European pharma. Why would the US gov’t make a massive order to bring down costs to disrupt homegrown companies?
No idea how this translates to profit, but they're probably extracting revenue from a billion people at this point. I spend something like $150/year on youtube premium + music subscriptions, have spent probably a lifetime total of $300 on media content, and since I use their products a lot I'd guess advertisers are paying them more than $10-20/year for my eyeballs.

I may be ahead of 7.6-7.8 billion people in terms of the total lifetime amount I'll end up funding Google's funnel, but of the portion that spends more than me there's room to spend a lot more (and you're forgetting about people who haven't been born yet who will also be paying money to google one day)

Market cap isn't really an estimation on how much money the company might make anyway, since Google doesn't pay it's shareholders dividends. It's just a way for people to speculate on how much a thing will be worth in the future.

In theory there should be some relationship with current profits, but... did you take a look at Tesla any time in the last couple of years?
>It's just absurd to me the world has come to the point that we need these drugs

I agree. People did not need these drugs in the past but instead of fixing the social and economic structures which caused the obesity epidemic we tell people to take drugs to manage.

Oh, and take Adderall so you can focus. Again, nobody needed this in the past.

And Xanax to manage the anxiety people did not use to have either.

Feel unhappy and alone? They will make a pill for that too.

"Brave New World" turned out to be even more prophetic than "1984".
That's being done in Rotterdam for ages. Cars with cameras on top which determine which cars have a parking violation. I think they check illegally parked cars plus cars which didn't pay. It's anything but new technology.
Our national debt is so much that we need to give half a Google to China each year
The prevention is deterrance: because you need to buy the ticket up front, ticket inspectors can check that you have the right ticket and issue fines if you do not. You can cheat (for many journeys you can walk on and off the train without passing through a barrier, especially at odd hours) but you are taking a risk. If there's no pre-commitement to the journey then there's no real deterrent risk.
Maybe abuse is not the right term, but certainly not necessary to drop 10lbs. I workout pretty casually, and when I go on a cut I can lose 1lb/day. It wouldn't surprise me if an inactive person could lose that in a month. And the act of practicing self control would be beneficial. Maybe you are onto something with your comment about population-level effects though, I wouldn't know.
GLP-1 receptor agonists have been pretty widely used for diabetes since 2005.

If there's a major unseen gotcha lurking, it hasn't showed up in the first two decades. (Plus however long prior to that the clinical trials were going on for.)
you could get a friend/family member to do the same thing though (they cite each other thousands of times)
> the beer company?

No.

https://www.sncorp.com/

https://en.wikipedia.org/wiki/Sierra_Nevada_Corporation
Then all the cars will weigh exactly 3999 lbs, which is about what they do right now (average new car is within 100 lbs of that), and everything will cost more because your tax will hit all the small businesses that use light trucks for legitimate needs instead of grocery runs. Also, it's a de facto ban on long-range EVs (EV battery weight is proportional to range), which seems counterproductive if you care anything about climate change, because then the vehicles that see the highest number of miles continue to run on petroleum.

Stop trying to regulate random indirect metrics and concentrate on the actual problems. Is it traffic and too many vehicle miles? Then build higher density housing and subways. Is it air quality? Then address particulate emissions using general rules rather than specific ones -- regulate rate at which car tires can expel particulates. If they have to reduce the weight of the car to reduce the cost, fine, but if they can find another way, that's good too.

If you don't like the status quo, identify why and address that, don't just pick some isolated aspect of it and try to ban it without contemplating what incentives the rules are going to create. That's how we got into this mess.
It sounds like it's also in your interest to legislate safety standards that ensure other peoples' vehicles are less likely to kill you when they crash into your own.
Wind is readily available… easy to harvest and renewable. So is water now that we understand energy storage and transport via electricity were at most 100 years from restarting modern civilization.
They do. It's called Mounjaro.
Pharma is notorious for changing the formulation just enough to acquire a new patent to restart the clock. I wouldn't be surprised if the dosage was a factor in the process.
E-bike users warned of indoor charging dangers
Minivans? Work vans? Where’s the experimentation? They all seem to compete on the same narrow list of metrics leading to homogenization of the product category. So it isn’t “we build what sells” but rather “customers need to buy and we define what’s available quite narrowly”
I've always thought it sounded like a kazoo. Or sometimes a harmonica.

But I like the imagery of a a little tea kettle on a hob under the panel.
Kind of surprised it's not a "Doomsday spaceship" these days.

Best place to survive a nuke war (ugh!) would probably be substantially outside of the atmosphere for an extended period of time.
Fair enough, BMI can be misleading for powerlifters!
You have to be dead for a while to be part of the canon. Until then you’re a “popular writer” at best.

It’s the opposite of the Nobels in this regard.
As A CA resident living under the thumb of PGE I have to say that nothing shocks me any more.

The current PGE rates basically redline a whole portion of the state.

Gray Davis got run out of town on the back of Enron's nonsense. The fact that there is abject lack of fall out from the current pricing is, outrageous.
I agree that UK isn't as left wing as I'd like, but there is really a huge difference between what's considered right wing between the UK and the US. For instance, the NHS. Poor or unemployed people get the same access to healthcare as I do.

In my personal experience, there is also less stratification and less overt racism or bigotry. However, they're pioneering new and clever bigotry against trans people now and that concerns me.
Neither Yuan, nor Ruble, nor gold, nor Bitcoin can be a "reserve currency" for the BRICS digital currency, as I've explained in the comment above. You could make an argument for the BRICS currency becoming a reserve currency, but not for it having an internal "reserve currency". One of the main goals of the BRICS is to allow the member countries to trade in their own local currency, which contradicts the idea of existence of a "reserve currency for BRICS".
Market cap obviously /s