HNHacker News
TopNewBestAskShowJobs

Gaelan

2,595 karma · joined May 4, 2016

[ my public key: https://keybase.io/gaelan; my proof: https://keybase.io/gaelan/sigs/_8scLuddlnin3n7WEWudnzDROREeNEEYYEaN-cEvn5U ]
submissionscomments
Gaelan··on Spyware vendors use 0-days and n-days against Android, iOS and Chrome
Yes (from the Google blog post linked elsewhere in the thread):

> CVE-2022-42856, a WebKit remote code execution exploiting a type confusion issue within the JIT compiler (0-day at time of exploitation).

Lockdown mode disables the Webkit JIT.

Gaelan··on FedNow FAQ
Routing numbers aren't, but account numbers are: traditionally in the US it's possible to use a routing+account number to withdraw from someone's account.
Gaelan··on Killbutmakeitlooklikeanaccident.sh
Perhaps even more evil:

kill -SEGV $1

Gaelan··on The Kia Instrument
Looking at the contents of the macOS installer (I haven't tried to run it), it seems to be both. Looks like it's based on https://www.cabbageaudio.com?
Gaelan··on Why Remotion is a native macOS app, not Electron
Well yes, but GTK and Qt apps feel about as native on macOS as Electron apps do.
Gaelan··on Why Remotion is a native macOS app, not Electron
Isn't Edge just Chromium these days? The page you linked says:

> Evergreen distribution. Rely on an up-to-date version of Chromium with regular platform updates and security patches.

Gaelan··on FoundationDB: A distributed unbundled transactional key value store
> probably prone to issues if you can’t update multiple as part of the same transaction

IIRC one of FoundationDB's features is that it does support such transactions, so you can easily implement indexing on top of it.

Gaelan··on A Proposal for Type Syntax in JavaScript
This is essentially doing that—it would allow browsers to parse and run TypeScript. What it isn't doing is actually having browsers do type checking, for good reason: the TypeScript type checker is a large and complex piece of software, so browsers would either have to incorporate it (and they're probably not excited to have a large chunk of JS code in the critical web-page-rendering path, nor would they be excited to have a critical chunk of the browser with a single implementation), or reimplement it themselves (which would be a huge amount of work, and make changes to the language much slower and more difficult).
Gaelan··on Linux's GPLv2 licence is routinely violated (2015)
> I am not claiming that running on an OS is the same as dynamically linking with a library

In pretty much any case, it literally is: you're dynamically linking against the libc. This is a little fuzzier on Linux (because, as you mention, multiple libc implementations exist), but on Windows, macOS, and the BSDs, the only supported way to make syscalls is to make calls into a dynamically linked libc, provided by the operating system.

Gaelan··on Apple's custom NVMes are amazingly fast – if you don't care about data integrity
Laptops have batteries, so an AC power failure doesn't mean they immediately crash: they just keep running on battery until the battery gets low, at which point the system cleanly hibernates.
Gaelan··on Is it safe to use __secret_internals_do_not_use_or_you_will_be_fired?

  +-----------------------------------------------------------------------------+
  | You are entering the operating system shell. By confirming this action in   |
  | the appliance shell you have agreed that THIS ACTION MAY VOID ANY SUPPORT   |
  | AGREEMENT. If you do not agree to this -- or do not otherwise understand    |
  | what you are doing -- you should type "exit" at the shell prompt. EVERY     |
  | COMMAND THAT YOU EXECUTE HERE IS AUDITED, and support personnel may use     |
  | this audit trail to substantiate invalidating your support contract. The    |
  | operating system shell is NOT a supported mechanism for managing this       |
  | appliance, and COMMANDS EXECUTED HERE MAY DO IRREPARABLE HARM.              |
  |                                                                             |
  | NOTHING SHOULD BE ATTEMPTED HERE BY UNTRAINED SUPPORT PERSONNEL UNDER ANY   |
  | CIRCUMSTANCES. This appliance is a non-traditional operating system         |
  | environment, and expertise in a traditional operating system environment    |
  | in NO WAY constitutes training for supporting this appliance. THOSE WITH    |
  | EXPERTISE IN OTHER SYSTEMS -- HOWEVER SUPERFICIALLY SIMILAR -- ARE MORE     |
  | LIKELY TO MISTAKENLY EXECUTE OPERATIONS HERE THAT WILL DO IRREPARABLE       |
  | HARM. Unless you have been explicitly trained on supporting this            |
  | appliance via the operating system shell, you should immediately return     |
  | to the appliance shell.                                                     |
  |                                                                             |
  | Type "exit" now to return to the appliance shell.                           |
  +-----------------------------------------------------------------------------+
Cleaned up formatting
Gaelan··on AWS Service Terms: the clause 42.10
Surely a reasonable court would say that it's very clear what they meant?
Gaelan··on Google Summer of Code in 2022 – No longer limited to students
Note that they halved the project size in 2021, so the new project sizes are the original pre-2021 size, and the smaller 2021 size.
Gaelan··on Grand jury subpoena for Signal user data, Central District of California
I'm not too familiar with this, but my understanding is that the push notification just wakes up the Signal app, then the Signal app gets the encrypted message (either from Signal's servers or the push notification payload, I'm not sure) and decrypts it client-side and provides the notification text.
Gaelan··on So You Want to Rust the Linux Kernel?
Generally, the idea is that you use a small amount of unsafe code to build a safe abstraction to do what you need, then use that abstraction in many places. So now you only have a few unsafe sections you have to verify for correctness, instead of the entire program like you'd need in C/C++.
Gaelan··on Turbo 7
@dang could you give "world.hey.com/foo" URLs the GitHub/Twitter treatment where it shows the first segment of the path?
Gaelan··on While posting to Tumblr, E and W keys just stopped working
> (unless you remapped another key to capslock (why?))

When I first started doing caps-lock-to-control, I mapped my physical control key to caps lock. Eventually, I stopped bothering and kept it as control.

Gaelan··on Arm AArch64 Adds Memcpy() Instructions
> Thumb adds many additional instruction encodings of variable length, load/store multiple already had pretty arbitrary latency

Worth noting that, AFAIK, both of these were removed on aarch64 (and aarch64-only cores do exist, notably Amazon's Graviton2)

Gaelan··on Crev is a code review system
https://gitlab.com/crev-dev/auto-crev-proofs is an identity that automatically trusts every known reviewer (at level "none"), which is useful for finding reviewers. You can also browse all known reviews online at https://web.crev.dev/rust-reviews/.
Gaelan··on Z3 approach to discover that “q_rsqrt” is in Copilot's slur list
I don't think it was MS that did that, just sloppy third-party developers.
Gaelan··on iPhone 13 to support LEO satellite communication
> Skipping the Americas does not sound like a typical Apple move.

I know of one place where Apple does this: in China, and only China, you can buy an iPhone with two physical SIM slots. You can do Dual SIM on iPhones elsewhere, but only with an eSIM.

Gaelan··on iPhone 13 to support LEO satellite communication
Internet access that isn't subject to whatever domestic firewalling is in place, presumably.
Gaelan··on Apple can read your iMessages (even though they’re E2E encrypted)
Unless you know something about the protocol that I don't (quite possible), it's not silent: all you devices get "new device registered to iMessage" dialog box.
Gaelan··on The Future of discord.py
The level up bots should be unaffected by this, as they don’t need to read message contents—they just need to count messages.
Gaelan··on Washington State Ferries – Small Schedule
Mobile browsers have, since at least the first iPhone, defaulted to showing websites zoomed way out, on the theory that the site might not have been designed for a screen that narrow. Sites that are designed to support a phone screen are supposed to say so, using the meta tag given elsewhere in the thread.
Gaelan··on I recommend CGI instead of web frameworks
There's an important point I haven't seen discussed yet: I don't believe it's possible to write secure web apps without a templating engine with safe-by-default XSS handling (i.e. interpolated text is sanitized, unless explicitly marked as trusted HTML somehow), which implies some amount of a web framework or at least a web-specific library.
Gaelan··on Moderna Vaccine Significantly More Effective Against Delta Variant Than Pfizer
I saw an interesting point (I think it was a scientist quoted in the NYT) that said once a vaccine out in the general public, it gets incredibly hard to get good efficacy numbers, because there are so many things that correlate with vaccine status—age, wealth, risk level, attitude towards COVID, geographical area—that also can affect risk of being infected/hospitalized.
Gaelan··on Moderna Vaccine Significantly More Effective Against Delta Variant Than Pfizer
I'd assume the former.
Gaelan··on Technical Analysis of the Poly Network Hack
Wait, so they have the ability to arbitrarily blacklist people from transferring tethers? At this point, is Tether anything other than a weird bank?
Gaelan··on One Bad Apple
Software features are announced at WWDC, which happens early summer and already happened this year. It's only the hardware that gets announced (and the software released) in September.
Page 1 of 30Next →