skysight-inc/HackerNews huggingface dataset:
OpenXrypt: Secure and Private Direct Messaging for Social Media
Dieter Rams turns 92 – Stream "Rams" for free May 20 and 21
Yeah I was going to say. The very first Surfaces in 2012-2013 were ARM-based (using Nvidia Tegra), then they switched to Intel, then they tried ARM again in 2019-2020 (using Qcom Snapdragon) then went back to Intel again. Third times the charm?

At the very least they seem to have decent x86 emulation performance this time.
Wow, I’m continually floored by how bad Intel shit the bed.

I remember not too long ago the only computer you would see is a “wintel” with a few esoteric graphic designers in Mac.

I guess it’s now “warm”?
No US court will extradite US persons for violating a British court order.
Do they not numb you up for this?
Yes and they would be called bladders, but then you need to carry a gas to compress the bladder.
I hope the Snapdragon D3D12 drivers come with actually working H265 video support, unlike on AMD where this is broken and no one seems to bother to fix it.
Fortunately, most text is proportionally spaced, rather than monospaced, so you cannot really determine the number of characters, only the length in pixels/points of the redacted phrase.
I wonder what Apple's priorities are for the M5 chip. I'm all in on inference and training in my personal life right now, so if I were deploying $20bn with TSMC, (or maybe more this year!), I guess I'd be trying to spec out a scalable architecture with as much high bandwidth memory as possible.

I wonder if Apple's willing to spec out 350W datacenter chips or not, and if they're going to make a play at datacenter AI with this generation. It feels like it might be a good time to do it. Anything competitive at all will suck a little oxygen out of NVIDIA and probably pay for itself in market cap.

Either way, I'm pleased my Apple tax is going to buy me 2nm chips next year or so; silicon feels very interesting in the next few years. Juicy.
Have they ever had a public meeting?

So basically they had a meeting, and someone is guessing what they may have talked about?
Using cash generally means there's no need to involve a financial institution that KYC regulations would apply to.
This risk should be evaluated iteratively. It won't kill Apple if some small fraction of the time, their releases are delayed. Overall, if their record is that they have stuff their competitors can't even get their hands on, they win.

Even though it's not technically illegal, there's something about this that feels unfair and bad for the market.
You'd think at some point someone other than TSMC could make these types of chips too. The bigger issue here is there being only one supplier.
If they're true to the demo, the new Surface devices look impressive, with the Surface Pro clearly pushing in the direction that most have wanted the iPad Pro to go for some time.
Microsoft has clearly been baking AI into their laptops and the updated Windows 11. Will be interesting to see what Apple has up their sleeves next month.
There are only some changes you can a make. My house has a load bearing wall making a large class of change not worth it.
https://bbycroft.net/llm

This was posted on HN a while ago and led to some great discussion. Myself and others agreed that this type of stateful visualization was _way_ more effective at conceptualizing how an LLM works than reading code or stepping through a debugger.
And Apple was forced to move the Mac to X64. Intel was completely dominant 15 years ago.
Productivity has a simple and unambiguous economics definition: "dollars in" / "hours worked". Software engineering is high-productivity simply because of the ability to resell the same piece of software over and over again, letting one engineer generate dollars in far in excess of the amount they actually work on it. Childcare is low productivity because people pay a certain (customarily low) amount for it, and the dollars in will simply be some small multiple of the price.

The sharp inflation in childcare costs today is the market's way of properly attributing productivity back up the labor chain. If people still need childcare, they will pay more for it, forgoing other goods to get it. That raises the dollars in, which makes the productivity numbers for childcare equilibrate to how much society actually values it.
Certainly some issues are chrome vs. the world, but here it is apple vs. the world: https://caniuse.com/jpegxl
> the prevailing opinion on this site is that work isn't the place to have those discussions, and that people who do should expect to be fired.

