"An ordinal is a downward-closed set of ordinals" thanks, I love it

Show thread

The strange joy of recursive/inductive definitions that look ill-founded but aren't

I suspect that if Alonzo Church had known that people would one day have to write out the word 'lambda' over and over in their programs, he would have called it the
\-calculus instead

Can someone who knows a bit about constructivism and computational interpretation of logic tell me why call/cc doesn't suffice as a witness for double negation elimination? What’s not constructive about it?

Pro tip: being bad at saying “no” to requests does not make it everyone else’s responsibility to never make a request that you might want to say ”no” to

I think the real answer is "returning on error is and always has been a hack, compared to using a proper optional type"

Show thread

Philosophical coding question. In (as with other -based languages) it's common for procedures to return (false) to indicate failure. So the following one-liner is occasionally useful for simplifying code that deals with the output of such procedures:

(define (opt-map proc arg [default ])
(if arg (proc arg) default))

But as written, this still returns , rather than the given default, if arg is not but (proc arg) is. The question is, is this a good or a bad thing?

Supposedly there are some who prefer rejection-sampling a d4, but those people don't deserve a voice in this poll

Show thread

Boost for visibility pls

Which of these is the correct way to get a d3 result from a six-sided die?

Of 24803 registered third-level domain names in the .name tld, 15079 (~61%) of these have ns01.yahoodomains.jp and ns02.yahoodomains.jp given as their nameservers, but said servers refuse all record requests for these domains (even when coming from a VPN exit point in Japan).

Show thread

Wait, it's not that they have no dns records, ns1.yahoodomains.jp is explicitly refusing to answer. Maybe region-locked? Curiouser and curiouser

Show thread
Ian boosted

RT @cakesandcourage@twitter.com

a popular myth is that people who are Very Computer have computers that work. nothing could be further from the truth. the Very Computer are capable of generating much more novel and fascinating ways to make computers not fucking work and exercise this capability wantonly

🐦🔗: twitter.com/cakesandcourage/st

Whois information being as heavily redacted as it is these days, I can't really tell if these names are all owned by some Yahoo!-subsidiary holding company or all by different people or what

Show thread

I've been digging through the zone file for .name, specifically looking at third-level registrations of actual personal names, and... a tremendous majority of these (I'd estimate 85-90%) are
* Japanese names
* with Tucows as registrar
* with Yahoo! Japan as reseller and nameservers ns#.yahoodomains.jp
* and with no records besides the NS records themselves
* but which have nonetheless been continually renewed for years.

What exactly is going on? What is Yahoo! doing with all these names?

I was today years old when I realized that domain names are the original NFTs

Ian boosted
Ian boosted

I mourn the days when TVs weren't 'smart' and did no more than faithfully display the signal you fed them.

Same as I miss the time when compilers didn't try to second-guess my intent and competence as a programmer.

Ian boosted

Also on the subject of domain names: there are a surprisingly large number of short English-word domain names under the .cx TLD that are available at base price. Why is that? Sure, it's not exactly as prestigious as a .com domain, but surely it's better than, like, .online and all the other absurdly long gTLDs. Am I missing something?

Revising this: if you prefer I will create A, AAAA, CNAME, or DNAME records myself for your ⟨fedis.net⟩ subdomain rather than NS. (I'm not sure why anyone would prefer that but I also don’t see a downside of offering it.) No MX or other records, if you want those then please take the full NS delegation.

Again, boost for visibility, I’m hoping this can be a useful if small service for aspiring self-hosts.

Show thread
Show older
Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko