HNHacker News
TopNewBestAskShowJobs

tyilo

343 karma · joined June 25, 2012

submissionscomments
tyilo··on Bbtree: Fastest Ordered Map
> No human can write better code than LLMs.

Bold claim...

tyilo··on Hackers obtain counterfeit TLS certificates for Google and other large services
.gh is Ghana, not Greenland
tyilo··on Making a Python interpreter in 1024 bytes
It's not a subset of python.

For instance this program works in this interpreter, but not in python:

    fxx i in rxxxx(10):
        pxxxx(i)
tyilo··on Floats Don't Agree with Themselves
If the original code was written in Rust, then I don't think the Rust compiler is allowed to do any of these "optimizations" of rewriting floating point expressions.
tyilo··on Copy Fail
There is a PoC that does exactly that here: https://github.com/tgies/copy-fail-c
tyilo··on SSH Secret Menu
I have set up Ctrl+k to kill (SIGKILL) the front process in my terminal. I just use that for hanging connections and other hanging processes.
tyilo··on Tell HN: MitID, Denmark's digital ID, was down
> The only real disruption I'd say is if you happen to be buying something online that triggers the 3DS prompt (an additional security layer to prevent cards getting stolen/scam). In Denmark the 3DS prompt for VISA at least uses MitID to verify you are the owner of the card, so that'll obviously not work when MitID is down.

If you use Lunar, the 3DS prompt uses the Lunar app and not MitID.

tyilo··on SIMD programming in pure Rust
You probably just want to use `.peekable()`: https://doc.rust-lang.org/stable/std/iter/trait.Iterator.htm...
tyilo··on Date is out, Temporal is in
> Invalid Date is just a Date with the "Unix epoch timestamp" of NaN. It also follows NaN comparison logic: > > > invalid === new Date(NaN) > false

This is just because a JS Date is an object and have nothing to do with the inner representation.

    > new Date(0) === new Date(0)
    false
tyilo··on YesNotice
I got a 403 Forbidden error when trying to register a user.
tyilo··on Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)
I have created a Python library called "z4-solver" that adds some nice utility functions on top of z3: https://github.com/Tyilo/z4

I always use that instead of the z3-solver directly.

tyilo··on Breaking "provably correct" Leftpad
What is the expected output of padding "﷽"? It is only one code point but very wide.
tyilo··on Updating Desktop Rust
I use the `self_replace` crate for this: https://docs.rs/self-replace/latest/self_replace/
tyilo··on Offline card payments should be possible no later than 1 July 2026
Only half circle?
tyilo··on macOS dotfiles should not go in –/Library/Application Support
It seems like `etcetera` has better defaults: https://docs.rs/etcetera/latest/etcetera/#native-strategy

> `choose_base_strategy()` and `choose_app_strategy()` will use the XDG strategy on Linux & macOS, and the Windows strategy on Windows. This is used by most CLI tools & some GUI tools on each platform.

tyilo··on Shader Academy: Learn computer graphics by solving challenges
I can't get https://shaderacademy.com/challenge/intro_1 to work on Firefox 142.0b5. Even with the provided answer the output is just a red rectangle.
tyilo··on "Email is Easy" email address quiz
Last week I created a script for finding which TLD's have MX records. Result:

    cf: ["mail.intnet.cf."]
    gp: ["ns1.nic.gp."]
    gt: ["aspmx.l.google.com.", "alt1.aspmx.l.google.com.", "alt2.aspmx.l.google.com.", "aspmx2.googlemail.com.", "aspmx4.googlemail.com.", "aspmx5.googlemail.com."]
    hr: ["alpha.carnet.hr."]
    km: ["mail1.comorestelecom.km."]
    mq: ["mx1-mq.mediaserv.net."]
    mr: ["mail.nic.mr."]
    tt: ["ASPMX.L.GOOGLE.COM.", "ALT1.ASPMX.L.GOOGLE.COM."]
    ua: ["mr.kolo.net."]
    ws: ["mail.worldsite.ws."]
    موريتانيا: ["mail.nic.mr."]
    عرب: ["your-dns-needs-immediate-attention.عرب."]
PS: Only http://uz/ seems to have a "working" HTTP server, returning the 500 status code.
tyilo··on Modern Node.js Patterns
Why would you call that "ascii.txt"?
tyilo··on Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format
Correct me if I'm wrong, but it doesn't seem like you provide the equivalent of Seekable::decompress in zstd_seekable which decompresses at a specific offset, without having to calculate which frame(s) to decompress.

This is basically the only function I use from zstd_seekable, so it would be nice to have that in zeekstd as well.

tyilo··on Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format
I already use zstd_seekable (https://docs.rs/zstd-seekable/) in a project. Could you compare the API's of this crate and yours?
tyilo··on Exploring Dynamic Dispatch in Rust
Trait upcasting will land in Rust 1.86.0 which will be released in one week: https://github.com/rust-lang/rust/pull/134367
tyilo··on Exploring Dynamic Dispatch in Rust
(2017)

The examples don't compile without using Rust edition 2018 or older.

tyilo··on Crabtime: Zig’s Comptime in Rust
Floats are not guaranteed to be bit-identical at compile time and run time in Rust.
tyilo··on Idiomatic Rust
> Idiomatic Rust

Not very idiomatic to not use the builtin code formatter...

tyilo··on A 10x Faster TypeScript
> Go and Rust are both memory safe.

Go doesn't seem to be memory safe, see https://www.reddit.com/r/rust/comments/wbejky/comment/ii7ak8... and https://go.dev/play/p/3PBAfWkSue3

tyilo··on TypeScript types can run DOOM [video]
Seems to also work without any:

    type Values<T extends Record<string | number | symbol, unknown>> = T[keyof T]
tyilo··on Why cryptography is not based on NP-complete problems
It might also be the case that P=NP
tyilo··on Smuggling arbitrary data through an emoji
Kitty terminal shows non-payload letters and emojis normally, but with a payload a letter is shown as one box and an emoji is shown as two boxes.
tyilo··on Show HN: HTML visualization of a PDF file's internal structure
When opening the following hello world PDF, the trailer isn't shown correctly and both `startxref` and `%%EOF` are missing: https://ghostbin.site/bb7jb
tyilo··on Show HN: HTML visualization of a PDF file's internal structure
Looks nice.

Would be better if all of the PDF's bytes where shown. Seems like `endobj` and `xref` are not shown.

Page 1 of 4Next →