Hacker News Reader

hkmaxproon On the Navier–Stokes Millennium Prize Problem

They want Buckmaster to dissociate with Alpöge in a follow-up rewrite of OpenAI's work. (They only publicly admit “Buckmaster as the lead author”, but judging from Buckmaster’s statement, it’s pretty clear that don’t want Alpöge at all.)

Just suggesting to a mathematician to dissociate with their collaborator for a follow-up work, because their collaborator “is inappropriate to author OpenAI’s work”, is completely against the norm of mathematical research. As charm137 puts it in a comment below:

> This is like a researcher from CMU saying to an NYU researcher that their collaborator, being from MIT, is a problem - this is as ridiculous as that!

hkmaxproon On the Navier–Stokes Millennium Prize Problem

Both Sam Altman and Sebastien Bubeck admitted they only want Buckmaster to be the lead author on a rewrite of the OpenAI proof.

https://x.com/sama/status/2097385167002415140

https://x.com/SebastienBubeck/status/2097379411691516310

A wake up call for using OpenAI models. If you discover something with their model and you work for a competitor, they “felt it would be inappropriate” for you “to author OpenAI’s work”.

hkmaxproon Navier-Stokes – Tristan Buckmaster [pdf]

Both Sam Altman and Sebastien Bubeck admitted they only want Buckmaster to be the lead author on a rewrite of the OpenAI proof.

https://x.com/sama/status/2097385167002415140

https://x.com/SebastienBubeck/status/2097379411691516310

A wake up call for using OpenAI models. If you discover something with their model and you work for a competitor, they “felt it would be inappropriate” for you “to author OpenAI’s work”.

hkmaxproon Steam on Linux Use Skyrocketed Above 5% in March

How does a Jan/Feb holiday affect this year’s March number (that was reported in early April)?

I’m not talking about the Feb number that is reported in March.

hkmaxproon Wedeo – a Rust Rewrite of FFmpeg

Worth mentioning https://github.com/yazaldefilimone/ffmpreg, another rust rewrite of ffmpeg (apparently from scratch, not translated)

hkmaxproon YouTube Blocks Background Listening Workaround for Free Users

Some alternatives recently discussed:

NewPipe: https://news.ycombinator.com/item?id=47020218

PipePipe: https://pipepipe.dev/

I haven’t used any of these alternatives myself.

hkmaxproon Typst: A Possible LaTeX Replacement

I am also not a fan of automatic fraction.

BTW, I notice that both of your complaints will be addressed in the next version:

https://github.com/typst/typst/pull/6672

https://github.com/typst/typst/pull/6442 , see also https://laurmaedje.github.io/posts/math-mode-problem/

hkmaxproon Vision Language Models Are Biased

I think social biases (e.g. angry black women stereotype) in your paper is different from cognitive biases about facts (e.g. number of legs, whether lines are parallel) that OP is about.

Social biases are subjective. Facts are not.

hkmaxproon Albert Einstein's theory of relativity in words of four letters or less (1999)

Reminds me of Yasha Berchenko-Kogan’s excellent answer to the question “What do grad students in math do all day?”

https://www.quora.com/Mathematics/What-do-grad-students-in-m...

> a bit like trying to explain a vacuum cleaner to someone who has never seen one, except you're only allowed to use words that are four letters long or shorter.

> What can you say?

> "It is a tool that does suck up dust to make what you walk on in a home tidy."

hkmaxproon How a $2k 'Made in the USA' Phone Is Manufactured

Your question prompted me to look up “cost of goods sold”.

From https://www.investopedia.com/terms/c/cogs.asp

> Cost of goods sold (COGS) refers to the direct costs of producing the goods sold by a company. This amount includes the cost of the materials and labor directly used to create the good. It excludes indirect expenses, such as distribution costs and sales force costs.

So the $550 or $650 COGS includes the cost of labor for manufacturing, but excludes (say) marketing and auditing costs.

hkmaxproon What is up with car door handles these days?

Just these past few days, a fatal accident in China killed three college students in a car fire and the victims could not unlock the car door.

https://www.reuters.com/world/china/chinas-xiaomi-says-activ...

> Chinese newspaper Economic Observer earlier reported that local traffic police had told the father of one of the victims that the car had caught fire after hitting the cement pole, and the car key had not unlocked the door.

hkmaxproon Tianjin robot incident raises alarm over public safety and robotics

