HN user

magnio

3,293 karma
Posts51
Comments309
View on HN
www.youtube.com 9mo ago

There Is No Algorithm for Truth – Tom Scott [video]

magnio
2pts0
www.youtube.com 1y ago

HarmonyOS Walkthrough on Huawei MateBook Pro [video]

magnio
2pts0
www.cnbc.com 1y ago

Huawei 2024 revenue surges to near-record high

magnio
2pts0
www.bloomberg.com 1y ago

Bloomberg Business Jealousy List 2024

magnio
1pts0
fbb-git.gitlab.io 1y ago

C++ Annotations Version 13.00.01 – Frank B. Brokken

magnio
2pts0
ianthehenry.com 1y ago

Janet for Mortals (2023)

magnio
241pts66
web.math.princeton.edu 1y ago

Oral Exams by Princeton Math Graduate Students

magnio
3pts0
serpentos.com 1y ago

Serpent OS Prealpha0 Released

magnio
1pts0
github.com 1y ago

Node.js adds experimental support for TypeScript

magnio
1204pts554
www.scratchapixel.com 2y ago

Scratchapixel 4.0, Learn Computer Graphics Programming

magnio
270pts54
tauonmusicbox.rocks 2y ago

Tauon – A Modern Desktop Music Player

magnio
1pts0
www.oscar-system.org 2y ago

Oscar: Computer Algebra System in Julia

magnio
4pts0
github.com 2y ago

Playwrite: Create Primary School Cursive Font

magnio
3pts0
perf.link 2y ago

JavaScript Benchmark Online

magnio
1pts0
github.com 2y ago

Handling Hindu Lunisidereal Calendars

magnio
4pts0
dec41.user.srcf.net 2y ago

Cambridge Math Notes

magnio
5pts0
doris.apache.org 2y ago

Apache Doris 2.1.0: Real-Time Analytical Data Lake

magnio
1pts0
wesleyac.com 2y ago

Rating English-Language Bookstores

magnio
1pts1
artofproblemsolving.com 2y ago

Chicken McNugget Theorem

magnio
1pts0
www.androidpolice.com 2y ago

Signal and Threema won't interoperate with WhatsApp

magnio
1pts1
twitter.com 2y ago

Claude 3 Opus suspects it is being tested from benchmark question

magnio
42pts13
www.di.ens.fr 2y ago

Learning Theory from First Principles [pdf]

magnio
279pts63
observablehq.com 2y ago

A Tiny Grammar of Graphics

magnio
3pts0
tikz.dev 2y ago

The TikZ and PGF Manual – Unofficial HTML Version

magnio
3pts0
www.notebookcheck.net 2y ago

Snapdragon X Elite benchmarks: Impressive gains over M2 and desktop CPUs

magnio
104pts29
ymeskhout.substack.com 3y ago

Death of a Client

magnio
2pts0
kdy1.dev 3y ago

Open-sourcing the new TypeScript type checker

magnio
5pts0
acko.net 3y ago

The Case for Use.GPU

magnio
1pts0
www.acepace.net 3y ago

C Integers Quiz

magnio
2pts0
lwn.net 3y ago

Ushering out strlcpy()

magnio
166pts153

He described waking up to thirty PRs every morning, each one pulled overnight by someone's AI, and needing to make snap judgment calls on every single one. The temptation to delegate the review itself to an AI was enormous. But, as he put it: "at that point, what am I still doing here?".

It's so funny and somber to see programmers having an existential crisis when they get a glimpse of what work is like for business managers, the demographics many programmers detest.

I am also guilty of holding the business majors in contempt back in college, and now here I am, doing what they are doing in office in a much more indifferent and unenjoyable manner. At least I don't get into trouble with HR from calling my agents a stupid fuck (yet).

I used Better Auth for my mobile app backend. It works okayish. My biggest complaints are the OpenAPI specification gets little care, as it mainly caters for JS frontend, and breaking changes in patch version are more common than most packages.

I saw on Twitter that in an ML course at Tsinghua University, one of the tests asks students to write quizzes that fail the most LLM models as possible.

What if we create a benchmark that works like this and assigns ELO scores? Models fight head-to-head by writing a question, a bug, or an incomplete implementation, which the opponent has to answer, fix, or finish.

i like the COPY and logical replication improvements. Currently I back up my PG database with a sidecar Databasus instance that is heavier than my entire backend + DB + Caddy!

(LLM writing rant below)

---

That alone tells you something: Users had a real need, and the ecosystem filled the gap.

This sounds straightforward, but it solves a real operational problem.

None of these change the world. All of them make day-to-day data workflows better.

The easy thing to do here is list planner changes and call it done. But the more useful takeaway is this: Postgres keeps getting better at recognizing the shape of common queries and doing less unnecessary work.

