tyilo's comments

On: Tell HN: MitID, Denmark's digital ID, was down

[tyilo]

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

On: SIMD programming in pure Rust

[tyilo]

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

[SkiFire13 → tyilo]

Note that `peekable` will most likely break autovectorization

On: Date is out, Temporal is in

[tyilo]

> 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

On: YesNotice

[tyilo]

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

On: Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)

[tyilo]

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.

[Recursing → tyilo]

Have you tried to compare Z3 with cvc5? https://cvc5.github.io/docs/cvc5-1.1.2/api/python/pythonic/p...

It offers basically the same API and could be faster in many cases

[gignico → Recursing]

I was about to comment the same. Z3 always takes all the credit but cvc5 is just as great!

On: Breaking "provably correct" Leftpad

[tyilo]

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

[mmis1000 → tyilo]

There is a definition file on unicode spec about a character should be n half-width in monospacr context. Not sure if it includes all symbol though. Also don't know if it handles symbol that has more than 2 half-width

https://www.unicode.org/reports/tr11/

On: Updating Desktop Rust

[tyilo]

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

On: Offline card payments should be possible no later than 1 July 2026

[tyilo]

Only half circle?

On: macOS dotfiles should not go in –/Library/Application Support

[tyilo]

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.

On: Shader Academy: Learn computer graphics by solving challenges

[tyilo]

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.

[ahmkool → tyilo]

Are you using Firefox on Linux ? For some reason it doesn't really work for some users - can you try to switch to Chrome or another browser ?