Readit News logoReadit News
sionisrecur commented on Zig Profiling on Apple Silicon   blog.bugsiki.dev/posts/zi... · Posted by u/signa11
conradev · a month ago
Zig's standard library is structured so that you only compile what you need, so Zig has no problems adding richer functionality to its standard library. This is influenced by Zig's decision to only have a single compilation unit per compile.

HTTP, for example, can go into Zig's standard library, whereas C or Rust cannot do that. This helps control package explosion.

sionisrecur · a month ago
As far as I know rust has dead code elimination. Is the problem that compilation takes longer?
sionisrecur commented on How to Firefox   kau.sh/blog/how-to-firefo... · Posted by u/Vinnl
stronglikedan · a month ago
I use Firefox and Chrome to separate work from personal, and I can tell you that I have to close and restart Firefox at least once a day due to spinning fans and crawling performance, whereas with Chrome it's about once a week.
sionisrecur · a month ago
For another anecdotal experience, I use both in the same way and never have to restart neither of them until they ask to restart because of updates. Chrome asks much more often.
sionisrecur commented on CVE-2024-47081: Netrc credential leak in PSF requests library   seclists.org/fulldisclosu... · Posted by u/jupenur
zx8080 · 3 months ago
A funny commit message in the root cause (as stated in the linked post) commit:

> Push code review advice from @sigmavirus24

sionisrecur · 3 months ago
To be fair, the advice from sigmavirus24 was about dealing with decoding the ':' character: https://github.com/psf/requests/pull/2936/files

The code already had `host = ri.netloc.split(':')[0]` before that.

The actual root issue is urlparse doesn't split the host, user, pass and port and trying to do it manually is very error prone:

    urllib.parse.urlparse('http://example.com:@evil.com:8080/')
    ParseResult(scheme='http', netloc='example.com:@evil.com:8080', path='/', params='', query='', fragment='')
Compare this with php:

    parse_url ('http://example.com:@evil.com:8080/')
    [
        "scheme" => "http",
        "host" => "evil.com",
        "port" => 8080,
        "user" => "example.com",
        "pass" => "",
        "path" => "/",
    ]

sionisrecur commented on Lossless video compression using Bloom filters   github.com/ross39/new_blo... · Posted by u/rh3939
meatmanek · 3 months ago
I suspect this works better because the input videos (Youtube videos) have already been compressed and decompressed.

With raw video input, I think the assumption "most pixels change little (or not at all) between consecutive frames, creating a sparse difference matrix ideal for this approach." would break down. For a very clean signal (low-noise sensor, brightly lit scene), maybe it'd work, but most real-world signals will have noise > 1 LSB, so I'd expect the lower bits to be changing at least half the time.

Sending the video through a compression and decompression cycle first will tend to remove that noise, creating an artificially static video where that assumption holds up.

sionisrecur · 3 months ago
So as it is, it would work great for animation.
sionisrecur commented on Cloudflare CEO: Football piracy blocks will claim lives   torrentfreak.com/cloudfla... · Posted by u/reynaldi
sionisrecur · 3 months ago
And then the Spanish high sea robbers will just find other routes while the regular people will keep wondering why their bank doesn't work.
sionisrecur commented on Zoom is down because the registry disabled their domain   old.reddit.com/r/Zoom/com... · Posted by u/milesskorpen
sionisrecur · 4 months ago
And of course their status page is under the same domain so it is also down https://status.zoom.us/
sionisrecur commented on Sweetener saccharin shows surprise power against antibiotic resistance   brunel.ac.uk/news-and-eve... · Posted by u/XzetaU8
jader201 · 5 months ago
These days, about the only liquid you can consume without controversy is water.

Some say coffee is good for you (in moderation), some say it's bad for you.

Some say certain alcoholic drinks are good for you (in moderation), some say no amount of alcohol is good.

Some say some artificial sweeteners have benefits, some say all of them are toxic.

Some think fruit juices are good for you, because fruit. Some (most) say they're bad for you.

Some say fruit smoothies are good for you, because the fiber content outweighs the downside of fructose/natural sugars. But some say all fruit sugar is bad for you.

The only thing that we seem to agree on, is that any sort of beverage containing sucrose is bad for you. But maybe I missed some thread where sucrose in moderation actually has health benefits.

I guess I'll stick to drinking water. But I'm sure there's a reason why that's bad for me.

sionisrecur · 5 months ago
Sorry, water has microplastics now.
sionisrecur commented on A Man Out to Prove How Dumb AI Still Is   theatlantic.com/technolog... · Posted by u/fortran77
noosphr · 5 months ago
>Last week, the ARC Prize team released an updated test, called ARC-AGI-2, and it appears to have sent the AIs back to the drawing board. The full o3 model has not yet been tested, but a version of o1 dropped from 32 percent on the original puzzles to just 3 percent on the new version, and a “mini” version of o3 currently available to the public dropped from roughly 30 percent to below 2 percent. (An OpenAI spokesperson declined to say whether the company plans to run the benchmark with o3.) Other flagship models from OpenAI, Anthropic, and Google have achieved roughly 1 percent, if not lower. Human testers average about 60 percent.

Arc AGI is the main reason why I don't trust static bench marks.

If you don't have an essentially infinite set to draw your validation data from then a large enough model will memorize it as part of its developer teams KPIs.

Forget all these fancy benchmarks. If you want to saturate any model today give it a string and a grammar and ask it to generate the string from the grammar. I've had _every_ model fail this on regular grammars with strings of more than 4 characters long.

LLMs are the solution to natural language, which is a huge deal. They aren't the solution to reasoning which is still best solved with what used to be called symbolic AI before it started working, e.g. sat solvers.

sionisrecur · 5 months ago
> If you don't have an essentially infinite set to draw your validation data from then a large enough model will memorize it as part of its developer teams KPIs.

Sounds like a use-case for property testing: https://en.wikipedia.org/wiki/Software_testing#Property_test...

sionisrecur commented on Show HN: I made a little puzzle game about a rogue chess knight   knightride.rakhim.org/... · Posted by u/freetonik
sionisrecur · 5 months ago
Very nice. I think it would be more fun/challenging if you were unable to move to a position where an opponent piece can take your knight. Also some explanation would be nice, at first I thought I had to avoid other pieces and reach the end in the least amount of moves.

u/sionisrecur

KarmaCake day58September 16, 2024View Original