skysight-inc/HackerNews huggingface dataset:
> In both codebases I’ve merged PRs without any tests and frequently see others do the same. And the world didn’t end and no one shed any tears and the products are still some of best I’ve ever used and the codebases contain some of the most elegant code I’ve ever read.

Yeah if someone actually has 10 years of experience in the product and can tell that the code is obviously correct and tests would be annoying for anyone to write, and the contributor will go radio silent if you ask for the tests, and that it makes the product better and it is unlikely to bite you in the ass, then you can ship it. It is vital to have that well-built mental model of what in the codebase is likely to bite you in the ass though.

This doesn't necessarily lead to a slippery slope where every PR is full of missing or shitty tests and slide right into game development. The slippery slope argument is a logical fallacy.

Similarly, the perfect process isn't one where every PR is cut up until 100 line or less PRs, with unit tests and two developers sit down and do code review to nitpick every other line and then both of them flip the switches like they're sitting in a minuteman silos starting WWIII.
I have a basic question somewhat related to this topic. When I am using Mullvad VPN, many websites block access. (E.g. Lowe's or Michaels.com etc). They force me to disable VPN and I don't like it.

My question is how do they detect that I am using a VPN and is there any workaround to access their site when I continue using VPN?
Can you be more specific? Their flagship is Snapdragon and their top phone with their own SoC design is Kirin, both made by TSMC.
> Hawking radiation is due to process outside the black hole.

Hm, yes, the Hawking quanta originate outside the event horizon, and not very nearby outside either (Giddings 2015 <https://arxiv.org/abs/1511.08221>, Unruh "Dumb Holes" 2007 <http://pos.sissa.it/cgi-bin/reader/conf.cgi?confid=43>).

However it's best to think of "the black hole" as the entire spacetime (in Hawking's 1974 treatment and similar; or alternatively out to somewhere in the asymptotic flatness), in which there are two regions without a horizon, one to the past of the event horizon formation, and one to the future of final evaporation.

What goes into the horizon doesn't stay in, therefore what happens inside is part of the picture (and has been speculated about for fifty years! Fifty!)
I do implementations from scratch/paper myself. I know the value of this. I do my own personal research using graph neural networks recreationally. I was replying to someone who thought the two ubiquitous libraries people use for almost identical functionality were somehow different.
I think the live map looks quite nice (the amount of times I've had to glance over at my phone to see the GPS make me long for something like this), but the calendar and two analog clocks look decidedly less enticing. We need simpler interfaces that are easy to read what we need at a glance, not a bunch of distractions.

The problem with this, of course, is that it runs counter to the continuous consumption much of this industry has been built upon. Apple could probably pull it off if they wanted, given their ability to curb stomp companies into compliance, but they would have to actually want to do it and resist the constant stream of investors asking "why not increase upselling opportunities in the CarPlay UI?"

Much the same way that vinyl records are back in vogue, I wouldn't be surprised if someday some luxury car brands started advertising physical controls for minimal distractions someday, given the direction the entire automotive industry seems to be headed. Hopefully my old Toyota will keep on chugging until we see a physical resurgence, I can't stand the way automakers are trying to shove everything onto a single screen to cut costs.

Also, that's audiobooks, not iBooks.
Must be good to loosen up tight muscles.
Interesting. Maybe not Reply All but I would expect most Americans to know about Joe Rogan’s podcast if not what it’s called. He is absolutely massive in the States, and last time I checked his podcast was the biggest in the world.

OP’s topics lean more tech and programming related. Reply All is kind of a tech show but as the description implies it’s more of a society show centered around tech topics. It’s also, as grandparent implies, one of the biggest and more mainstream tech ancillary podcasts. It is quite good by the way, if you’ve never listened to it.

I would have wanted more technical and deep cuts based on my recommendations
> Source: helped build SB at NYT.

Wow. Another example of HN at its finest.

Great work on the game btw. My gf introduced me to the game and we love it. Though, we play a variation of it against one another in which we open the game on a single screen and whoever finds a pangram first wins.
There's a lot of software in a car besides the entertainment system, you can't leave that to carplay or android. To make good cars, car companies need to be able to write good software.
Sorry, don't agree. In business, like in sports, there are forced and unforced errors [1]. Reddit commited many unforced errors. Have you used their ads system? I tried and did since it was created. It seems done by my other cousin younger than the one developing the Reddit app in the garage.

[1] https://www.reddit.com/r/tennis/comments/29k5i7/can_someone_...
At least they are predictable and closely related to to the community. I can sort of understand that a startup accelerator that runs a discussion board on the side would want to post job postings for their own startups on their own discussion board.

(Also the fact that YC runs HN isn't exactly hidden - the first hint is right there in the URL)

I think it would be something completely different if YC suddenly showed promoted posts from unrelated "partners" or just opened this up as an advertising opportunity to the general public.
We raised $22M to build an OSS alternative to payments and billing platforms
Depending on the specifics, 30% for a deep Apple partnership sounds like an amazing deal
That would have to be calculated as an opportunity cost, That can be fudged to anything. Many real estate development are only successful because the property was bought from the original bankrupt developer.

Opportunity costs can also be a negative number.
Since the paid tiers have paid for the free tier for at least 9 years, I'd imagine that it shall remain available for at least a few more years.
We're still on Terraform 1.5 (pre-license change) and Scalr. Things are still working, fingers crossed.

Was there any pain in preserving existing state files and large amounts of existing infrastructure (and terraform repos) when migrating to OpenTofu?
This looks like a terrible distraction
Add me as another vote that misses them. I totally understand you need a break and other obligations take more time, but I hope you can still find the time to do them occasionally. :)
> Proper moderation

I would point to oldschool forums (and HN!), where the communities were just large enough to moderate themselves and stop nasty off topic junk like that from appearing.

One problem is modern social media has (mostly) yanked this self-moderation power from users. And, as you said, they are too big and too cheap to hire enough mods on payroll to replace them.

Another, that I have, is that they make money from the drug dealer posts! If Facebook has to leave it up, OK, but they sure as heck shouldn't display ads or collect metrics. That should be a far more zealous check.
I think the idea is that you'd have two independently-develooed systems, one LLM decompiling the binary and the other LLM formally verifying. If the verifier disagrees with the decompiler you won't know which tool is right and which is wrong, but if they agree then you'll know the decompiled result is correct, since both tools are unlikely to hallucinate the same thing.
On a large scale of 42 time series datasets, Chronos demonstrates impressive empirical performance. In the zero-shot setting, it matches or even outperforms many baselines which are trained on the dataset.
fwiw:

my work is moving from supermicro to dell nodes due to the immaturity of the support (interface and personnel).
"the Apple of Android" doesn't communicate anything to me other than that you dislike both Samsung and Apple; there are any number of things someone might dislike about Apple and so far as I know there isn't the sort of general consensus that would make such a phrase meaningful.

(I get the impression from your comments in this thread that maybe you're trying to create such a consensus or the illusion thereof, to get people used to seeing Apple casually referred to as an exemplar of some unstated kind of badness, or something like that. That sort of thing never works.)
I agree with the previous poster. If there’s one thing Silicon Valley has taught us, it’s the danger of allowing a tech firm to control the customer interface for your business: whether that’s taxi scheduling, food delivery, search, or automotive UX. Everything will go beautifully until lock-in is achieved, at which point the business switches to revenue maximization. I don’t know exactly what that will look like in the automotive world, but I suspect customers will pay for it in the end.
What about phones? I'm sure they use phones in general, should we also ban phones or listen in on everybody by default to avoid it?

The phones allow them to make trades much more effectively.

In addition, they probably use their hands, feet, voice, maybe these should be disabled for people since birth.
It would be useful if more people could look at this from the driver’s perspective (in a nonjudgmental way). Most drivers I know are well aware of the costs associated with delivering but they do it anyway out of necessity. The job market isn’t great out there and I know many people, myself included, who’ve been job hunting for over a year. And delivering has been a decent fallback to make some ends meet. These fees are absolutely nuking a lot of potential deliveries and hurting drivers substantially.
Speaking of Piers Anthony...anyone know if he is okay? He hasn't sent out his monthly newsletter for almost 9 months.

https://hipiers.com/newsletters/
I disagree. Most obnoxious things you can do right now require some sort of physical presence and traceability. You can cause dangerous situations/accidents by blinding people with lasers. You can throw bricks or other obstructions on the highway, and so on.

The problem is that both of these acts immediately pinpoint you (or at least your general location) as the culprit, so it's pretty risky, not just from a law enforcement point of view but also from a "brick in the face" point of view where you might get a taste of your own medicine by the angry driver whose windshield got destroyed by your mischief.

A technology-based attack on the other hand is invisible. By the time someone even uncovers that this was an attack rather than a generic malfunction you're long gone or may not even have been physically there to begin with.
Aid4Mail
No, the idea is that the verifier is a human-written program, like the many formal-verification tools that already exist, not an LLM. There is zero reason to make this an LLM.

It makes sense to use LLMs for the decompilation and the proof generation, because both arguably require creativity, but a mere proof verifier requires zero creativity, only correctness.
I disagree, long term I think we'd have at least a significant portion of internet data synchronized between the two. Of course early on it'd probably just be in the form of certain popular entertainment sources and informational resources being periodically uploaded from Earth, more akin to a Plex or Invidious server and Wikipedia backup for Mars.

But as the size of a colony grows, it just makes more and more sense to sync up as much data as possible. Eg a YouTube Mars which downlinks ahead of time trending videos + videos from people subscribed to by Martians + videos the algorithm thinks Martians will like and uplinks the same stuff for Earth.
Good journalism isn't free, and nobody is willing to pay. Especially when I can spend a couple minutes on Google and find very obvious misinformation coming from very large publications.

The future is probably what Apple is doing with News+, subscription to access a bunch of news for steady revenue (with ad support), it's pretty clear nobody is gonna subscribe to a generic news service at this point, only niche like finance gets subs, or Substack/blogs if you find a trusted source for certain information.
If you read it as the fork having in 6 months around half the "reach" of the 9 years old Terraform; that's not exactly the best trend for them ...
> The advantage of storing them elsewhere is not quite clear (unless you have hardware support for things like shadow stacks).

The classic buffer overflow issue should spring immediately to mind. By having a separate return address stack it's far less vulnerable to corruption through overflowing your data structures. This stops a bunch of attacks which purposely put crafted return addresses into position that will jump the program to malicious code.

It's not a panacea, but generally keeping code pointers away from data structures is a good idea.
Most car manufacturers (with the notable exception being Tesla) think like this. A lot of the in-car software comes from third parties like TomTom. It makes sense until what happened to phones happens to cars and the hardware becomes increasingly a commodity and software the factor defining the user experience.
How much ram do you have? How much gpu ram do you have? What gpu do you have? What kind of performance are you hoping to get in tokens per second?
> BPC > disable Dark Reader or enable Javascript for site

That's a new one for me
If there are ten rent-seeking car manufacturers, you can conceivably buy your next car from a different company. If there are 1-2 phone OS makers (both coincidentally charging identical fees and duplicating the same business model) you’ve got many fewer options.
It's generous of Reddit to make that offer. The last time I recall having such an opportunity was VALinux back in 1999. However, despite having a 4 letter username and "cake day" in 2008, and regular, solid contributions, I just barely didn't qualify. Karma whores easily do qualify, so that's a bit hard to swallow. But my wife does do a LOT of interaction there and did qualify, so I'm trying to figure out exactly what to do. My thoughts so far:

The big problem is I'm not sure that Reddit, the company, really understands it's business. Though I was expecting the protests of the last year to have gone much further than they did, I think Reddit's response could have been much better, and their response demonstrates their lack of a solid business plan. In particular, the importance of redditors and moderators to their business isn't reflected in their plans (AFAICT).

I think that may end up backfiring.

I feel like their IPO would be better priced closer to a 4.5B valuation rather than the 6.5B they seem to be targeting. There is some potential upside to it, as there might be some justification for a market cap of 10B. But there's a big wildcard in there: the Directed Share Program to redditors have no "cooling off" period, so there's likely going to be some volatility due to "get in, get out". But, the DSP shares have "one vote per share", which might contribute towards people holding them. But that's 8% of offered shares, and offered shares are around 20% of total valuation, so that may be a small enough percentage of shares with high volatility that it won't have a big impact.

The WallStreetBets crowd might have an impact, that will be fun to watch from afar. I'm not expecting anything there, but who knows.

I'm kind of expecting some backlash of the community to the extraction of value by Reddit the company, but I haven't really heard any noises along those lines. I could see their value dropping significantly over the next year because of this. There's a lot of fatigue over the techno-elite extracting value off "the little people's backs". And Lemmy is really well positioned for facilitating a mass exit from Reddit.

The recent news of advertisers making posts that look like regular user posts is, IMHO, leaning in a bad direction. In my mind, that is reminding me of one of the primary things I've seen in Facebook that has dropped my engagement to near-zero levels.

But, there are a lot of other tech companies watching Reddit and hoping for a good IPO leading the way for other similar IPOs. Maybe that will lead interest.

Over all, I'm expecting short term excitement, but longer term rough times for Reddit the company.

But, my investment plans have, in too many situations, been exactly the opposite of the market; I've bought just before the market drops and sold right before it goes up...
nope nopr nope.

Car manufacturers should engineer good cars.

Leave the good software engineering to good software engineering firms.
Reuters and AP regurgitate garbage DC government complex propaganda, it’s disinfo at best and power-reinforcing evil at worst. The people who work there are lazy and sycophantic if they can’t be bothered to get up, go somewhere, and expose information that actually pisses powerful people off.

This is the reason the narrative positions independent journos on Substack and Twitter as a threat. They’re the only ones left holding power to account and punching up. And the best people in the corporate journalism world inevitably get ejected into the independent sphere with social media as their only outlet.
The proliferation of these dash screens is very concerning.

In multiple models across several manufacturers the replacement cost is astronomical. $2000-$5000 for small screens and $5000-$10000+ for larger screens.

When these screens die instantly, and without warning, the vehicle becomes unuseable. You can get used (unwarranteed) screens for about half the price of new but then you are at the mercy of the dealership if they can find it in their hearts to flash it for you using the proprietary OEM software so that it will work in your vehicle.
See also states like Maine where legalization has led to a huge increase in illegal farms run by gangs and cartels.
> Every day's puzzle is guaranteed to have at least one pangram.

I’m almost certain that wasn’t true for at least one puzzle early this year, but haven’t been able to come up with an exact date.
> human hours will be wasted in the transition

You're looking at it wrong. It's not "waste", it's engagement, the lifeblood of startups and any kind of consumer tech company since the last decade.
try adding .i to the end of the url.
The web is slow because it's used in ways that it's not exactly designed for.

This means that even when you try your best, you can end up with very complex code paths for doing things that would be handled through simpler ways in "proper" GUI framework.

It's not really a dig at browser engines - they are very optimized. But they are very optimized because otherwise it would be even more unbearably slow.
Let's hope it kills Denuvo ...
Depending on how cheap the money is.
> Because this loose rubble is in constant motion, tumbling and rolling around, coral larvae don’t have enough time to grow before they get squashed. So the first step to bringing damaged reefs back to life was stabilizing the rubble. The people running the MARS program did this using Reef Stars, hexagonal steel structures coated with sand. “These structures are connected into networks and pinned to the seabed to reduce the movement of the rubble,” Lamont said.
Pinch to zoom, which since basically pinch to zoom was invented should reflow elements.
Before Apple/Android CarPlay/auto drivers would get the equivalent of a refrigerator magnet and stick their phone to the center dash.

By comparison a larger resolution and UI restrictions on controls and apps make this outcome safer. A lot of apps and gestures on a phone don’t work in auto mode.
surely there's no easily seen problems being ignored in the rush to "do good" here.

https://en.wikipedia.org/wiki/Osborne_Reef

steel and saltwater are kinda known to have problems
Can AI do the investigative research?

Sure, maybe AI can replace pundits that regurgitate stories. Replace the talking heads.

But seems like we are loosing the 'originating' data, someone has to uncover the stories.
Taxation is more based on residency than citizenship.

And residency is typically much cheaper to acquire.
AI will enable shift-left and what it means for enterprise products
> If you won't listen to my update, why should I read and respond to your question?

I think there is a different perspective that you are not considering: one hates to listen to your and other N people updates, every single day. And, most of it, is not new or not correlated to one's work.

> Please spend five minutes of your day actually working with your coworkers, instead of making extra work for them later on because you can't be bothered to sit still and listen for five minutes.

Again, there is another perspective: because one wants to give you enough attention, one wants to have a one-on-one communication, independently of the time-box or shallowness of stand-up meetings.

When I was junior, I used to think that (daily) stand-up meetings were an incredible idea. But on time, I realised they are busy work and do not represent, at all, "working with your coworkers", as you said. Actually, quite the contrary: it is shallow work, and that isn't as relevant as the deep work coworkers do in, for example, pair debugging sessions.
My Quantum Spin: Qubit Ordering and Operations
I've actually been having much better luck finding recommendations with Gemini. I have been able to find some nice niche podcasts that I would not have found otherwise. ChatGPT's recommendations have not been particularly great and it feels harder to steer the suggestions in a given direction.
That's definitely impressive tech, and I'm sure the experience inside a headset is pretty incredible. What I'm saying is that it is not a good match for live sport.

When you watch sports they have multiple cameras all over the place. Fixed cameras with long lenses, cameras that zip over the pitch, cameras on blimps, slow mo cameras and so on.

These cameras are so much better for enjoying sport that they put giant screens in the stadium so you can see what happened after a goal is scored.

That experience is never going to work in a VR system (beyond VR as a way to have a big screen available) because if you kept shifting the position and focus you'll make everyone very motion sick.
Correct me if I'm wrong, but the bulk of the existing stakeholders are severely limited in what they can sell over the first, what, 3-6 months, beyond the shares that are part of the IPO.
Well, it is average locally earned disposable income compared to local housing cost, as a percentage. And in that case, houses are ridiculously expensive now. Most of my prior generation relatives purchased homes in the 70s in their early 20s while working minimum wage jobs as single income households. They were forklift drivers and steel workers, required no education, yet somehow a house was cheaper than 2 years income. I think you need to question your understanding a little more thoroughly. Also look at how ridiculously cheap the average rent was... if you don't own, you rent, and rent was something like half of a paycheck, making saving for a house much easier.
Not the only department.

But consider how much of the bloated JS tends to be from external parties, and pretty much everything that isn't CDN-ed frameworks will be stuff either required by marketing, or flat out added through the use of a tag manager.