tyilo
tyilo on Hacker News
> No human can write better code than LLMs.
Bold claim...
.gh is Ghana, not Greenland
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)
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.
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.
> 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.
> 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/z4I always use that instead of the z3-solver directly.
What is the expected output of padding "﷽"? It is only one code point but very wide.
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.
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.
Why would you call that "ascii.txt"?
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.
(2017)
The examples don't compile without using Rust edition 2018 or older.
Floats are not guaranteed to be bit-identical at compile time and run time in Rust.
> Idiomatic Rust
Not very idiomatic to not use the builtin code formatter...
Seems to also work without any:
type Values<T extends Record<string | number | symbol, unknown>> = T[keyof T]
It might also be the case that P=NP
Kitty terminal shows non-payload letters and emojis normally, but with a payload a letter is shown as one box and an emoji is shown as two boxes.
When opening the following hello world PDF, the trailer isn't shown correctly and both `startxref` and `%%EOF` are missing:
https://ghostbin.site/bb7jb
Looks nice.
Would be better if all of the PDF's bytes where shown. Seems like `endobj` and `xref` are not shown.