skysight-inc/HackerNews huggingface dataset:
It's hardly a quirk when it's mentioned and explained in paragraphs three and four of the 64 bit spec. It's literally the first non-trivial [1] thing in that spec.

As explained, it is the only way it is possible to use a single set of 64 bit conditional branches (and SLT/SLTU) for both 32 bit and 64 bit, signed and unsigned, values.

The Coremark restriction is stupid and explicitly ARM-centric. Any sensible person would either lazily use "int" or any 64 bit type ("long", "size_t" etc) for indexes, all of which work fine on RISC-V. The only reason to use "uint32_t" is to prematurely optimise for CPUs that zero-extend 32 bit values.

Furthermore, any sensible real-world software will allow per-architecture #if'd typedefs.

----

Most integer computational instructions operate on XLEN-bit values. Additional instruction variants are provided to manipulate 32-bit values in RV64I, indicated by a ‘W’ suffix to the opcode. These “*W” instructions ignore the upper 32 bits of their inputs and always produce 32-bit signed values, i.e. bits XLEN-1 through 31 are equal.

The compiler and calling convention maintain an invariant that all 32-bit values are held in a sign-extended format in 64-bit registers. Even 32-bit unsigned integers extend bit 31 into bits 63 through 32. Consequently, conversion between unsigned and signed 32-bit integers is a no-op, as is conversion from a signed 32-bit integer to a signed 64-bit integer. Existing 64-bit wide SLTU and unsigned branch compares still operate correctly on unsigned 32-bit integers under this invariant. Similarly, existing 64-bit wide logical operations on 32-bit sign-extended integers preserve the sign-extension property. A few new instructions (ADD[I]W/SUBW/SxxW) are required for addition and shifts to ensure reasonable performance for 32-bit values.

----

[1] i.e. proceeded only by "This chapter describes RV64I [...] widens the integer registers and supported user address space to 64 bits"*
The challenge with digital goods is having a system where multiple people can have property rights.

Digitising your library example, would likely result in a price of zero. Someone like Apple would be well placed to turn its books app into a library of books it purchased once. And use this to get more hardware sales.

The current system of only one entity having rights isn’t desirable. But alternatives aren’t easy. Even if you tried to rule out sales for profit then marketplaces and bulletin boards would make things complicated.
Software is definitely an asset. "Becoming less valuable over time" is called depreciation, or in the case of IP, amortization. Poorly written software amortizes at a higher rate.
> Good luck expressing novel requirements in complex operating environments in plain English.

