HNHacker News
TopNewBestAskShowJobs

floxy

2,262 karma · joined December 31, 2020

submissionscomments
floxy··on How did AMD Ryzen get 50% faster in two years?
I used to use a full Slackware Linux distribution with X-Windows on a 486 clone with 4 Megabytes of RAM.
floxy··on Oregon data centers: 111 facilities consume nearly 1/4 of state's power
What fraction of Oregon electrical generation is exported to other states? No mention in the article of Oregon's extensive hydroelectric generation or wind farms in the eastern part of the state.

https://en.wikipedia.org/wiki/Wind_power_in_Oregon

...maybe they should rethink their anti-nuclear climate-change-denial stance in Oregon (sayonara Trojan).

floxy··on Android 17 is the first since 3.x to add new APIs without releasing to the AOSP
Apple can create a clone for their wall-garden when they want to catch up to the times.
floxy··on Android 17 is the first since 3.x to add new APIs without releasing to the AOSP
>wildly underestimate how many engineers work on Chrome.

It is completely insane how many people work on Chrome. It seems like it is time to deprecate web browsers and do something different. Like you get a frame-buffer to draw on with something like a wasm vm. Web pages get replaced by programs (which they essentially are anyway). Get rid of 99.9% of the cruft that has accumulated over the decades in browsers. If you want to have some of that cruft, that is a library you have to send.

floxy··on Six curl CVEs after OpenAI and Anthropic came back with zero
Anyone care to guesstimate how much effort there would be in creating an actually-secure curl and openssl? Using something like Common Lisp or Lean, instead of C.
floxy··on Fluorescent lamps (don't) have ears
I as skeptical as the next guy when it comes to the claim that ambient audio modulates the fluorescent light. But I could sure use more details on what analysis was done to the photos. Sounds like there were several photos taken, say 100ms(?) apart. Then the photos were subtracted pixel-by-pixel to look at the variations in time (between photos) or spatially (neighboring pixels)? I still think a photo-diode AC-coupled to a high gain amplifier fed into an oscilloscope would be the more conclusive test. Do a audio frequency sweep from 100-10kHz. Both with the fluorescent light on, and then again with the light off (as a control, in case something else in the setup is sensitive to the audio).
floxy··on You Probably Forget How Cheap Memory Used to Be
I distinctly remember paying $40 per megabyte at Costco to upgrade my Cyrix 486-40 from 4MB to 8MB (maybe 1994 or so).
floxy··on Gödel, Escher, Elisp: The Beauty of Macros
>Where may I see the advantage in the long run, in any dimension?

The advantage of what?

floxy··on When str.lower() is a security vulnerability in Python
I suppose I could envision a scenario like: Service A has a "reset your password" option. Someone with a "user@popular-unicode-domain.com" tries to use this option. Normally this fails when mangled-popular-unicode-domain-plus-garbage.com can't be found. Enterprising malicious actor registers mangled-popular-unicode-domain-plus-garbage.com, and now gets a hold of user password reset requests.
floxy··on Gödel, Escher, Elisp: The Beauty of Macros
I don't think that is a reasonable request for a response to a comment post, but in my experience, many lisp macro advocates come from other procedural / OO languages and aren't well acquainted with other programming paradigms, so they don't generally know what the don't know about other styles, say functional programming, and how to solve problems using higher order functions, etc. instead of reaching for macros. Which is OK. Not everyone has to become a programming language dilettante.
floxy··on Gödel, Escher, Elisp: The Beauty of Macros
Or you could wrap arguments in lambdas (anonymous functions) for eagerly-evaluted languages. Lisp unfortunately has a bulky syntax for lambdas, compared to something like Smalltalk. Of course, you can fix this with reader macros in Common Lisp (but no one does). Clojure has a shorter syntax I believe as well: #().
floxy··on Principia Mathematica is modern and insightful
If you want to get to the meat of the issue, without the extraneous stuff, you might also tackle: Godel's Theorem Simplified.

https://www.amazon.com/Godels-Theorem-Simplified-Harry-Gensl...

floxy··on Chicken Scheme 6.0
I'm interested in reading more about how reader macros make `eval` better/useful.
floxy··on GNU Hurd News 2026-Q2
Looking forward to reading the results of your benchmarking Hurd vs. Linux.
floxy··on GNU Hurd News 2026-Q2
I'm having a hard time believing that data centers are chomping at the bit to use the Hurd.
floxy··on GNU Hurd News 2026-Q2
>small enough to fit entirely in the L2 cache

Shouldn't the "hot" path fit in the L1 of a "modern" processor (100 kB+)?

floxy··on GNU Hurd News 2026-Q2
If people really cared about performance, we'd be doing something other than the bloated way we have been doing things.

https://winworldpc.com/product/qnx/144mb-demo

floxy··on GNU Hurd News 2026-Q2
So for an I/O heavy program like a web browser, what percentage of CPU time is spent in syscalls? Someone must have that data for Firefox. 1%? 10%? And then that moves to 1.1% (or 11%)? And then every other program is even less affected? Curious if anyone is in the know.
floxy··on GNU Hurd News 2026-Q2
Hurd is like 36 years old at this point. More like adding 20% to a 10 second operation, compared to adding 20% to a 10ms operation.
floxy··on GNU Hurd News 2026-Q2
Is that a bottleneck anymore? Maybe something that was appreciable in 1994 isn't a big performance hit in 2026?
floxy··on F*: A general-purpose proof-oriented programming language
Thanks
floxy··on F*: A general-purpose proof-oriented programming language
>a rename might affect indentation

I think I need to see an example.

floxy··on F*: A general-purpose proof-oriented programming language
>copy-pasting

Underappreciated benefit of side benefit of indentation based languages: no copy-pasta.

floxy··on Waymos cause "way mo" injuries per mile driven than for-hire vehicles in NYC
Is this not a slam-dunk libel case?
floxy··on Waymos cause "way mo" injuries per mile driven than for-hire vehicles in NYC
Anyone have the source for the three Waymo serious injuries or deaths? I feel like I would have heard about these on HN. Only thing I've heard of is one feline fatality and a school-aged pedestrian who was bumped, but appeared not to be injured.
floxy··on Mathematicians still don't know the fastest way to multiply numbers

             1234567890 
           x     111111
           ------------
             1234567890
            12345678900
           123456789000
          1234567890000
         12345678900000
      + 123456789000000
      -----------------
    137,174,072,825,790 
...looks like O(n^2).
floxy··on A software engineering interview question I like: computing the median
https://en.wikipedia.org/wiki/Floyd%E2%80%93Rivest_algorithm
floxy··on Defeat air-gapped systems by exfiltrating data using Apple Find My network
https://en.wikipedia.org/wiki/Tempest_%28codename%29
floxy··on Bad Epoll Flaw Gives Attackers Root Access on Linux and Android
Seems like:

https://github.com/J-jaeyoung/bad-epoll

...is the source material. I'm not a kernel guy; I'm not following how this works:

"With that control, the exploit gains an arbitrary read of kernel memory through /proc/self/fdinfo ."

floxy··on Gen Z is forgoing the institution of mariage
Is there a source of average price per wedding over time, since say 1800? $12,000 still sounds over the top, even accounting for inflation.
Page 1 of 34Next →