skysight-inc/HackerNews huggingface dataset:
The biggest reason I find aarch64 annoying to read and write are the sized register names.

`add w1, w2, w3` is the same as `add x1, x2, x3`, but with 32-bit instead of 64-bit values. By itself this isn't that bad, but it's misleading, because you can't mix them, e.g. `add x1, x2, w3` isn't valid, and it doesn't allow you to include the calling convention in the register names, like in RISC-V.
Now you have to remember which range of register numbers are function arguments, which are caller saved and callee saved.

In general, the instructions are very overloaded, which makes searching for and recognizing a specific type of instruction non-trivial.

Both of the above things get worse, once you enter NEON and floating point code. With RVV it isn't perfect either, because the type isn't encoded in every instruction, but rather as a global configurable vtype. However, the instructions them self are defined relative to the current vtype.
If you found even a single job off of it, doesn’t that mean it’s great? This is its main purpose.

Perhaps it could be better, but a lot of people would pay a lot for a single good job offer. And you accepted it.
There was an old Oculus app where you could watch NBA games in VR, except it was from the perspective of 3D camera rigs that were set up above the backboards. The company behind this app, NextVR, was acquired by Apple in 2020. (Meta has subsequently made different arrangements for broadcasting NBA games in VR.)
Thanks, this helps a lot to understand it, feels quite exciting indeed.
This is all often-repeated nonsense that has little basis in truth, especially when it comes to modern Java. I was willing to argue in good faith, but your final remark is rather galling, and I can only assume you're an ass.
Related. Others?

Mathics 7.0 – Open-source alternative to Mathematica - https://news.ycombinator.com/item?id=42349375 - Dec 2024 (58 comments)

Mathics: A free, open-source alternative to Mathematica - https://news.ycombinator.com/item?id=33477793 - Nov 2022 (203 comments)

Mathics – A free, light-weight alternative to Mathematica - https://news.ycombinator.com/item?id=19851934 - May 2019 (83 comments)

Mathics: A free, light-weight alternative to Mathematica - https://news.ycombinator.com/item?id=11459186 - April 2016 (73 comments)

Mathics - A free, light-weight alternative to Mathematica - https://news.ycombinator.com/item?id=5196551 - Feb 2013 (86 comments)

Mathics - A free, light-weight alternative to Mathematica with support for Sage - https://news.ycombinator.com/item?id=4066826 - June 2012 (57 comments)
Historically, this is based on what is described here: https://en.wikipedia.org/wiki/Alexander_Stepanov#Standard_Te...
I wouldn't be that critical. As a long-time but now somewhat infrequent Mathematica user (from the times it ran on the NeXT) I'm happy to see alternatives, even if they didn't benefit from Wolfram's almost maniacal drive for feature coverage.
Might even have a driver have something fall out of their pocket. It's basically a certainty that our cars have been driven by complete strangers whose identities we generally never know: the vast majority of auto service you give them the keys and their employees will move your car around.
Unfortunately Go doesn’t support exporting DWARF for WASM atm, so printf is the only option.

https://github.com/golang/go/issues/33503
> Are there other dimensions that might be important for a particular use case so a different algo may be best?

Choosing a compression/decompression algo is an optimization problem essentially. It mainly depends on your IO for input.

For instance, if you have very fast IO, say a local SSD at 7GB/s, then you probably don't want compression, as even the fastest decompression will not go beyond 4GB/s.

If you have moderately fast IO, say 4GB/s, then lz4 is likely a good candidate, you will get maybe a 0.5 compression ratio, meaning you will spend half the time reading your input, while decompressing at nearly the same same speed that you would read uncompressed data.

If you have very slow IO, say 100MB/s, then the compression ratio becomes the main factor, overriding decompression speed.

So, essentially, you want to solve an optimization problem of lowering the time to read the compressed file and decompressing it, conditioned by your reading speed, writing speed, and CPU to spare, under a time constraint of compression speed.