Another news article with video: https://www.odditycentral.com/news/humanoid-robot-appears-to...

hkmaxproon ReCAPTCHA: 819M hours of wasted human time, billions of dollars in profit

Discussion on the youtube video: https://news.ycombinator.com/item?id=42970780

hkmaxproon Kids who use ChatGPT as a study assistant do worse on tests

Previous discussion: https://news.ycombinator.com/item?id=41453300

hkmaxproon Nix 2.24 is vulnerable to (remote) privilege escalation

Reporter’s defense: https://lobste.rs/s/ixb3v7/nix_2_24_is_vulnerable_remote_pri...

hkmaxproon Ask HN: How do apps get into Apple App Store pretending something they are not?

Another similar recent story, with more technical details: https://9to5mac.com/2024/08/02/developers-trick-app-store-re...

> When the app is opened for the first time, it waits a few seconds to call the geolocation API. This way, the App Store’s automated review process doesn’t see anything unusual in the app’s code. We also checked the app’s behavior by running it through a proxy to fake our location to San Jose, California. For this location, the app never reveals its hidden interface.

> After Apple approves the app with its basic functionalities, developers use CodePush to update it with anything they want. The app then reveals its true interface in “safe” locations.

hkmaxproon COSMIC Alpha Released

Interesting Reddit discussion: When a user compliments the alpha release being lightweight and free of memory leaks, the discussion quickly moves to how the MVU design pattern in the GUI library (iced) might have helped.

https://old.reddit.com/r/pop_os/comments/1f2suin/cosmic_alph...

hkmaxproon Blitzortung – real time lightning strikes around the world

What is that South American flag? Is it a map of South American nations, like the globe for the “Overview Map”?

I can recognize all other flags: EU, Australia, US (sorry Canada), Hong Kong, African Union, but not South America.

Hong Kong flag for Asia is why the flags caught my attention :)

hkmaxproon Poor Foundations in Geometric Algebra

The author responded to this exact statement at this Reddit comment:

https://old.reddit.com/r/math/comments/1b5s32x/the_case_agai...

You may also read other discussions by the author and others at the Reddit post:

https://old.reddit.com/r/math/comments/1b5s32x/the_case_agai...

A few Reddit comments appear to agree at that non-mathematicians (e.g. amateurs and game programmers) use geometric algebra non-rigorously.

I suspect the issue is not about mathematicians who know how to be rigorous. Both posts are complaining about how mathematical outsiders are using and teaching geometric algebra non-rigorously.

hkmaxproon Poor Foundations in Geometric Algebra

This is the second time I’ve heard geometric algebra lacks rigor. The first time:

https://news.ycombinator.com/item?id=39576214

> even by the 90s/00s, GA had gotten a bad reputation because of its tendency to attract bad mathematicians and full-on crackpots

> those reasons disproportionately attract people who are not actually capable of rigorous mathematics, or are slightly prone to conspiratorial thinking, or are otherwise slightly deranged

> if you look around for papers that explicitly talk GA, they are very disproportionately (a) non-theoretical, (b) poorly-written, (c) trivial, i.e. restating widely-known results as if they’re novel, (d) only citing other GA papers, and of course (e) just plain crackpotty

hkmaxproon China's 'Wukong' Hit Sells 10M Copies in Three Days

Genshin Impact from miHoYo is also a PRC AAA game before Wukong, but it’s a copycat of the Japanese ACG culture rather than the Chinese culture in Wukong:

https://expertbeacon.com/is-genshin-a-aaa-game/

hkmaxproon Papersway – a scrollable window management for Sway/i3wm

Related projects (from niri’s README):

PaperWM (Gnome) https://github.com/paperwm/PaperWM

karousel (KDE) https://github.com/peterfajdiga/karousel

niri (wayland) https://github.com/YaLTeR/niri

hyprscroller (hyprland plugin) https://github.com/dawsers/hyprscroller

hyprslidr (hyprland plugin) https://gitlab.com/magus/hyprslidr

PaperWM.spoon (MacOS) https://github.com/mogenson/PaperWM.spoon

hkmaxproon Tiny solar-powered flyer weighs less than a paper plane [video]

hkmaxproon Russia Leverages AI-enhanced "Meliorator" software for foreign malign influence

hkmaxproon Justice Department Disrupts Covert Russian Government-Operated AI Bot Farm