That's the hard engineering part that gets skipped and resisted in favour of iterative trial and error approaches.
There is no obvious political motivation. You're simply assuming that a ruling that is favored by the political camp you identify with could only be overruled due to political motivations, which is not sound reasoning, and only reveals your own political motivations.
They have their SATCOM solutions and at least 3 new ones under construction
Nice nice nice! Finally some freedom for the consumer.
I can’t quite tell if this is satire! You may be familiar with a small startup (https://en.m.wikipedia.org/wiki/Netflix) in the business of buying a million DVDs and continuously renting them out on demand to make something resembling a video rental store.
A burglary isn't really a non violent crime imo. It's very invasive and if someone is home it can easily lead to violence.

If I catch a burglar in my home I will certainly be violent to them, to pre-empt them from becoming a risk to me. I've been burgled several times and I've felt very violated.

Unfortunately here in Europe the courts don't really agree with that but that's a later matter. I think it's more 'fair game' in states like Texas. I keep a huge flashlight by my bed for that reason. It's not deadly but it will be enough to submit an intruder.

It could happen because I often don't bother to answer the door when I'm home and not expecting any parcels. Because most of the callers to my door are sales trash or scummy people trying to get into the communal stairwell.

But anyway my point is these things are not that black and white. It's more like a scale.
Why do they not change the postal system? We know the USPO as well as most other national postal services are on life support. Tied to an inefficient daily postal walk for letters - that never come.
They need to end this and buy off the remaining postal workers.
The remaining system parts, warehouses/trucks/machinery can be sold off if no modus operandi to make a continuing use of the remaining bits of the services? A few registered/certified mail/packages is all that will remain economically viable - if any?
Let it go private and pay off the employees or assess each employee to see if a remaining service can be mounted with the bits remaining?
The whole point of winning presidencies is to appoint justices when one retires or passes away.

Packing the court, i.e. expanding the court to obviate the need to wait for a justice to retire or die in order to appoint a new one, on the other hand, effectively eliminates the independence of the judiciary, by nullifying the independence that Supreme Court justices obtain as a result of their lifetime tenure.
NextDNS is a great alternative for mobile devices

https://nextdns.io
That's a different question now. Before it was "do I not trust my switches and routers?". Now the question seems to be "do I trust all devices on my network?".

If you have guests in your network, surely they have a different level fo trust.

Anyway: If you trust _all_ devices on your network (including routers, PCs, phones, printers, light bulbs, air conditioners, thermostats, doorbells, scales, TVs, set-top boxes, coffee machines), and the software running on them to be bug-free, unrootkited unhackable, and upt-to-date, and their vendors to be perfectly honest and reliable, and those ones' employees, hardware, and software supply chain to be perfectly trustworthy, forever, then yes, you don't need any form of cryptography in your network.

Otherwise, you need something like TLS for it to be secure.
My contention is how would you perceive the difference between a needle in a haystack and a thread-puller in a haystack
This led me to google "teleport license," which sounds like a search from a much more interesting world.
There have been several public-interest reports and scorecardings of the readability/unreadability of the language in various consumer/financial contracts (the grade-level required to understand it x the number of minutes/hours to read it).
The difference is that libraries are local and so the impact is minimal.

With software you can share it out to anyone in the world.
Hey KRAKRISMOTT, we have SDKs and a REST API which can be found at https://docs.dittofeed.com/integrations/sources

Open to expanding our SDK selection though.
As grown-ups I think we all know we need this and want this to happen but as grown-ups used to an unconstrained space to talk, we don't agree about some of the unavoidable consequences. To anonymity. to identity. to the role of government and private industry and governance in the wide. LEA want this, but also want outcomes we as users may not be so keen about.
I'm trying to be charitable, but I agree with this take (instead of the "eventually succeed" comment above).

Anecdotally, when I go to a restaurant, the server is often wearing an Apple Watch.

I cannot extrapolate what that would look like for AVP...
Restricting political advertising to one platform would be a massive abrogation of the right to engage in political speech.
I built (but never released) a project for this: an end-to-end encrypted "slow" chat app, where you'd send long-form rich-text letters to friends and they'd take a configurable amount of time to deliver, backed either just by client business logic or optionally with timelock encryption (this one [1], not this one [2]).

I've been meaning to clean it up and open source it.

[1] https://eprint.iacr.org/2023/189

[2] https://people.csail.mit.edu/rivest/pubs/RSW96.pdf
> don't want another country bossing over what you can do

So we agree that invading other countries is wrong. However you believe that a country has the inherent right to do anything (including imprisoning, murdering them etc. etc.) to its citizens and face no external repercussions? At the same time other countries do not have the right to not do business with that country or to prevent its citizens from doing that. Seems slightly contradictory? No?

> not strong enough a reason to exclude you

IMHO that just sounds like a pretext to me and the removal itself seems like mainly a political statement (especially considering the rhetoric coming from Linus himself).

Not that I'd have any issues with that whatsoever (if those people really want to keep their maintainer status so strongly they could've just moved to another country like a over a million of other Russians did.)
I think the low framerate adds a unique ambience, at least to me, watching the recorded videos. It gives time to appreciate the art style and generated features. It also feels like a time lapse of gradual changes. I could imagine it being annoying to look at in real time though.
Its pretty much my only option, I asked for help years ago and doctors just don't give a shit.
Wondering how inert and/or toxic this stuff is. Could you mass produce it and just sprinkle it across the arctic? Sequester carbon and have it locked up in the permafrost.
When exactly did you perceive cars replacing the horse? I happen to live in a very equestrian area; I think you'd be hard pressed to convince folks that the horses have even been replaced
There's no difference. The key question is about knowing supply. There's no question about liability. Except to people who don't understand how sanctions work and how circumvention works. Or where Dubai is. Too many children isn't a disqualifying factor. You should know better.

i.e this is Reddit fanfic
I've never had a router compatible with OpenWRT, so I went with NextDNS instead. Also, PiHole is another alternative
Anyone who got a Vision Pro: are you still using it?

I remember there was a lot of initial excitement on HN about the possibilities of using it as virtual monitors for work or as a more immersive way to watch movies. Is it good for these applications long term, after the novelty wears off?
Discussion (79 points, 10 hours ago, 114 comments) https://news.ycombinator.com/item?id=41925006
I would've expected an answer involving "an exhaustive suite of test cases still passed" - "it looks right" is a low bar for any complex software project these days.

It's the long, long, long tail of edge cases - not just porting them, but even identifying them to test - that slow or doom most real-world human rewrites, after all.
It's not just technical knowledge either: look at Shakespeare's works. They're centuries old, but there's absolutely no danger of those disappearing. Lots of old stuff is well-preserved and highly duplicated for easy access.
Took me a second to grok why the field access would require dynamic dispatch and it's because you have to deal with differing layout between structs.
There is zero evidence of any bribery. This is just more salacious defamation by those who want to destroy the independence of the judiciary.
> I get the more inclined I am to believe in some form of Idealism.. Not only in Idealism but I'm leaning towards the belief that some kind of fundamental universal Consciousness is the only fundamental property or baseline to the universe or to existence.
> Time and Space is not fundamental. Locality isnt true.