[Proceed to list planner changes]

If Orwell were alive today, he might declare himself illiterate in English and learn Klingon just to avoid having to read these.

I doubt Go has any sizable effect on the community of programming language developers. Probably Pascal has more impact on this.

Never, ever, ever transform URIs and paths by string manipulation. If you think pulling in a library for this is overkill, it is not.

(Lesson learned from trying to quickly write my own function to make ".." to go back one URL segment that took 3 hours and discovering the URI spec contradicts my intuition depending on whether the URI is a URL or filesystem path.)

To me, the fact that it exhibits various telltale signs of LLMism is not the main problem; it is annoying mostly due to personal preference, just like I am annoyed by the writing style of some authors from the 19th century.

The main problem is that LLM writing inevitably slips in nonsensical phrases and sentences that are plausible but, upon inspection, turn out to be dilutions at best and deceptions at worst. They are such non-sequiturs that it is indefensible to consider them the crystallized results of a logical thought process, so I greatly dislike them regardless of authorship, and so far, it has been mostly LLMs that produce them. However, this is not a new thing, as Orwell put it from 1946:

the slovenliness of our language makes it easier for us to have foolish thoughts [...] Modern English, especially written English, is full of bad habits which spread by imitation and which can be avoided if one is willing to take the necessary trouble. If one gets rid of these habits one can think more clearly, and to think clearly is a necessary first step toward political regeneration: so that the fight against bad English is not frivolous and is not the exclusive concern of professional writers.

Here are some examples from this article, which I am listing with the sole hope to elicit the same concern of frivolous writing from readers, not as any an attack on the author of this piece:

The 1955 trade was the system already past its own decision point, picking up the pieces. The blunder happened five years earlier. [...] Everything after, [...], was the system mechanically playing out the consequences of the June 1950 decision.

What is "the system" here? The US government, the FBI, or just a vague blob of fate and the passage of time? What exact had this system been doing that counts as "picking up the pieces"? What was exactly mechanical about the events between 1950 and 1955?

He later recalled in characteristically dry phrasing that "many of the officers in the U.S. Army in missiles and rockets were students in this program".

Is the quote really especially dry? Is this purported dryness a part of Qian's character? If yes, then we sue did not see it elsewhere.

The hierarchy in the interrogation room was not what casual U.S.-narrative framings would assume.

What is even "casual US-narrative framings"?

The Jiang family connection is structurally important, and the 1955 PRC-side claim that Qian was a long-standing Communist sympathiser is structurally implausible because his wife was the daughter of a senior Kuomintang figure

What do "structurally important" and "structurally implausible" mean here? What is the big structure that this connection played an important role in?

This was the public peak.

The peak of his publicity I guess. The public peak is in Nepal.

He was, on the public record at that exact moment, one of the leading American aerospace scientists. He was not a junior researcher who could be replaced.

Who read till this point would need this clarification that he was an expendable junior researcher?

They are produced by a sequence of external shocks that hardens the U.S. political environment around him in the eighteen months before his clearance is revoked.

(Minor but somehow this sentence is in present tense.)

His later assessment of the trade was accurate pricing made in real time by an official with the position to assess it, though he was reading the wrong decision.

"accurate pricing" as metaphor for "accurate assessment"?

The imprisonment was the trade's cause, not the trade.

The trade was not the trade's cause, or the imprisonment was not the trade, or something else?

The Soviets were trying to slow the propagation of capability that had already been absorbed

If the knowledge had already been absorbed, what use is withdrawing the blueprints? The conclusion that the Soviets must have thought the Chinese could become independent because they took the materials away is quite dubious.

the capability foundation was laid

What does "capability foundation" mean?

The doctrine is the kill-first-from-distance-using-superior-detection-and-networked-sensors-and-long-range-missiles doctrine that Qian outlined in the Toward New Horizons volume on the launching of a winged missile for supersonic flight.

No mention of the doctrine prior to this sentence, while the next sentence says that the aformentioned PL-15 embodies that doctrine. Could it have just been written as one sentence?

the structural threat to U.S. naval power projection

"structural" here we go again

The same pattern is visible at every other layer of the strategic-technology spectrum in 2026.

No mention of any pattern prior to this point, except the vague development of China war capability.

This is what compounding looks like when you imprison the carrier you needed to retain

Does this event have that many precedents that it deserves to be written down as an aphorism?

That chain was the thing that walked out the door. The methodology is what the chain was running on

I honestly don't know what chain and methodology here refer to, much less whether the metaphor is sensible.

The dimension of the transfer that has no Soviet equivalent and no Western parallel is this one.

"The dimension of the transfer"?

structural features

"structural"

multi-disciplinary integration across specialties

"multi-disciplinary" = "across specialties"

