Live data from Hacker News

Viewing profile — miguelnegrao

miguelnegrao

HN member
Joined
Thu, May 29, 2025, 9:12 AM UTC
HN karma
12
Public activity
8 items

About miguelnegrao

No profile information was provided.

Recent public activity

  1. comment
    Comment #49265364

    Wouldn't most linux users just use codex cli or codex vscode ? Does the app bring anything not available on codex ?

  2. comment
    Comment #49166017

    If by solution you mean a proof and by testing you mean encoding it in lean and compiling it, the space of possible syntactically correct proofs which you can encode probably explo…

  3. comment
    Comment #44125083

    For VR, since you have to put the helmet in your head, it is usually assumed users don't mind putting headphones as well, so most solutions are via headphone-based spatialization.

  4. comment
    Comment #44125071

    Actually, the farther way the speakers are from the angles specified in the 7.1 format (see https://www.dolby.com/about/support/guide/speaker-setup-guid... ) worse will be the loca…

  5. comment
    Comment #44124528

    Unreal Engine, the only engine I'm more familiar with, implements VBAP which is just amplitude panning when played through loudspeakers for panning of 3D moving sources. It also al…

  6. comment
    Comment #44124378

    I believe Atmos as used in cinema rooms, is as far as I know amplitude based (VBAP probably), and it is impressive and immersive. Immersion depends more on the number and placement…

  7. comment
    Comment #44124354

    Tihs is true, but a high density of loudspeakers allows the use of Wave Field Synthesis which recreates a full physical sound field, where all 3 cues can be used.

  8. comment
    Comment #44124338

    I'm sorry, but this is not accurate at all. Using "only" two signals, humans are quite good at localizing sound sources in some directions: Concerning absolute localization, in fro…