Loading comment...
Readit NewsLoading parent story...
I got a 403 Forbidden error when trying to register a user.
tyilo commented on Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015) ericpony.github.io/z3py-t... · Posted by u/amit-bansil
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.
tyilo commented on Breaking "provably correct" Leftpad lukeplant.me.uk/blog/post... · Posted by u/birdculture
What is the expected output of padding "﷽"? It is only one code point but very wide.
I use the `self_replace` crate for this: https://docs.rs/self-replace/latest/self_replace/
tyilo commented on Offline card payments should be possible no later than 1 July 2026 riksbank.se/en-gb/press-a... · Posted by u/sebiw
We've come full circle.
Credit cards were offline-only in the beginning. When have we lost this ability?
See https://www.google.com/search?num=10&sca_esv=5e043526353aa70...
Only half circle?
tyilo commented on macOS dotfiles should not go in –/Library/Application Support becca.ooo/blog/macos-dotf... · Posted by u/zdw
I and others have brought this up with the dirs Rust crate maintainer but they refuse to see it this way: https://codeberg.org/dirs/dirs-rs/issues/64. It's very frustrating.
I now use a combination of xdg + known-folders manually:
[target.'cfg(windows)'.dependencies]
known-folders = "1.2.0"
[target.'cfg(not(windows))'.dependencies]
xdg = "2.5.2"
use anyhow::{Context, Result};
#[cfg(windows)]
fn get_config_base_dir() -> Result<PathBuf> {
use known_folders::{KnownFolder, get_known_folder_path};
get_known_folder_path(KnownFolder::RoamingAppData).context("unable to get config dir")
}
#[cfg(not(windows))]
fn get_config_base_dir() -> Result<PathBuf> {
let base_dirs = xdg::BaseDirectories::new().context("unable to get config dir")?;
Ok(base_dirs.get_config_home())
}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.
tyilo commented on Shader Academy: Learn computer graphics by solving challenges shaderacademy.com/... · Posted by u/pykello
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.
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.عرب."]
Not related, but I often want to see the next or previous element when I'm iterating. When that happens, I always have to switch to an index-based loop. Is there a function that returns Iter<Item=(T, Option<T>)> where the second element is a lookahead?