There are solvers on internet doe this problem, but I would love to see someone write it down here in plain math.
OpenAI Rejects Elon Musk's Bid to Gain Control of the Company
> The straight lines and simple shapes make it easy to do lettering with pencil or a pe

I'm guessing these letters are also easy to create with a CNC machine.

(Now that the page has loaded I see he identifies engraving machines.)
I've noticed this a lot with climate science, especially. People are waiting for a silver bullet that will reverse climate change and I think in reality, it will have to be a huge, complex, coordinated effort.
> Understaffing due to discrimination was a factor

I'm baffled by this defense.. Understaffing safety correlates with what aspect of its causation? The FAA isn't exactly the same as running the worlds sleaziest real estate firm or social network. If it were, you could apparently fire people because its Tuesday, go home, rape your wife and then maybe take some ketamine and as long as you didn't hire some black guy you aren't the kind of jerk who gets into that dangerous kind of understaffing so of course your organization is going to be fine.
Most of my classmates would have been very interested in an academic career if they thought their chances were even one in ten and this was in a top tier program. And they were all totally willing to relocate too.
The big distinction is that for Tailscale both endpoints know they want to talk to each other, and that both have Internet access. That's not the usual case firewalls are designed for.

Tailscale doesn't strictly need NAT traversal. They can run only their DERP servers and still continue to work. If your firewall tries to block two devices from communicating and yet allows both devices internet access, you have already lost.
Sounds like an anti-gay crusade to me!
take two biege pills and try again tommorow, if you are still feeling enthusiastic or creative and energetic in any way, the dose can be adjusted till you achive total blandness, then you can start to slowly build your contacts, to some completely improbable number and achive biegevana
It's easy to add reliability to a system if you scale the interested userbase down. Which is exactly what Xitter is doing by pushing content far to the right, and making it a more hostile environment for discourse.

Like, yes, I can run a reliable system with 20% of the engineers if I'm aiming for 20% of the userbase and 20% of the quality of the platform that I was originally trying to run.
(title omits: in Idris)

But it's really not fair to C to exclude all the special compiler support we do have with -Werror=format=2. Given the existence of the format/format_arg attributes it's really quite powerful; the only thing that's missing is support for custom formats, which requires a compiler plugin.

In C++ you can even make a wrapper macro that safely converts arbitrary C++ classes into suitable types for C printf. If you know all your types ahead of time you can do similar with C11 _Generic I think.
Maybe he meant net advantages. Rust has some advantages (ADTs, no constructors, no overloading, no preprocessor, well thought out set of string types) and some disadvantages (compile times, debug performance, heaps of wrapper cruft to step through when debugging, explicit lifetimes, pervasive type inference, ad-hoc polymorphism, no ABI stability, poor support for dynamic linking, anemic standard library, pervasive one-element-thinking encouraging millions of separate allocations all over the place, culture of simplifying code by adding copying and reallocation everywhere because the borrow checker makes sharing verbose and difficult ("just use clone"), general complexity, dramatic and dogmatic community with a penchant for social media bullying (eg serde, actix)).

What is an advantage or a disadvantage depends on who you are. Personally, I find the disadvantages (as I see them) outweigh the advantages. Others believe that some of those disadvantages are actually good things. And some of them depend on whether you are comparing to C or C++: compared to C, Rust has many disadvantages, but C++ has many of the same disadvantages, and often is worse.

I don't think Rust will ever have more new code being written in it than C and C++ combined. I doubt it will overtake either individually.
Yeah there's lots of "diffusions" out there and I was similarly curious which one they were going to be writing about.

