HNHacker News
TopNewBestAskShowJobs

edflsafoiewq

4,956 karma · joined June 8, 2017

submissionscomments
edflsafoiewq··on Yes, and
I think this narrow view on determinism comes up a lot. Essentially any program can be made deterministic over single inputs by fixing all side-inputs. But there is determinism over classes of inputs too, eg. an algorithm given input X deterministically outputs X+1.

I think the wider view is usually what people mean when they talk about nondeterminism in LLMs. Maybe because computers are traditionally so deterministic the wide view is almost taken for granted by programmers.

edflsafoiewq··on Why isn't the industry freaking out about DeepSeek 4.1 Flash?
Not if you're not giving feedback.
edflsafoiewq··on Shipping JPEG XL in Chrome
Presumably the same problems exist for avif/jxl?
edflsafoiewq··on CSS Bed: Classless CSS themes to use as starting points in web development
Here some quick thumbnails for all of them: https://i.imgur.com/KXjiYxO.png
edflsafoiewq··on Reddit is putting more limits on old.reddit.com
Use redlib. It's crazy how much better the interface is than both old and new reddit.
edflsafoiewq··on Parley: Federated, decentralised chat that speaks plain IRC
> which have been a nightmare on mastodon

Why?

edflsafoiewq··on Used ThinkPad Buyer's Guide (2019)
Get a whole "for parts" model off ebay. The knockoff keyboards suck.
edflsafoiewq··on Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint
They use their own llama fork anyway, so that shouldn't matter.
edflsafoiewq··on Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint
I think the general idea is naive quantization falls apart below 4bpw but you can go lower with more sophisticated QAT-adjacent methods. Bonsai's quantization method is proprietary though.
edflsafoiewq··on Anecdotally, programmers dislike "reduce"
If the s are small the usual geometric buffer growth mitigates that. Of course you can compute the final buffer size in this case, but often you have a bunch of dynamically-generated strings of different sizes.
edflsafoiewq··on Anecdotally, programmers dislike "reduce"
Does Python actually do that? If the f call throws, you can still observe the (unchanged) binding of acc in reduce.
edflsafoiewq··on Anecdotally, programmers dislike "reduce"
The binding for acc in the reduce call is still active during the f call, which means there are at least two references to acc.
edflsafoiewq··on Anecdotally, programmers dislike "reduce"
Doesn't reduce force the accumulator to be shared though? Both the reduce and the lambda are holding onto references to acc, which defeats any "single reference" optimizations.
edflsafoiewq··on The case against JPEG XL
AFAICT progressive AVIF is actually using the "spatial layers" feature of AV1, which was designed to embed multiple resolutions of a video in one bitstream. The limit on four spatial layers comes directly from AV1. The previously decoded layer/progressive-step becomes a reference frame that the next layer can draw from just like eg the temporally-previous frame can be referenced by interprediction.
edflsafoiewq··on The case against JPEG XL
It has YCgCo too, which should have the efficiency of YCbCr while being lossless.
edflsafoiewq··on The case against JPEG XL
Being lossless is a function of the whole pipeline from an input image to an output image. The last step being encode to PNG doesn't guarantee anything about losslessness.
edflsafoiewq··on The case against JPEG XL
AFAIK WebP has never used hardware decoding and no browser uses it for AVIF now.
edflsafoiewq··on The case against JPEG XL
The DC coefficients in a progressive JPEG are literally an embedded thumbnail (a 1:64 copy of the original) right? Is the question if the second "layer" replaces the thumbnail or layers corrections on top of it? It wasn't clear to me which AVIF does.
edflsafoiewq··on The case against JPEG XL
Does the difference matter?
edflsafoiewq··on The UN challenges five centuries of cartography
I mean Peters himself was German.
edflsafoiewq··on The UN challenges five centuries of cartography
I really like oblique projections. Have you seen this neat one from Kerkovits - A Low-Distortion Oblique Map Projection of the World’s Landmasses (2024)?

https://files.catbox.moe/k11gqq.avif

edflsafoiewq··on The UN challenges five centuries of cartography
The projection you see with your eyes is actually not that great in a sense. You can only see half of the world at a time and it's quite distorted as you move towards the edge. Also on a computer you should be able to "spin" any map projection, not just a globe.
edflsafoiewq··on The UN challenges five centuries of cartography
The article actually maps out the history pretty well. This is basically a recrudescence of the Gall-Peters debate from the 70s, triggered by Boston Public Schools adopting Gall-Peters in 2017. The current wave has taken up the old fight with a less-ugly equiareal map.
edflsafoiewq··on We could save petabytes of cache storage with Zstandard and Pingora
It was the second most reported problem on the 2025 Rust survey, after compilation times.
edflsafoiewq··on Paint.net 5.2 alpha now runs on Linux
Why is Direct2D so hard to implement in Wine?
edflsafoiewq··on Saving 100 terabytes of memory by optimizing 1.1.1.1's DNS cache
General theme: A programming language's native in-memory object format is typically optimized for random access, uniformity, and mutability (fields at fixed offsets, etc). Serialization formats for network or disk tend to be designed explicitly to be more compact. But you can design your own in-memory representation too, with the properties you need.
edflsafoiewq··on IBM Unveils Next Generation Dual-Architecture Processor for IBM Z and LinuxONE
Oh is that why the page is like 50 megs.
edflsafoiewq··on Oceans hit highest temperature on record
That is the opposite of what GP said. The point is only the total emissions matter, the climate does not care about "fair" allocations over either people or nation-states.
edflsafoiewq··on India has paved the way for charging merchants a fee on UPI transactions
Sounds like it would be easier to hope for a better UPI experience for tourists.
edflsafoiewq··on The Case Against Formal Verification, 50 Years Later
1. The output is a permutation of the input.

2. If the comparison implements a strict total order, the output is sorted according to it.

Page 1 of 34Next →