I think this often repeated myth of the HN hive mind¹ is both wrong and harmful². Yes, there are several people on these discussions who fit into the mould you describe, but there are also many who think that position is crazy and dehumanising and say so.

Literally every time I see someone on HN complaining the website has a prevailing opinion, I could think of counter-examples. I think we (people) may have a tendency to focus on the negative opinions that boil our blood and become blind to the voices in support.

¹ Not your words, but it encompasses the sentiment.

² It perpetuates a stereotype and prevents people with different views from joining the site or its discussion, narrowing the amount of differing views.
Why is it obvious? Starship, if it succeeds, could reduce launch costs per mass by two orders of magnitude over Falcon 9. For the cost of one SLS launch, Starship, if it meets its cost targets, could launch the mass of a nuclear supercarrier into low earth orbit. The cost to LEO would become similar to the cost of transport to the South Pole.

You will notice we are not using robots at the South Pole.
> Microsoft calls the new Laptop a “Copilot Plus PC”

I'd rather have a reliable ARM device, sans Copilot - which MS hasn't proved they're capable of yet.

> Whether these computers can match or outdo Apple’s custom silicon remains to be seen

I would be shocked if this were ever the case.
> I never understood the objection to checked exceptions.

Any non-trivial code tree will throw an unmanageable number of exceptions. The solution, in Java, is to catch exceptions and rethrow them as a new exception with the previous exception squirrelled away untyped within it. So either way, it's a failure.

It also doesn't work with higher-order functions.

It's also, in my opinion, conflicts with polymorphism. If you have a interface that can be implemented many different ways, you can't possibly have correctly typed checked exceptions for it.
TSMC being the only game in town is what's bad for the market.
It really depends on the context. If you’re talking about evidence in a court case where things are referred to by page number that’s one thing, but if you’re a public authority releasing some internal manual, there’s no need to keep the formatting identical, especially if you’re omitting entire sections.
From everything you've said it sounds very reasonable to move out and cut expenses while focusing on building your product.
Not only that, it probably saved Apple!
Yes, but they were never profitable and if Google didn't buy them. They probably would of eventually failed or completely change their model to survive. What the original YouTube team did was was create a great brand and experience. Thats why Google's version never took off.
It's a market failure. A difficult one to solve, but not impossible.

There's a mismatch between skillset in the workforce and what is required by the employers.

The way around it as an employer is to hire for potential, not actuality and train the people you hire to become the ones you need.

Some companies realize this and get out of the quagmire faster.

The issue becomes a lot worse when there's a bubble, such as the current AI gold rush, where finding people with actual experience is very very hard.
It's not called the Senate Launch System (SL) for nothing!
Cryogenic temperatures make most materials more brittle, hard to get a material that works at a wide enough range of temperatures to make a balloon to work correctly.

If you go for a narrower range of temperatures (ie. not structurally stable above 0C), it would need to be manufactured, transported, stored, tested and installed at seriously low temps which probably negates the possible advantage with the added technical complexity.
To me, the close tie to academia is why Racket is developed the way it is developed.

It is feasible for tenure track academics to use Racket development as a research vehicle to help navigate publish or parent. This makes it feasible for students to use Racket development as route to an academic credential. In turn, the academic context feeds the Racket ecosystem with new novel projects.

Finally standards within the Racket community favor a pedagogical rigor and non-auto-generated documentation.
“once it gets a toehold”

I see wart you did there.
Big news here is Qualcomm’s Snapdragon is now for PCs.
"Give us all your 2nm or we'll start funding other chip fabs with our infinite capital".
It's normal Windows, just on ARM. Windows on ARM already supports x32 and x64 emulation. Pretty much the only stuff that doesn't work is hardware drivers (to be expected) and games with kernel level anti-cheat (also expected). They've also announced a new 20% faster x64 emulation layer. Recently there's been a big push of apps getting native ARM ports too, Chrome for example.
But, you're conflating a language feature "Java's checked exceptions" with bad API design, which is obviously possible with any combination of any language's features. I agree that Java's standard library has a ton of bad APIs--not just the checked exception hierarchies, but that does not necessarily mean that checked exceptions are a bad idea.

