tyilo

Joined 14 years ago

Karma

343

Submissions

123

Member since

Jun 25

View on Hacker News

Recent submissions

Comment · 7 days ago

> No human can write better code than LLMs.

Bold claim...

Comment · 25 days ago

.gh is Ghana, not Greenland

Comment · 1 month ago

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)

Comment · 5 months ago

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.

Comment · 6 months ago

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

Comment · 7 months ago

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.

Comment · 8 months ago

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

Comment · 9 months ago

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

Comment · 9 months ago

> 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

Comment · 11 months ago

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

Comment · 11 months ago

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.

Comment · 1 year ago

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

Comment · 1 year ago

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

Comment · 1 year ago

Only half circle?

Comment · 1 year ago

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.