I liked the post though.
Too high for what? Too high for desired services level? Too high for most of the people or few? Too high for value? Too high for your personal preference? It's really important to be specific, and what I've written is still impossibly vague to be even close to actionable
This would be fair (I hadn't considered names in my original comment). Whether truly sensitive or not, protecting names/addresses/numbers/etc. would make sense (especially if there was a footnote to a "why" something was redacted).
VR and Sports together certainly brings out the cynicism! Seriously tho, as with all VR/AR, this is _extremely cool_, but the practical reality is that in order to enjoy this with a group of friends we'd need ~8k in clunky heavy hardware on our heads. Cheaper to just go to an NBA game.

One could imagine this tech being used to rent out local gymnasiums with movie-theater-showing-a-3d-film style glasses so that every small town could go to an NBA game together. The blocker is making the headset cheap enough that you could have two thousand of them together in a room without the room being wealthy enough to have just flown to an actual NBA game in the first place.
It would be cool if the pattern to solve the maze has both people's initials/names in it.
We wrote all sorts of stuff this week and this is what gets to the front page. :P
It just occurred to me that the optimal sofa looks rather uncomfortable. There’s this narrow bit in the middle, which has very little room to sit on. You can’t lie down on it and take nap.
Prepare for endless despacito. XD

This is neat. Diving into the Spotify api is on my do-to list
Like sure I’m not familiar with the value of these programs, but you get that these programs are literal pennies compared to the government’s budget right? It’s not even worth talking about these. DOGE cuts aren’t going to add up to shit and you bet we’re going to hear “mission accomplished” in six months, meanwhile Russia and China and are going to grab global influence in the absence of USAID and we won’t experience the repercussions for years after these clowns have left office.
Seconded because just having something autowrapped like that and putting the clipboard would save me time: release the snyder cut, er, bash script!
Peak performance is achieved at ~21 cores. Bottleneck - without any special configs - is RAM to CPU bandwidth.

Let me know if you find some config that really leverages more cores!
> Of those who didn't vote, why would they choose to vote next time?

My recollection is that non-voters tend to be reliably lazy, but I can’t find a good source.

The system almost relies on it. If you can identify a non-voting bloc, in primaries or ideally even generals, you can tax them to give goodies to citizens.
As somebody who considers himself something of a Semantic Web enthusiast / advocate, and has also read GEB, I can totally relate. To me, this is really one of those "THE ISSUE" things: how can we use some notion of formal logic to solve problems, without being forced to give up hope due to incompleteness and/or the Halting Problem. Clearly you have to give up something as a tradeoff for making this stuff tractable, but I suppose it's an open question what you can tradeoff and how exactly that factors into the algorithm, as well as what guarantees (if any) remain...
Native to Our Built Environments
I wouldn't want to be new to the Internet these days.

Everything requires your phone number, sometimes photo or even ID. You can get flagged as a bot randomly and they won't even tell you.

When I signed up for Instagram, I was banned before I could even log in, but they didn't tell me about it, so I thought the sign up process had just failed. I only found out after googling it.

I had similar problems creating a Twitter account. On Reddit, you can't even post threads on most subreddits at first.

Conversely, signing up on Tumblr, Pinterest, Bluesky, and Mastodon was pretty easy and didn't require a phone number or app.
I don’t recall this happening, do you have an example?

Edit: All the criticisms I can find online seem to point towards creating a top caloric standard with no change as kids age (and that seems to be pretty valid criticism to me). Also that she established low fat options which increased sugar intake (perhaps wasn’t as dubious then, but definitely seems to be more valid criticism now)
Maybe corporate, but that's how it works in my family...
Is it reasonable to guess that this is a wrapper around SymPy and related Python libraries? If so, it might be a nice thing, even if it doesn't replace the entire corpus of Mathematica, to the satisfaction of mathematicians. Specialized, domain specific software, still tends to be a tempting but elusive target for the open source movement.

I'm an industrial physicist. I used Reduce in grad school, and Mathematica in the 90s. Since then I've also used MuPad, WxMaxima, and SymPy. Today, in terms of functionality, SymPy is sufficient for my needs. It lets me "code" derivations that I used to do by hand, directly in the same programs where I use the derived formulas. This makes the whole shebang more self-documenting and reproducible, even if the math I'm doing isn't super sophisticated.

But compared to Mathematica (perhaps biased by past experience), I still find SymPy to be awkward for use as a math notebook. For this reason, I'm willing to explore a tool like this.

Though I don't know the cost of Mathematica to schools, a free alternative might have an educational use. A friend of mine was a high school math teacher, and used Mathematica in the classroom. But the cost of maintaining a license was an ongoing issue.
The market data business is quite an oligopoly
I'd assume not. Tumblr isn't anywhere near as big a player in the social media arena as Meta is.
> since the controls in place were almost all things that people could have done voluntarily

The useful part of quarantines was to protect hospital capacity. We don’t have a form one can sign that says you get to take risks but are put at the back of the line for healthcare access under certain circumstances. (I think we should. Particularly with vaccines. Modelled off the Arizona stupid motorist law.)

> vaccine mandates where people were just spreading plain misinformation that they would have an impact on transmission numbers

Do you have a medical source that claimed this? It seemed to mostly be right wingers who didn’t understand the polio vaccine was also non-sterilising. (In some forms, negatively so.)
Simple, obvious answers appeal to a broader, less-knowledgeable set of people. In fact, it really doesn't matter if there is any basis for the answer, like a lower-dimensional approximation. If repeated enough, more people tend to believe the simple, baseless answer. I feel this is a bigger issue these days than needing to use more complex answers among people who understand the complexity of the problem.
Yeah.. it's one thing to say "it would be nice if I could query a LLM about this topic" and another to say "I refuse to study this topic unless I can query a LLM."

To be frank, the latter does not sound like the mindset of an effective engineer -- in my experience effective engineers are curious, voracious in pursuit of knowledge.
At scale, those are all the same things.
I have aphantasia… so audio sports broadcasts are awful for me.

Radio sports sound like a long string of facts that I need to remember but can get overwhelmed with.

I’m jealous that radio is immersive for you!
I spent a month setting up serverless endpoint for a custom model last year with Runpod. It was expensive and unreliable, in addition to long cold boot times. The product was unusable even as a prototype, to cover the costs, I'd have to raise money first.

In a different product, I was given some Google Cloud credits, which unlocked me to put the product in front of customer. This one also needed GPU but not as expensive as the previous. It works reliably and it's fast.

Personally, I had two use cases for GPU providers in past 3 months.

I think there's definitely demand for reliability and better pricing. Not sure Fly will be able to touch that market though as it's not known for both (stability & developer friendly pricing).

P.S If anyone is working on a serverless provider and want me to test their product, reach me out :)
What? That sounds less than ideal.
The NBA uses 30-60 cameras to give you a truly immersive view with all of the angles in high definition. This "VR" app uses one view and a bunch of shitty animation. If the NBA was going to truly embrace the Vision Pro, they'd need to replace most of all of their stadium rigs with new gear that could feed both the live TV broadcast and the server farm crunching it for VR. Not doing so means fewer high quality angles and more "fake" bits, less dynamism, and more low-poly, laggy garbage like this demoware that, despite claiming to be immersive, simply cannot compete on immersive-ness with boring old 2D broadcasts.
https://archive.ph/Dk7Xg
Speak for yourself. I also don't want it to be readily apparent how many different devices I have, or when I'm using which one, or how many people are in the household, or when who is home.

Granted any service that I consistently interact with is likely to be able to figure out at least some of that information if they put in some effort. But I don't want to be freely providing a complete picture for zero effort.

Creepy data aggregator stories pop up on the HN front page regularly so hopefully I don't need to explain why I feel this way.
I learned about the `scoping` package today. Idk if it works exactly as I expect from other langs, though.
I think it will become standard to provide up to date references specifically tailored for LLMS.

For example: https://svelte.dev/docs/llms
Disagree. It's very easy to do it in good faith--you have been given some incorrect piece of information that makes you think you're within the law. Somebody transposed some digits, you hit the wrong house.

That being said, there's no justification for sharing the nudes. Doesn't matter if you have a warrant, that's still wrong.
> In Ada, I think the relevant exception is Constraint_Error, but I don't think Rust has a way to do that. By "that" I mean ordinary addition like "a+b" where and b are i32 variables, gets overflow checked without having to call checked_add(a,b) instead of a+b. Is that mistaken?

So, this answer to this is yes and no, in different senses.

So first of all, Constraint_Error is an exception, and Rust doesn't use exceptions for error handling like this. It does have panics, but a Rust-native API wouldn't use a panic in this situation. and so the type signature of checked_add looks like this, for i8:

pub const fn checked_add(self, rhs: i8) -> Option<i8>