thats interesting, but im curious what the basis for that thought comes from?
I was on a team where we wrote software tests for computer hardware. Regressions were frequent. The underlying hardware wasn't very reliable because it was all very early-stage and hadn't been tested yet (as it was our job to write the tests in the first place).

The linear commit history created by rebasing made it trivial to bisect and determine what introduced the problem.

Huge difference to my productivity.
It's invasive, heavy and more anti social than smartphones. Battery life is too short. Low volumes make software development for it unattractive. Companies keep pouring into ar/vr billions and no sigle killer use case to show.
No voice or video is an FAA rule. Lobbied for by industry workers. And also in legislation.
We lost nothing. In old London you could write a letter and send it in the AM, to be delivered locally the same day an receive an answer later in the day - not as fast as e-mail. All this built on a class society where the working class got very little and the small gentry class = $$$.
This can not be done now with people, our e-mail enslaved class enables out current e-mail/text/internet/media system
With a sufficiently advanced type system, you could lay out high level building blocks, such as function definitions, and let the LLM go wild, and then if things compile there's a high chance it's correct. Or maybe even a formal proof things are correct.

I was blown away when I realized some Haskell functions have only one possible definition, for example. I think most people haven't worked with type systems like this, and there are type systems far more powerful than Haskell's, such as dependant types.

There's not much reason to worry about low level quality standards so long as you know it's correct from a high level. I don't think we've seen what a deep integration between a LLM and a programming language can do, where the type system helps validate the LLM output, and the LLM has a type checker integrated into its training process.
Apparently (quelle surprise) Linus is getting swarmed by Russian trolls like a US swing-state voter. From https://www.phoronix.com/news/Linus-Torvalds-Russian-Devs

Ok, lots of Russian trolls out and about. It's entirely clear why the change was done, it's not getting reverted, and using multiple random anonymous accounts to try to "grass root" it by Russian troll factories isn't going to change anything. And FYI for the actual innocent bystanders who aren't troll farm accounts - the "various compliance requirements" are not just a US thing.

If you haven't heard of Russian sanctions yet, you should try to read the news some day. And by "news," I don't mean Russian state-sponsored spam. As to sending me a revert patch - please use whatever mush you call brains. I'm Finnish. Did you think I'd be _supporting_ Russian aggression? Apparently it's not just lack of real news, it's lack of history knowledge too.
I remember few people having very positive feedback for home entertainment.
The amount of time makes a practical difference.

