Viewing profile — miguelnegrao
miguelnegrao
HN member- Joined
- Thu, May 29, 2025, 9:12 AM UTC
- HN karma
- 12
- Public activity
- 8 items
- HN profile
- View on Hacker News ↗
About miguelnegrao
No profile information was provided.
Recent public activity
-
comment
Comment #49265364
Wouldn't most linux users just use codex cli or codex vscode ? Does the app bring anything not available on codex ?
-
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…
-
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.
-
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…
-
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…
-
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…
-
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.
-
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…