tyilo's comments

On: Steve Ballmer's incorrect binary search interview ...

[tyilo]

He also didn't state that the number is always in the set {59}, so you will always win 5 dollars.

On: Show HN: I made a puzzle game that gently introduc...

[tyilo]

If someone has signed something cryptographically, wouldn't you say that the signature was a proof of someone with the private key signing it? (Even though it is possible to construct a valid signature without the private key - you just have to be very very very lucky)

I guess you also don't like the name Proof of Work.

On: The Irrevocable SSL Certificates of Cloudflare

[tyilo]

(2021)

On: Arch Linux RISC-V

[tyilo]

I have tried twice to install it on my rpi4, but I never got it to boot properly :(

[an-unknown → tyilo]

Did you run into a boot loop because of some SDMMC controller problem? If yes: this is caused by hardware changes in newer rpi4 and old rootfs images from ALARM which don't support this yet but it's fixed if you update it. To do that, you have to play around with chroot + qemu-user to run a standard "pacman -Syu" on the rpi rootfs before the first boot on the real rpi4. Afterwards it should boot properly on the rpi4.

That being said, if you want to use e.g. the official RPi 7" touch display via DSI, you should also switch from the default upstream kernel to the rpi kernel unless you like to mess around with DTB and debug strange problems.

[snvzz → tyilo]

Using the serial port (I recommend a cp2104 or cp2102N usb-ttl adapter) is extremely helpful.

You'll need to become familiar with u-boot. Then you'll be able to boot this board and any other board with ease.

[johnwalkr → snvzz]

u-boot is so useful. Recently I used it to ping between 2 devices to prove a hardware issue, and not waste time troubleshooting linux things.

On: VirtualBox KVM Public Release

[tyilo]

Does this enable you to use Hyper-V in a guest Windows VM?

[blitzclone → tyilo]

Not yet. Nesting support is on our list. But the performance will not be great.

On: Show HN: A simple echo server for testing HTTP cli...

[tyilo]

The url generated isn't valid according to curl:

    curl -v 'https://echoserver.dev/server?query={"headers":[["foo","bar"]],"body":{"type":"text","data":"asdasdasadsasdasd"},"status":200}'
    curl: (3) nested brace in URL position 48:
    https://echoserver.dev/server?query={"headers":[["foo","bar"]],"body":{"type":"text","data":"asdasdasadsasdasd"},"status":200}

It also sends a lot of extra headers:

CF-Cache-Status: DYNAMIC CF-Ray: 7cacf9735d5c7373-CPH Connection: keep-alive Date: Sun, 21 May 2023 12:55:33 GMT Server: cloudflare Set-Cookie: __cf_bm=cAVNRtth0_6tpGLa8p2wbe6EuPRO2ZKITru5y9_GYgE-1684673733-0-AUMvqDbcxAHGRLPD2ghFL+6yJ0RKm0kGPtzsiU4jFChGrB02xtkPe8I2OX6+kFApwcWiEI1p+mFNA+esRO58cVI=; path=/; expires=Sun, 21-May-23 13:25:33 GMT; domain=.echoserver.dev; HttpOnly; Secure; SameSite=None Set-Cookie: _cfuvid=wP9ezST2Ks4reP.MMtYKTxisnCjBHSGc65SDqhRDdCU-1684673733888-0-604800000; path=/; domain=.echoserver.dev; HttpOnly; Secure; SameSite=None Transfer-Encoding: chunked Vary: Accept-Encoding alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400 x-render-origin-server: Render

[__s__ → tyilo]

I didn't test it with curl because I was assuming it would be used on the frontend, but as afn mentioned, I think it should work correctly if you add -g as shown below: curl -g -v 'https://echoserver.dev/server?query={"headers":[["foo","bar"...}'

Also, I am using render.com for hosting, and render.com uses Cloudflare internally, so it seems that related headers are also included. However, I believe this should not be a problem for testing purposes.

[afn → tyilo]

By default, curl interprets braces and square brackets to expand into multiple URLs (similarly to bash and other shells). You can disable this, and use literal braces & brackets in URLs, by passing ‘-g’ (‘--globoff’).

[layer8 → afn]

Braces and square brackets (as well as double quotes) are not allowed unencoded in query strings, see the definition of pchar in https://datatracker.ietf.org/doc/html/rfc3986#section-3.4.

[__s__ → layer8]

That's true. Although it will make the URL longer, I have decided to use encodeURIComponent to escape characters and avoid potential bugs.

[joeframbach → tyilo]

Based on this user's post history, I doubt you'll get a response. And seeing that the post was obviously written by chatgpt, I doubt they'll even be back to read your post.

On: Apk.sh is a Bash script that makes reverse enginee...

[tyilo]

Seems similar to my own script: https://github.com/tyilo/apkmagician

On: Anti-Interdiction on the Librem 5 USA

[tyilo]

Couldn't they just take a picture of the phone themselves before tampering with the phone?

[foobarbecue → tyilo]

Maybe, but then they have to fake the context (camera, lighting, room) and be extremely careful not to accidentally give away clues about their operation.

On: Making an Accurate Sleep() Function

[tyilo]

This site looks horrible for me due to some font issues?

See https://i.imgur.com/dAHmjSc.png

On: Now I’m calculating with constructive reals

[tyilo]

It is undecidable, see https://en.wikipedia.org/wiki/Richardson%27s_theorem

[fdej → tyilo]

No, this is wrong. Richardson's theorem is about functions, not constants. Equality of constants constructed from exponentials and logarithms is decidable (assuming Schanuel's conjecture) by another theorem (and algorithm!) of Richardson.