Hacker News: tyilo

New comment by tyilo in "Copy Fail"

tyilo — Thu, 30 Apr 2026 11:49:47 +0000

There is a PoC that does exactly that here: https://github.com/tgies/copy-fail-c

New comment by tyilo in "SSH Secret Menu"

tyilo — Wed, 11 Mar 2026 17:35:26 +0000

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.

New comment by tyilo in "Tell HN: MitID, Denmark's digital ID, was down"

tyilo — Fri, 27 Feb 2026 23:04:09 +0000

> 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.

New comment by tyilo in "SIMD programming in pure Rust"

tyilo — Wed, 21 Jan 2026 23:01:56 +0000

You probably just want to use `.peekable()`: https://doc.rust-lang.org/stable/std/iter/trait.Iterator.htm...

New comment by tyilo in "Date is out, Temporal is in"

tyilo — Tue, 13 Jan 2026 08:30:29 +0000

> 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

New comment by tyilo in "YesNotice"

tyilo — Tue, 02 Dec 2025 20:12:52 +0000

I got a 403 Forbidden error when trying to register a user.

New comment by tyilo in "Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)"

tyilo — Mon, 17 Nov 2025 08:22:38 +0000

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.

New comment by tyilo in "Breaking "provably correct" Leftpad"

tyilo — Thu, 16 Oct 2025 15:55:11 +0000

What is the expected output of padding "﷽"? It is only one code point but very wide.

New comment by tyilo in "Updating Desktop Rust"

tyilo — Wed, 15 Oct 2025 10:35:48 +0000

I use the `self_replace` crate for this: https://docs.rs/self-replace/latest/self_replace/

New comment by tyilo in "Offline card payments should be possible no later than 1 July 2026"

tyilo — Sat, 04 Oct 2025 07:55:24 +0000

Only half circle?

New comment by tyilo in "macOS dotfiles should not go in –/Library/Application Support"

tyilo — Tue, 26 Aug 2025 08:37:06 +0000

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.

New comment by tyilo in "Shader Academy: Learn computer graphics by solving challenges"

tyilo — Sat, 23 Aug 2025 17:06:09 +0000

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.

New comment by tyilo in ""Email is Easy" email address quiz"

tyilo — Mon, 18 Aug 2025 20:31:18 +0000

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.

New comment by tyilo in "Modern Node.js Patterns"

tyilo — Mon, 04 Aug 2025 07:20:18 +0000

Why would you call that "ascii.txt"?

New comment by tyilo in "Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format"

tyilo — Mon, 16 Jun 2025 12:57:58 +0000

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.

New comment by tyilo in "Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format"

tyilo — Mon, 16 Jun 2025 12:53:01 +0000

I already use zstd_seekable (https://docs.rs/zstd-seekable/) in a project. Could you compare the API's of this crate and yours?

New comment by tyilo in "Exploring Dynamic Dispatch in Rust"

tyilo — Thu, 27 Mar 2025 08:50:51 +0000

Trait upcasting will land in Rust 1.86.0 which will be released in one week: https://github.com/rust-lang/rust/pull/134367

New comment by tyilo in "Exploring Dynamic Dispatch in Rust"

tyilo — Thu, 27 Mar 2025 08:45:38 +0000

(2017)

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

New comment by tyilo in "Crabtime: Zig’s Comptime in Rust"

tyilo — Sat, 22 Mar 2025 10:55:49 +0000

Floats are not guaranteed to be bit-identical at compile time and run time in Rust.

New comment by tyilo in "Idiomatic Rust"

tyilo — Thu, 20 Mar 2025 08:43:27 +0000

> Idiomatic Rust

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