skysight-inc/HackerNews huggingface dataset:
Doesn’t the type checker have to run in JavaScript to fit into VS code? A C# implementation would be much faster, no need to go native with C++/Rust (not sure speed in Go would really compete).

The big issue is dealing with a structural highly expressive type system, the language of implementation is only going to be a constant slow down (but that constant can be large).
I'm very bullish on genAI, and I bought the new phone, but I really don't think the features shown are that exciting yet. It feels like they're laying the groundwork for more powerful AI to be ready to do things in your phone apps, and the current features are just paving the way.

The killer-app (that isn't porn) is going to be asking your phone to order food and it guesses correctly what you want while cross-checking availability, pricing, and discounts. Then a Waymo or Wing Drone delivers it.
I don't know about the second part, but I fully agree with you on the first part.

Some days HN feels like an echo chamber, where thinking outside the box is heavily downvoted.
What theory is that? How would it be tested? Gravity is not even a force, it is a consequence of how space deforms around mass&energy. So, even if something like "negative mass" existed, it wouldn't repel, it would just cancel out.
Interesting! One quick question, how did you validate your data and ensure its correctness, since the ground truth is unstructured?
Approval of Three FIPS for Post-Quantum Cryptography
Do you work with video platforms?

Video tends to be bad for the receiver if the sender has bad upstream.
Sometimes, doing something different does result in something better.

For example, EVs. Compare EVs to ICEVs and you can point out a lot of faults, but ICEVs have had 100 years of refinement. Perhaps you're comparing battle hardened SA with fledgling LLM based SA?

Never don't do new things, not only when its for fun, but especially when its for fun. If you want to be closed minded, that's your choice, but don't try to put that mentality onto others.

Keep your non-hacker mindset to yourself.
What rationale would that be? I doubt the FSF would write a version of the AGPL designed to let you use DRM to end-run around it if that's what you're getting at (you can always write such a license yourself, but, why?)
My bank apps don't run on rooted phones.
Thanks for your valuable comment :)
IIRC I discovered it via some random HN comment a few years ago. Binge-watched everything he made back then. I'm happy to hear he's making videos again, I'll catch up as soon as I have a spare moment.
Radical Computer Science [pdf]
I want to know how much time does he spend in an office, let alone a cubicle or in an open space.
Sandpaper also come in different roughness. So in this case maybe a 300-400 grit sandpaper?
There used to be a few of those around, but they were patent trolled out of existence. I’d pay for an iOS graffiti keyboard.
Simple AI fatique I guess? Personally I'm immediately turned off when yet another product announcement mentions AI gimmicks, especially when there's no other features to get excited about. It's like the time when each new TV came with "3D support".
>Front end web dev? Nah, who gives a shit. Embedded system that's fail deadly? Um, yes.

More likely that a frayed power cord (or one of a thousand other things) on your laptop will catch fire while you're on the client premise, causing thousands in damages, or that same laptop has some sort of trojan/virus that you spread through the client network, and you're on the hook for remediation.

IME, most of the time that's why an independent consultant needs business insurance. The quality of the work is generally handled by the contract.

But YMMV.
I get really bad GERD from coffee and black tea, a bit less from green tea.

I don't get GERD from Mate tea or energy drinks. So I think it's not the caffeine. Since they both contain high amounts of caffeine, even higher than black tea.

I've noticed that if I eat more fiber I can somewhat mitigate this. But it needs to be consistent. Not just a little extra fiber before coffee.

BTW a high-fiber diet can be a natural ozempic by raising GLP-1 levels.
The old man and the sea
i used to think that too. but then ss fold device changed my mind.

the problem mostly come from the tensor chip where apps/games are not optimized for it. can't imagine using a top flag phone (pixel 8 pro) at the time with sub-optimal performance.
Mobile payment and car unlock (when I don’t have my fob) are what I use my Apple Watch for mostly. Mobile payment in particular is a game changer (no need to whip out your phone). Notifications are also important, I didn’t wear an old fashioned watch before I bought an Apple Watch.

I can also unlock my house via my watch, but again, it’s just more convenient than using a phone.
People who have never held the phone are not giving "reviews". They're trotting out pet peeves.
> Disney claims Piccolo reportedly agreed to this in 2019 when signing up for a one-month free trial of the streaming service on his PlayStation console.

Okay this is full blown dystopia, the onion couldnt even make this up

Christ, she even self administered an epipen, was transported to a hospital and died anyway

This is a nightmare like, just be a human Disney, there are so many humans involved here
Yes, I’m fairly familiar with garbage collectors and these are called tracing GCs. My point is that a big chunk of the system doesn’t use these, so you can’t just put the blame on one thing.

