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

Note that `peekable` will most likely break autovectorization

> 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

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

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.

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

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

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

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/

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

Only half circle?

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.

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.

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 ?

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.