In case Twitter does implode I'm @[email protected]! Follow me there for Agda, category theory, and — for a limited time only — trying to figure out British rail services
@scheminglunatic the reason ghc doesn't let you segfault by casting along bottom is that it actually reduces proofs before doing a cast. so if you try to coerce along fix id you get stuck first evaluating fix id. this is unlike e.g. idris where you can substitute along an @0 identity.
@graninas This post is in violation of xkcd's license, CC-BY-*NC* 2.5:
> NonCommercial means not primarily intended for or directed towards commercial advantage or monetary compensation
You obviously stand to make money by pinching your book as wildly "more practical" than the rest.
Listening to graninas will never be a worthy industry practice. 🚷
His takes become obsolete much faster than he can actually post them. 🚮
His so-called "books" are just a questionable tactic to squeeze money out of the industry.🧑🔧🔫🕵️
You know why. ⬇️
@sarah_zrf@grassmannian I'm sorry that neither of you can read changelogs 🥲 I know they're very complex pieces of technical writing but I hope you'll recover soon 🙏
Thank god for HOA rules.
People wanting to grow veggies in their front yards, leaving trees untrimmed, not getting weed control treatments.
Parking dumb shit like trailers, boats and RVs in driveways. Doing work on cars in driveway.
I’ll never live in a neighborhood without the rules.
@lightediand @matthematician these generalise smooth algebras, which, honestly, why aren't they called real smooth algeb-- i mean, have operations for each *smooth* map RR^n→RR instead. and aiui these are actually seriously studied by a number of people with more than a single digit
@lightediand @matthematician once that has stopped feeling wonky you'll see some truly funky objects people study:
at a seminar a week or two ago i attended a lecture on "real-continuous algebras" — extremely nonstandard name — which have operations corresponding to every single continuous function RR^n→RR
@cirkelnio turns out [incredibly heavy sigh] there is config to control this (ui.popup.disable_autohide), which was set for a reason i do not remember, and troubleshooting mode does not disable your preferences. i guess if the trouble you're shooting is config-related you can get fucked
I have no idea how to search for this but has anyone else encountered this bizzare issue where firefox ui popups on macOS just. get stuck there. and you can't click away from them. this is troubleshooting mode so definitely not an extension