Would one percent be responsible for a system’s bad performance if that is “slow”?
I was sort of following you until Android but you completely lost me there. That just doesn't make sense trust me. Disclosure: I work at Google in Cloud but I'm a product manager and I'm used to think about where money goes to do what. Android as a company makes no sense.
>asesprite already wires into my engine

Do you mean you have some kind of Aseprite plugin, or are you just hot reloading the sprites?
Isnt this something that John Shutt solved with his Vau calculus? Basically, each "macro" (actually kinda like fexpr) invocation creates its own static environment, which neatly solves all hygiene problems and problems outlined in this article?
Ok I don't mean to be pedanntic but a sphere is just the boundary of a ball. If we are trying to capture volume we should be talking about balls of water.
Complicated types are effectively little Prolog programs, doing a bunch of very useful and helpful checks to make sure that your code does what you expect it to.

I do wish that Typescript would offer some tools to make it more ergonomic to write performant unifying code (I kind of despise conditional types, especially when you then use it to create the partially valid types by resolving to never). But I think it would also be very helpful to get people to understand that your types are their own little program that run and have performance characteristics. It's not magic!

There's been some handwaving about performance not being due to it running in JS (because at the end of the day unification is unification is unification and it takes time), but looking at the Typescript codebase in general and poking at it, I can't help but wonder how much of even the heavier stuff is "death by 1000 cuts" on that front.
Think Better
Thanks, I hadn't crystallised in my head that being a doctor has somehow become a passion industry for many countries (like the UK). It had all the hallmarks of a passion industry but my brain rejected drawing the connection presumably because medicine seem like a typical passion field (like videogames or art are).
Strictly speaking you are correct. I concede that from an individual licensee perspective. The scenario I had in my head is under permissive, if the community forks, they would be on par with the original author. Under AGPL+CLA, if the community forks, the original author can sell "usable" licenses but the fork community will be stuck to developing an AGPL-only solution, which is a practical hinderance for the new community gaining any ground at all.
What caught my eye was that in 2011 they couldn't shoot it in 6K stabilized and crop for motion afterwards. But there were already 4K cameras at the time, and with zooming they should be able to capture at least the critical time window of Beckham kicking the ball / landing stabilized for easier post-processing.

But the nature of motion glitches found suggests they did actually post-process on a shaky video. They could do a better job, but then the trick worked for more than 10 years, and thus fulfilled its purpose more than enough.
> I noticed you were searching for shoes the other day, so here's a Nike ad

That's not native advertising. Native advertising is when you write an article about a subject just to shill a product.

On YouTube it's somebody saying they've been using Ground News to do research for the video, or that security it's important, then transitioning to a NordVPN ad. You're looking up to somebody for information, but then they turn into a psychopath for 2 minutes to push vitamin supplements when they damn well know you can just eat better instead.
I would assume that lawyer companies might want to take this on without charging the person just because the potential upside of winning the lawsuit or settling it is so big. I agree with the general case that the legal system is really not accessible to everyone though ofc
Nothing from me will be good enough for you on this topic, I'm afraid. I'm sorry I can't meet your expectations, I recognize that it is on me, not you.

n.b. for reader so it's clear I'm being earnest in my exit, not passive-aggressive: Yesterday, we disagreed on whether "parallel construction happens" obviously shows that it is meaningless the 5th circuit said geofencing warrants violate principle of presumed privacy. This was important because given parallel construction happens, I cannot say that it is unlikely that the tech companies, judges, DA, and cops will collude to continue serving geofencing warrants, responding to them, and using them for evidence, hide it from the court and defendant, and use parallel construction to nail them.
Honestly the current court is more of a Ritchie “trusting trust” scenario.
Interviewing the Interviewer: Questions to Uncover a Company's True Culture
Show HN: GPU cluster energy costs made simple
Hey HN, Rushil here

I was planning on scaling out computing for one of my startups and wanted to see how economical it would be to run to my VCs and convince them to fund our data center. One issue I found is that between all the prospective sites, I was manually comparing energy costs, and I wanted to create a way to track it.

That's why I created Compbricks, a way to efficiently calculate the cost of your computing needs.

I also wanted to see how much I could save in the long run versus renting from Lambda or some other provider; although financing is on a case-by-case basis, energy and soon the cooling costs from the location our platform gives gave me a rough idea where it made sense to invest and where not.

Let me know what you guys think and if you have any feedback/feature requests.
Counter pedant: a ball is indeed what you get when, as in TFA, you put water “in a sphere”
>and any intent to accurately inform vs. just get clicks.

This is missing one option. The source - plastic surgeons - may be people that profit from liposuction treatment. To keep patients they might not want people to use ozempic, or at least get people to notice changes in the face faster and get a facelift.
After my first home run in business, which was widely publicized, I learned that my email and phone number were tainted. On craigslist I started getting worse deals, seems everyone seems to google everyone.

I rotated identities, just email, phone number, assumed a different last name in casual arenas, and everything went back to normal as a nobody.

Subsequently, the most amusing thing became reading about women googling all their potential dates. I never do that, but its funny that I’m a ghost and makes me wonder how many other ghosts they're giving the green check mark on. Seems like a waste of energy.
> Top tech reviewers e.g. MKBHD

„Top“ in the sense that a lot of people watch them. Please don’t take seriously what they say. Luise Rossman did an excellent video on marques apple propaganda.
You can touch up a splat in the same way you can apply gross edits to an image (cropping, color corrections etc), but you can’t easily change it in a way like “make this bicycle handle bar more rounded”. Ergo it’s not art directable.

With regards to dynamicism, there’s some papers yes but with heavy limitations. Rigging is doable but relighting is still hit and miss, while most complex rigs require a mesh underneath to drive a splats surface. There’s also the issue of making sure the splats are tight to the surface boundary, which is difficult without significant other input.

Other dynamics like animation operate at a very gross level, but you can’t for example do a voronoi fracture for destruction along a surface easily. And again, even at a large scale motion, you still have the issue of splat isolation and fitting to contend with.

The neural motion papers you mention are interesting, but have a significant overhead currently outside of small use cases.

Meshes are much more straightforward, and with advancements in neutral materials and micropolygons (nanite etc) it’s really difficult to make a splat scene that isn’t first represented as a mesh have the quality and performance needed. And if you’re creating splats from a captured real world scene, they need significant cleanup first.
Waring contacts opened me up to soo many activities that I just couldn’t do as a child (or would be far too uncomfortable) - swimming, social dancing (slasa), contact sports (taekwondo) or most sports for that matter.

Eventually I did LASIK because of an eye infection scare though, figured it was better to take the risk once and fix your eyesight, than go about life constantly at risk of getting blind.

But it was never a _go back to glasses_ situation, I couldn’t even imagine my life without being able to do all the activities I enjoyed doing.

LASIK was soo cool and transformative that I recommend it to anyone now, and honestly the operation itself was a fun adventure in and off itself - even blogged about it at the time https://medium.com/@ivankerin/a-humble-mans-account-of-the-l...
I will definitely explore the monthly-conversion to re-subscribe. Thanks for the tip.

While not everyone would agree, it would be nice to see if the renewal attempt was made say a month in advance of the expiration date. My paranoid self thinks I am one long vacation + expired credit card away from losing my email.

As a rule, I try not to lean on the good graces of for profit companies. Having expectations for how long my account would be functional were I to miss a payment is a game I care not to play for vital services.
...but how do I keep these people away from me? Is there another device, or can I just chuck stones at their stupid happy faces should they come into throwing range?
The indoor example with the staircase and railing was really surprising - there's only one view of much of what's behind the doorframe and it still seems to reconstruct a pretty good 3d scene there.
I'm not sure if you are kidding but just in case you are not this is very misleading and in fact misguided.

Refering to polynomials as exponential just results in confusion essentially removing any meaning from the word. Any function can be written as something involving exponents, so that statement becomes meaningless.
It’s almost like blaming Glock for police shootings…

It has nothing to do programmers and everything to do with Post Office’s management. If they bought buggy software they had years to seek recourse for that.
Do you mean their contact us email? It didn't occur to me
Counterpoint: why do you feel entitled to free content?

Normally if you don't agree to the price of something, you don't pay for it and you don't get it. With content people feel okay with both getting the content for free _and_ denying the creator any income.

Then when the creators dare to bring it up, there's invariably a comment like this downplaying their contribution.

It's truly adding insult to injury.
Same for me, I feel all those AI assistants are most of the time hit or miss (even though they improved very much in the recent times) + UX is most of the time not that good because of the network latency.

But on the positive side i like the new 9 pro because of its smaller size + hardware improvements (better ultrawide, ultra sonic finger print sensor, 16GB RAM...)
You can dogfood all you want at Google and file all the bugs and feedback, if it doesn’t fit in the snide product managers narratives, nothing gets fixed.
(I am not a lawyer, not familiar with Florida state law, and this is not legal advice nor a legal opinion)

It is possible that Disney's lawyers expect their motion to dismiss the wrongful death lawsuit from the Florida trial court and compel arbitration to fail, but are (1) attempting to take the shot and see if the judge agrees, which is a win for them, and (2) may be attempting to take advantage of the rules of procedure where even if their motion is denied, Disney can benefit. There is little for them to lose by trying.

First, as others have commented, even if Disney's arguments fail, the only real consequences are born by the plaintiff in terms of time and other resources. Civil trials like this are wars of attrition between parties with vastly asymmetric resources.

Second, under the rules of civil procedure in many states, which may be the case under Florida law, a denied motion to compel arbitration can be appealed and while that appeal is pending, the case would typically be "stayed" (i.e. paused). Resolution of the appeal can take several years, again applying consequences to the plaintiff in terms of time and other resources, even if the appeal fails.

Because of the above, US corporate defendants have been observed to incorporate motions to compel arbitration into their strategies, even when no arbitration agreement, whatsoever, existed. Even in such a situation, when their motion to compel arbitration is denied, the trial court case is stayed (i.e. frozen) for several years while the denied motion to compel arbitration is pending appeal.

In California, this became such a problem for both regular plaintiffs and the state's Attorney General, that the state legislature passed a law to change the rules of civil procedure, via SB365 (2023), which took effect this year on January 1, 2024. Under current California law, trial court cases are no longer automatically stayed while a denied motion to compel arbitration are pending appeal.

https://leginfo.legislature.ca.gov/faces/billTextClient.xhtm...

Meanwhile, under US Federal Law (from a Supreme Court ruling in Coinbase, Inc. v. Bielski - 2023), when a motion to compel arbitration under the Federal Arbitration Act (FAA) is denied, the trial court case is automatically stayed.
Once the Gaussian Splats are computed (whether via ML or classical optimisation), they’re very efficient to render (similar to 3D meshes used in games). High fps isn’t incredible.

Having said that (I have yet to read the paper), "efficiency" probably refers to the first part (calculating the gaussians in the first place) not rendering.
fly.io isnt a baas. They give you a VM. Just a more nice dev and deploy experience (with a markup). And they didnt shutdown.
I heard she also swallowed a spider that wriggled and jiggled and tickled inside her
> The original spirit of the GPL is about identifying people doing bad things we don't like and trying to prevent them. All those bad things have to do with redistribution, not with using the program.

It's not. It's about making sure users can fix the bugs in the software they want or need to use, and share those fixes with others. Rules about redistribution are a means to that end.

The GPL was originally written in an era of mainframes and terminals, the idea of running a program via some intermediate system is not novel. But no-one in that era would have dared try to argue that a program hadn't been distributed to you because it was running on a machine in a different building rather than one under your desk.

> This is no different from Adobe, Apple, Microsoft, ... identifying people using their software in ways they don't like, and crafting their EULA terms to turn those activities into a license violation.

If you make your equivalences broad enough then anything is equivalent to anything else. "This license is written in text, making it no different from that license that is written in text".

> A free software license can only use copyright law, and only be concerned with copying.

You're confusing ends and means. The free software movement was actively opposed to copyright law and wanted software to be uncopyrightable. But that was no reason not to use a copyright license that served their goals.
LLMs are shit at generating content, but summarization works really well.

I’d like to use your project
A release of the 9th model of a phone is not "change", the change lies in the past for devices like this. I believe general statements like this increases the cynicism of those that don't really feel invested in the soft- and hardware landscape of current-day smartphones and there is a lot of reason for that in my opinion.

Essentially get the same product with improvements that are only another iteration. The Pixel 9 might be a good device comparatively, but I would be more surprised if people were too hyped about it. The larger context of hype and Google is relevant here as well.

First question I had when hearing about a Google phone is, if they try to make it harder to block advertising. I don't believe the thought is too unreasonable, is it?
Facepalming isn't sneering -- in that loose of a definition, the above post itself is sneering.

You are misrepresenting the thread: you made a reply demanding I enumerate any legal professionals who had their careers ruined due to parallel reconstruction, in response to me answering someone's question about why the 5th circuit decision yesterday mattered in practice.

You also didn't attempt to follow-up at all, you weren't doing earnest inquiry, there wasn't a crowd of people. Just you, bringing up an unrelated topic to police me answering someone's question, via agreeing with them that it can still happen mechanically, but it won't in practice, because police / warrant judge / tech company / DA chain is diffuse enough that they can't effectively collude to hide from the trial judge they used a geofencing warrant.

You've replied here a few times, as I note in my reply to one of the others: Nothing from me will be good enough for you on this topic, I'm afraid. I'm sorry I can't meet your expectations, I recognize that it is on me, not you. You read my posts as dishonest personal attacks, and its due to my cocksure verbiage coupled to my inability to definitively rule out the possibilities you raise.
3.3 - they reallowed unicode literals.
Well this absolutely isn't true. Foreign access to the Chinese market is incredibly restricted. Most businesses require a local partner to operate in China, the capital requirements are incredibly high, corruption is through the roof, and when the local partner or the government rip you off, you absolutely will not have equal protection under the law.
World record speeds for 2 Olympic events have fallen over time. We can go faster
Hospitals struggle after hackers target a blood donation center