toastal

26 ms·

421.
by toastal 3y ago
Agda embraces Unicode. PureScript & Haskell (with the UnicodeSyntax extension) both behave pretty well with a lot of Unicode operators (but rely on bicameral scripts as the leading character for deciding if something like a value or a C
422.
by toastal 3y ago
Iosevka is nice because it allow customization. I can fix all my little nits or get it paired nicely with a body copy font, & I can fix the big nits like disabling ligature abuse.
423.
by toastal 3y ago
Quick fix: - .sans-serif { - font-family: -apple-system, BlinkMacSystemFont, - 'avenir next', avenir, - helvetica, 'helvetica neue', - ubuntu, -
424.
by toastal 3y ago
I believe this domain started at the big 4.x version drop which was the turn of a new era in the Browser Wars. I remember using Minefield because the new features were too tempting to miss & this was before evergreen versioning became t
425.
by toastal 3y ago
Fx provided a decent enough performance boost with its builtin tracking blocker that more than made up for any difference in real world scenarios. …But I never switch away from Gecko since Fx v2.x.
426.
by toastal 3y ago
These make me feel weird. On one hand, I love the way justified way it takes me back to old READMEs, GameFAQs, etc. but on the other all accessibility is thrown out the window.
427.
by toastal 3y ago
You can customize the user agent. Firefox I can set the colors & fonts …and this includes different settings for dark themes as well. I prefer this experience; namely on my OLED displays I like being able to have #000 black background
428.
by toastal 3y ago
Or at least mirror in the opposite direction. Keep your ‘primary’ communications on something open like XMPP MUCs, Matrix Spaces, IRC–or the likes of Zulip, Mattermost. If the chat flavor of the week changes, at least home base wasn’t ran b
429.
by toastal 3y ago
Mario is to lemons, as Green Mario is to green lemons. I’m happy to see limes tho since lemons are uncommon/expensive here.
430.
by toastal 3y ago
This is incredibly complex for many static site use cases (i.e. blogs, documentation, marketing pages). Most don’t need JavaScript let alone React/JSX/Middleware/SSR/et al. I can’t imagine the long-term maintenance of so
431.
by toastal 3y ago
The web was nicer when you could inspect, learn, & riff off of what others where doing in the industry–like the old music industry used to do when covering & borrowing a phrase was considered homage not grounds for lawsuit. It’s now
432.
by toastal 3y ago
Rewriting history is a part of our culture
433.
by toastal 3y ago
United States of America an eagle screeches in the distance
434.
by toastal 3y ago
CSS selectors were more useful before the Tailwind fad of dropping meaningful classes names in favor of recreating inline styles but with abbreviations to memorize. I use μBlock Origin + userStyles a lot which both also uses CSS selectors &
435.
by toastal 3y ago
Good example: I needed to get voter information abroad in order to get a mail-in ballot, but the government website blocked all foreign origin connections.
436.
by toastal 3y ago
“Piracy can’t be stealing if paying for it isn’t owning”
437.
by toastal 3y ago
*Node.js & Python developers enter the chat*
438.
by toastal 3y ago
Is there something about Python that makes it special for teaching? Is function application via spaces like ML-family languages difficult for learners?
439.
by toastal 3y ago
The load time will be slower as I have to fill out another hCAPTCHA and go through more DDoS hoops.
440.
by toastal 3y ago
CDN for my blog? Nope. That adds complexity and gives power to CDNs. Besides, CDNs and reverse proxies are blocked by SourceHut Pages anyhow ( https://srht.site/limitations ).
441.
by toastal 3y ago
Meaningful class names were great. I could use them to reliably build filter lists for uBlock Origin and User Styles to fix bad design, but I can’t select on these classes at all.
442.
by toastal 3y ago
I just finished relaunching my blog 2 days ago with a design, new host, new build tool, etc. so I could get back into writing & owning my writings. I hope to write more soon: https://toast.al
443.
by toastal 3y ago
Similar happened with LINE. They used to have a Lite app that only had the ability to encrypted chat + send files + make voice/video calls (& had a dark theme with no trackers). But they killed it off last year to make everyone
444.
by toastal 3y ago
Instagram booted my account for looking too suspicious. To reactivate the account they wanted me to send a 3D video selfie to verify myself, but that company doesn’t need those sorts of head scans on me. Nope. Account is gone & I’ll nev
445.
by toastal 3y ago
### But my headings * can be a definition list * if I don’t actually care about semantics
446.
by toastal 3y ago
> keyword bullet lists You mean a definition list like the HTML native one?
447.
by toastal 3y ago
Usage of `_` and `-` keys are dead simple home-row keys on Dvorak keyboards. I’ve never switched layouts because most are focused on prose, but programming demands a lot of snake & kebab casing. …not that `/` is too far away.
448.
by toastal 3y ago
With first-party isolation being the standard for the last couple of years, there are no “shared caches”. A third-party CDNs might load a particular resource faster, but at the cost of user privacy & reliability. You can know, barring
449.
by toastal 3y ago
I really wish there were more options than the Pixel. Ever since they removed the headphone jack it became obvious that there needs to be more device diversity in the longer-supported space.
450.
by toastal 3y ago
In the future, Djot might be up to the task, but currently it’s more fixing issues with Markdown & roadmapping improvements.

More ›