This returns an Option type, which you can than handle as you wish. So it's true, you invoke this like

a.checked_add(b)

Now, there are two other common semantics for checked addition: saturating, and wrapping. They look like this:

a.saturating_add(b)
a.wrapping_add(b)

Okay. At this point we can actually get into the interesting part: yes, typing this is not as nice as a + b. However, for both saturating and wrapping addition, there are wrapper types:

use std::num::Saturating;

let max = Saturating(u32::MAX);
let one = Saturating(1u32);

max + one

to get a u32 back out, you use .0, since this is just a wrapper struct:

(max + one).0

So! What about checked? Well... there isn't one. It appears that the reason why is that it was proposed, and then there wasn't a lot of enthusiasm, so it got closed. What's interesting is that Saturating was in that RFC as well, but I guess it made it in later.

There exist packages like https://crates.io/crates/checked so if you really want this anyway, you can still have it.
How Bad Is Your Spotify Bot
Sorry off topic, but isn't that x.com plastered on every single post not a flagrant conflict of interest? I mean other government sites subtly have a link to social media hidden somewhere and from multiple platforms basically x.com and Meta.
> Elon is competent

You fundamentally misunderstand reality. The other wrongs of your comment flow from that.
You're making swathing character attacks and claiming that you are qualified to know who is qualified. If anyone has a hero complex its you with your emotional argument and alarmism.

Very compelling argument, definitely not partisan rhetoric.
Well the more serious problem is that a suitable 3D 360 camera for the Vision Pro doesn’t actually exist yet.

And even the few 3D 180 cameras are extremely bulky, expensive, and not even taking full advantage of every pixel.
I found my dream (and current) job via a recruiter who messaged me on LI. I couldn't to this day tell you why I opened that one message where I ignored dozens of others, but yeah.

I will say though the social aspects in specific are completely value-free, IMHO. It's just business-Facebook. I've never read nor made a single post on LinkedIn, and can't envision a time I would, and every post I've seen elsewhere screenshotted seems fucking unhinged.

So like, these features: professional networking, private messaging, as an archive of your work history: sure. Those work and are good. Everything else where it tries desperately to be a social network nobody asked for: garbage. Bin it. Could probably cut the operating cost of the website by 96% if you did, too, with the added benefit of not needing to send me dozens of fucking emails begging for engagement.
When you're not "inside the action" of the live TV broadcast, you're not going to turn to a low-poly video game map because the live broadcast will give you HD wide shots better than this tabletop garbage. No one wants to swivel their head back and forth with 1.5 pounds of dork box cantilevered off their face for an experience less immersive than the live broadcast and offering zero value add.
> all of Trump's experience is still at entirely the wrong kind of company.

Also 6 bankruptcies
Before AI slop ruined image search results, Pinterest ruined them. Their entire business depends on being able to shove their copied and recompressed and difficult to download image results in your face in place of the simple image file you actually want.
"Do we have such little faith that we judge a person before a single stroke of the pen?"

Yes.

It's not like he hasn't got a massive body of public statements to read. I mean, I understand that people in gov think we are all dumb enough that we think he's "pro-vaccine" no, somehow despite his toddler merch.

I mean, sometimes I think I am dumb too, especially when I respond to folks on this site. But yeah, most folks here aren't so dumb they can't tell what RFK will probably do based on his long public record of saying dumb stuff.