Books you take out for a week or more usually, games rentals and films (from the olden days when I'd get to go to an actual store) were at least several days.

Renting a film is something you could do from the second you start watching it to the second it finishes. Going from a few days to hours makes this in the region of 10-100 times faster turnaround.

Having to physically move things just adds significant time.
I do not believe you in fact need any kind of SSH CA, let alone one run by a third party, to be FedRAMP-compliant.
a random free gmail account and a fake name does not give you the ability to commit to the linux kernel, so no.
this means we need more visibility on what's sucking up so much data. and then we need to start boycotting and deleting any and all apps that insist on wasting so much data. i bet, those services and sites that are so huge will quickly clean up their act once we all stop using them. Or they'll just go out of business and we can choose some better ones.
Almost everybody here is going to say to not do it but I’ll go the other way.

You only live once and you want to do it, so why not?

Because there might be some malware that’ll screw things up? Unlikely on a Mac.

Because there might be a lawsuit where your personal computer ends up as evidence? Almost certainly not going to happen.

Be cause it’s good evidence for a vindictive boss to use to fire you? Yeah whatever if somebody wants to fire you they’re going to do it anyway.

If you can accept that this is a weird thing to do and might have some risk associated with it, go nuts.
A Boy Born in 1998
It's freeness is enforced by the supplier
> I’m not specifically talking about games but the whole user experience.

If you are capable of using an iPad as a gaming device, I literally do not understand how you wouldn't be able to use a GNOME desktop to achieve literally the exact same outcome.

Am I wrong? Getting Steam to use Proton is literally one click in the Steam settings - using an app like Bottles just has you open exes like normal. This is no worse than the Crossover Wine support from the Mac days of yore, if not more streamlined and not fighting against system integrity protection. And your fucking settings app doesn't give you a notification pip for not logging in.
> For a _lot_ things, you can almost completely avoid on-call incidents with straightforward redundant (over provisioned) HA architectures, no single points of failure, and sensible office hours only deployment rules (and never _ever_ deploy to Prod on a Friday afternoon).

For a lot of things the lack of complexity inherent in a single VPS server will mean you have better availability than any of those bizarrely complex autoscaling/recovery setups
Burglaries are UCR-standard violent crimes.
There is a very obvious argument that restricting the right to pay for political advertisements violates the First Amendment. You can read the argument here:

https://www.fec.gov/resources/legal-resources/litigation/cu_...
> There should be multiple classes in high school and college/uni that teach you about this stuff.

And parents should be teaching their kids about money.
From what I heard, they will ultimately halt production, assuming no major changes in sales, at around 500,000 - 600,000 produced. Based on my understanding of the sales, they will have a considerable number of units still available even if the production stops.
"usage-based pricing provides more options for consumers than flat-rate pricing and can generate additional revenue to fund network improvements and expansion."

i don't mind usage based pricing if they show you how much you've used and ideally where you've used it. then i can simply cut out all the services that suck up all that data. For example, I refuse to install Facebook because it's hundreds of MB.
>Many people on HN these days seem to reply without reading the article headline first...

You sound like you're new to the internet.
Micasso
There's no restrictions of the sort
Monitor: An AI-Driven Observability Interface
I guarantee you the dos setup will be sorely missed
I can’t tell if this is an argument against the parent or just a semantic correction. Assuming the former, I’ll point out that every tool classification you’ve mentioned has expected correct and incorrect behavior, and LLM tools…don’t. When LLMs produce incorrect or unexpected results, the refrain is, inevitably, “LLMs just be that way sometimes.” Which doesn’t invalidate them as a tool, but they are in a class of their own in that regard.
GPT-4 has no understanding of logic what-so-ever, let's stop pretending it does.

If it gives you a solution that is wrong, you have to point it at, then it will give you a second version , if that is also wrong, it will then slightly modify the same solutions over and over again instead of actually fixing the issue.

It gets stuck in a loop of giving you 2-3 versions of the same solution with the slightly different outputs.

It's only useful for boilerplate code and even then, you have to clean it up..
Should the number 23 be tokenized as one token or two tokens?
I do too, but I also wonder if the negatives (weight, isolation, heat) become apparent over time while the initial wow-factor wears off.

Edit: Or perhaps the software has improved and it's even better now that it was at launch?
> People are going to only read the headline and interpret it as “discontinue”. Like the article says, it just means they have enough inventory until they replace it with something cheaper.
That doesn't dull their point; that kind of growth, natural or not, is wild.
Ah that's good to know, thanks
>> I don't understand what the fandom thinks they're going to get

> A better world mostly, and many practical benefits along the way.

That's the magical thinking. There's logical leaps required to get from the current status quo to the proposed future state. A CPU architecture and core design is orthogonal to almost every other market force in the industry.

Let me make sure I'm explicit since people tend to get very tribal when anyone says anything about their "team". I have no problem at all with RISC-V as an architecture. I do not care if my next phone or laptop has an ARM chip or RISC-V chip. As long as my laptop does laptop stuff and my phone does phone stuff the CPU instructions executing do not matter to me. I'm also writing zero assembler for any non-trivial personal or professional project. So long as compilers and toolchains exist for my system the ISA is an academic discussion for me. I have no problem with RISC-V existing or "winning".

In terms of the world being "better" with RISC-V, that's just a weird statement. The architecture doesn't offer anything actually new to the industry. There's nothing fundamental about the architecture that makes anything better. The ISA has implementation gotchas that make for problematic or complicated compiler implementations. Its extensible nature also provides a huge surface area for minor implementation specific incompatibilities. Two similar RISC-V chips may not be drop-in replacements for one another. So it's not like the overall RISC-V design is objectively better than any other ISA.

The open source nature of RISC-V is an academic improvement over closed core designs. I'm a random guy and I have the same access to most of the same compilers as Google, Amazon, or anyone else. I can compile Linux on any commodity computer I own. I don't need a clean room or expensive equipment to do software development or even deployment. If I write something you want to use the marginal cost of acquiring it for you is effectively zero. Open source software is unreasonably effective because of that trivial marginal cost of reproduction.

Unlike the Linux kernel you can't compile a CPU core and reboot and get some performance gain. You might be able to build a 4004[0] in your garage you're not going to be building a CPU you can drop into your laptop or phone. At least not one that would be able run at any reasonable speed.

Open source hardware is not bad. It just doesn't solve any of the very real problems of producing hardware. It doesn't obviate the challenges or costs of developing new process nodes or chemistries. It doesn't help the marginal costs of producing hardware. If you're just buying fully finished chips it's not like you're getting a discount because the manufacturer saved some money on the core design. They'll still charge whatever the market will bear and pocket the savings.

The idea that open hardware will make the world better does not seem like a supportable statement. You're not getting a discount on an Android phone because someone patched a bug in the Linux kernel in their spare time.

[0] https://spectrum.ieee.org/the-high-school-student-whos-build...
Submitted as a Show HN 6 hours ago https://news.ycombinator.com/item?id=41927289