The methodology was specifically Western, specifically von Kármán-lineage, and specifically transferable through a single carrier

What does "specifically" even mean when it applies to 3 things at once?

The fact that he was available to be that carrier was a function of the Boxer Indemnity Scholarship program, von Kármán's recruitment decisions at Caltech, the wartime mobilisation that placed him at the centre of the U.S. air-power apparatus, and the Red Scare architecture that produced his imprisonment. The full chain had to operate. Removing any link in it produces a different outcome.

A lot to say "changing the past affects the future".

Wang Huning, who became Xi Jinping's chief ideologist, sits in a tradition that runs directly through Qian's cybernetic-systems-engineering work, and the methodology runs into Chinese state-planning architecture along that lineage

What is this "tradition", and what is that "lineage" exactly?

The way I read it

A subjective thought! A cause for celebration.

paired with Chen Yun's 摸着石头过河 as the operational sidekick.

"operational sidekick"?

The same machinery, operating on essentially the same evidentiary basis, produced bounded internal exile for Oppenheimer and unbounded external transfer for Qian

"bounded" and "unbounded" here mean nothing, as both are bounded by the Earth size? What is even the point of talking about geographical difference when the political difference is of dominant interest here?

structural dynamic

moral architecture

...

The Oppenheimer-Qian-Japan triangle reveals the same pattern repeatedly.

Finding these supposedly aforementioned "pattern"s is like finding Waldo.

structural rights barriers

US self-conception

threat-detection regime

consequence space

methodological irony

structural feature

structural reading

Incredible, I have never heard of std::autodiff before. Isn't it rare for a programming language to provide AD within the standard library? Even Julia doesn't have it built-in, I wouldn't expect Rust out of all languages to experiment it in std.

First, you don't have to feel guilty of anything, since forking open source projects to make changes tailored to your use case is as old as open source itself. It is, in fact, the primary benefit of open source.

Second, it is not a given that your change would be accepted regardless of who wrote it. Maybe the feature is too niche for its complexity, maybe it is better implemented with more generality or extensibility that does not make sense for your own use. In those cases, your change might have been rejected upstream, so having it only locally is a perfect fine solution.

Third, if you believe it is actually useful for broader users, open an issue requesting that feature, and say LLM implemented it in an hour. Then the maintainers can prompt their own LLM to implement it with ease, or do whatever they want with their project.

What you are describing is linear (or affine) types in academic parlance, where a value must be used exactly (or at most) once, e.g., being passed to a function or having a method invoked, after which the old value is destroyed and not accessible. Most common examples are prolly move semantics in C++ and Rust.

I am not the most ardent supporter of LLM, but the whole article reads like a critique of macOS idiosyncrasies and its aversion to CLI and text format. Why does macOS tell you to use the GUI so much?

Sure, GUI is more accessible to the average users, but all the tasks in the article aren't going to be done by the average user. And for the more technical users, having to navigate System Settings to find anything is like Dr. Sattler plunging her arms into a pile of dinosaur dung.

MacBook Neo 5 months ago

Because they last 3 possibly 4 times longer.

An iPhone Pro is 3 times more expensive than an average Android phone too. If you buy Android flagships after 2022, they also last 4-6 years.

To me, the tablet form factor is dead with the arrival of the trifold.

90% of the people who use tablets I know (including myself) only has four use case: watching video, reading PDF and comics, taking notes, and playing mobile games.

All of which are very mobile-oriented tasks that are done on tablets solely for their screen sizes. With trifold bridging the gap between screen sizes and, more importantly, screen ratios, I would love to merge them into one device. This is in contrast with laptops, whose differences in OS and use cases are, to me, much bigger and necessary.

Of course, right now they are very much afar from consumers' pockets due to price and reliability. But normal foldables were once in the exact same state, and the fact that Apple is releasing one soon is a sure tale sign of the future of foldables.

Bugs Apple loves 6 months ago

Had the pleasure of making an Apple account to join our company's developer team. I filled out the form on the website 7 times: Edge on Windows, Edge on macOS, Safari on macOS, using 2 different phone numbers. No matter what, Apple just refused to send the verification code to me. It only worked after I remember Apple is a dick to the web platform, then I managed to create one from the popup in the App Store.

Can vouch for Starlight and Astro in general. Don't be fooled by the fact that they are npm packages: Astro is geared for content-heavy websites and produces zero-JS bundles by default (i.e., if you just use markdowns without any script tags or JS frontend libraries, then there will be no JS in the final output at all).

Shouldn't public documents by the government use a free and libre font? In fact, the mentioned Public Sans developed by the US federal government seems to be a great option, as it actually distinguishes the lowercase l and the uppercase I, something that, ironically, all suggested sans-serif alternatives fail to do.