Just to put an extremely fine point on it, one thing I always complain about is the JDBC ResultSet API. If I have a SQL database table that has a nullable integer column, and I query that column for a row that happens to have that column set to `NULL`, then the ResultSet API will give me the int value `0` for that column and I have to just know that I need to call `wasNull()` (or whatever it's called) to ask the ResultSet if the last thing it returned was really supposed to be null or not. Yet, the ResultSet API does not make me think that Java shouldn't have `int`, or class methods, or any way to query databases--it only makes me think that the JDBC API is really, really, poor.
But when companies would "filter" you out because your resume didn't match some stupid algorithmic quirk, you have no way to even get to an interview without mass-filing to any opportunity that at least somewhat resembles the one you want. You don't know the rules of their gatekeeping, and have no chance to learn them because everyone uses slightly different but equally broken gatekeeping system. You know to have any chance you must pass this gatekeeping system. You know the chances of success are low, because you don't even know what they are looking for, and they can't tell you because that would invalidate their whole system. So, you need to send out a lot of submissions, to have any reasonable chance to even get to talk to somebody. And since you have to do that, you can't spend too much time on every submission. Hello, automated tools. It's a nightmare both employers and employees are trapped in, without any reasonable way to resolve it. Yes, personal referrals help - but what if you want to work somewhere where you don't have anybody to personally refer you?
Stop coworkers from adding cyclic imports
> I don’t think you’re being fair, and I do think this often repeated myth of the HN hive mind¹

I think it's totally fair to call the top comment (most upvoted) the "prevailing opinion".

That said, I suspect it's a side-effect of HN's voting ethos (don't down vote because you disagree, which is lopsided because its opposite - people upvoting because they agree - happens disproportionately, generally the comment that activates the most would-be voters wins, unemotional comments that confirm boring old truths rarely do, unlike the incendiary ones about how $GROUP is ruining the tech workplace.
Nvidia have a higher profit margin than Apple and could have paid more for this.

Perhaps Nvidia wont have a 2nm design ready in time or more likely they are less worried about their competition.
Ah yeah but the problem is the same here too. More and more Paywalls
It's a spectrum. Where you sit on that spectrum, at any given point in time, depends on your situation. No one can answer that for you.
The market now is terrible but your math degree isn’t holding you back
> Anything competitive at all will suck a little oxygen out of NVIDIA and probably pay for itself in market cap.

To whom? If you're Apple I guess it makes sense to invest in your own architecture. But Apple doesn't ship a CUDA equivalent, they don't support server OSes, and they make no attempt to support the few cross-platform solutions shipping today. In a lot of ways, they're even further behind than AMD's server-side AI offerings.
Fair point. I was considering `target.method` as the operator.
Most of the time when that happens, its more performative stuff focused on political or general events.

There wasn't a consensus like that when the OpenAI circus was going on iirc.
What should the distribution of tax burden look like? People like to bandy about words like “fair share” but does that really mean? I’m not saying that billionaires shouldn’t pay more, but I just don’t understand what the framework is to determine if they should, and how much?
Could be good if any software can use it for other offline models like stable diffusion.
Doesn't make a lot of sense though, does it? Even if he could convince the judge he was Satoshi, indeed even if he in fact was Satoshi, if he didn't have the keys, he would not be able to spend the coins. Conversely, even if he had no clue who the reals Satoshi was, if he somehow acquired the keys, he would have the coins.
Yes, in my experience. Warts form in the epithelium, and are usually covered by a layer of dead skin cells. I guess they hijack a blood supply from lower layers of the dermis, because black dots on the surface of the wart are blood vessels (the epithelium doesn't normally have blood vessels).

For clarity, the wart is skin. Veruccas are flat because you walk on them; otherwise they are identical to warts on your hands, which do project past the surrounding skin.
No. From the article:

> You might be surprised to hear that this bug is not related to the PDF format’s (JavaScript!) scripting functionality. Instead, it is an oversight in a specific part of the font rendering code.

It goes on to explain that pdfjs dynamically constructs and executes javascript functions as an optimization for rendering older fonts. Certain arguments pulled from the PDF were not escaped, validated, or delimited (the values were expected to be numbers), so you could inject arbitrary JS. (At least that's how I read it.)
I came here to say that :)

In particular, we have a list of making-ofs like this one: https://64k-scene.github.io/resources.html#making-ofs
Former journalist here. I spent lots of time in college learning about libel law, and then applying it in my professional life as an editor.

One thing about libel that many people don't understand is that retraction and editing of the content isn't a defense. So where it says "note the libel-friendly phrasing" and "now edited to avoid any possible threats of libel" and "[editor’s note: removed a possibly incorrect claim]" he could still be found guilty of libel if previously published assertions contained non "libel-friendly" phrasing. As long as a defamatory assertion was published at some point, you can still be found guilty of libel.

It probably goes without saying, but it is also not a defense to libel to say that you asserted something to be true merely because there was no evidence to the contrary. Absent a contractual or legal obligation, Lumina had no duty to engage with him and answer his questions. So if Lumina can provide evidence that Trevor asserted things that are demonstrably false, and they damaged Lumina's business, then Trevor can't argue as a defense that he merely had no way of knowing that they were false.

Finally, Trevor seems to be saying in his update that he was merely asking questions -- but it's possible for a court to find that merely phrasing false, defamatory assertions in the form of a question is not an absolute protection against a libel claim.
Which market are you in? There are still 100s of unsold Bolts E(U)V nationwide, I have about 30 within 50 miles of me.
Apparently the former CEO of Reddit, Yishan Wong, is trying it and is an investor? He posted a series of long tweets/Xs whatever:

https://x.com/yishan/status/1780131189753569310
Yeah... Come up with "I’m committed to maintaining confidentiality in all my professional dealings." But still it sounds suspicious
Upshot of the paper -- right now KV caches are implemented for multiple deep layers in LLMs. Why not just the top layer? It would save memory.

Initial result -- those KV caches in lower layers matter, and output suffered.

Updated plan -- cull half the KV layers! This works 'nearly' as well as keeping all of them, with memory and compute savings.

Downside - triple the training, worse out of band / long context performance.

This feels to me like a technique you'd use on a particular architecture deployed at the edge where compute matters and you have a little extra room on performance. Phi-3 on raspberry pi, basically.

Interesting! As always, I wish models showed prompt output in their papers, not just perplexity numbers. But, here we are.
> The whole antisemitic conspiracy theory of Jews poisoning the well only works if people were actually drinking from the well.

Not really. Independent of people drinking directly from the well:

* animals are watered by getting the water from the well.

* food is prepared with water from the well

* ale is prepared with water from the well

and so on. All of these things would subsequently be poisoned if the well was poisoned. They needed a safe source of water, but that does not imply that they drank it directly.
3M reported to the EPA that PFOS was found in blood within a year of the employee's findings confirming its existence.
Unclear why this is relevant. The author has no credentials except for a few pictures. And so it's unclear what rigor they bring to this project.

https://www.nytimes.com/2024/05/20/crosswords/wordle-review....

https://rai.onlinelibrary.wiley.com/doi/full/10.1111/1467-96...
Why the oceans are changing colour
Will this run locally, or is part of the work outsourced?

With "Recall", can law enforcement ask your laptop "Has your user done anything suspicious lately"?
It's Windows 8 AI Edition
Show HN: Tag dependabot PRs with 'major-version-bump' label
Last week I took down prod because I accidentally bumped sentry from 7.x to 8.x without realizing it (all our other CI checks passed as well).

So I created this GH action to tag our PRs and prevent this accidental foot gun in the future.
As an example of how important equity holdings of retirement accounts are: https://en.wikipedia.org/wiki/CalPERS

The California Public Employees' Retirement System (CalPERS) is an agency in the California executive branch that "manages pension and health benefits for more than 1.5 million California public employees, retirees, and their families". . . . CalPERS manages the largest public pension fund in the United States, with more than $469 billion in assets under management as of June 30, 2021.
Look into "anti-SLAPP laws". California has strong enough ones to make people back down from threats like that.
The AI is the least interesting part of this announcement. Microsoft is giving ARM another try with a special branding that's supposed to guarantee some level of performance and quality. That's possibly huge news.
> Articles about Artemis often give the program’s tangled backstory. But I want to talk about Artemis as a technical design, because there’s just so much to drink in.

You can't separate one from the other. Artemis seems like a hodgepodge of mismatched and poorly thought out subprojects cobbled together by people who neither know how to make a rocket fly nor really care if it does because that's exactly what it is.

All the design decisions make perfect sense if you stop looking at the mission as "design the best moon rocket" and start seeing it as "turn these things into a moon rocket," and frankly that NASA engineers could take all the absurd requirements that congress and top level leadership had placed upon them and still found a way to salvage a technically viable system is a testament to their skill.
Leetcode type challenges are just a proxy for logical habilities, which are highly desired for SWE positions. It's not meant to evaluate every ability. Despite imperfect, I don't know of a better indicator that has similar cost. An employer won't spend a lot more to evaluate with perfection how good we are with logic.
Killing 3×10¹¹⁴ enemies in a non–Euclidean video game
The non–euclidean geometry allows the number of enemies to grow exponentially, allowing the player to prune vast quantities of them with every stroke.
This safety team is not an AI ethics team like you here at other places publishing philosophical opinion prose in academic journals which i agree is useless in a business context. Those are actual foundational AI scientists solving hard problems.
I'm sorry, I didn't realize your mouth was congenitally attached to Jobs' penis.

Have you looked into surgery for getting it detached? I've heard there's quite a high chance of success if you don't resign yourself to failure and insist upon a fruit-based diet.
Coverage on Windows Central says it is all local. As for the law enforcement question, it doesn't matter. If they want to get info from your computer, they will and they don't need AI to help.
Is Microsoft Copilot and GitHub Copilot the same thing?
My only question is how much of the models is being run offline and how much is the computer just siphoning up all the actions you do and feeding it into the cloud. Microsoft has a very bad history with user privacy, especially lately.
That happens anyway - nobody's payroll dataabse is running on leetcode puzzles, so if you hire somebody, they must spend time - sometimes months - on learning the new systems and getting the lay of the land and how the things are done. It's inevitable.
>Very few of them are carrying openly (why make yourself the first target?), but I stand by my statement that I'd be shocked.

This is an extraordinary claim that demands at least some evidence in order to be taken seriously.

>A youth league bowling tournament would be an exception, given the preponderance of children.

To the contrary: if you honestly believe that somewhere between 10% and 25-33% of Maine adults are carrying for protection—and, once again, there is literally no way that this is even close to true—it would make even more sense that the adults there would have been carrying To Keep Our Children Safe(TM).
I would disagree. As a counterexample, if there are two contradictory comments with high upvotes, the one that is most upvoted isn't necessarily the prevailing opinion.
These threads are absolutely cursed. They get vicious quickly. The patterns set up quick as Loctite glue, excluding all but dedicated partisans (and a few weirdos like me), forming little anaerobic pockets of lactic acid poisoning any bud of curiosity, the core purpose of the site. And the threads go on for-ev-er. We had one run for over a week.

I'm not happy with this outcome. I could enjoy nerding out on the politics and diplomacy of the ICC. I think lots of people here have useful things to say about what's happening here. But I sure as shit flagged this story, because none of that will happen. It'll just be people yelling at each other endlessly.

There are other venues to have this conversation in. Doesn't have to be here.