Lobste.rs

Comments

Comments

Comments

Comments

Comments

Comments

I once lost access to a 15 year old google account and have also been geolocked out while traveling. Although the recovery emails didn’t help then, I still broadened my footprint and especially maintained emails on hosted domains. I see holes in this too, however. Is there anything fool proof? Which of these is better?

• have registrar and web hosting (including email) through the same paid provider, and login with said hosted email?
• have registrar and web hosting (including email) through the same paid provider, and login with an outside email (which you could also lose access to)
• have registrar and web hosting (including email) through separate services, whose logins share a single email (which?)
• have registrar and web hosting (including email) through separate services, whose logins use different emails?

I also use various friends’ as recovery emails, their phone numbers as bank confirmation codes etc. in case I lose access to all of mine. (This has come in handy multiple times while traveling…) Having so many at the same time is tedious to manage and increases threat vectors as more services could be breached etc. Better yet, how does everyone else handle this?

Comments

Investigating the Typst programming language. Comments

Comments

Comments

I’ve been working through the “Software Foundations” material that’s been mentioned around here; and also briefly looked at but haven’t yet worked through “Concrete Semantics.” I do like watching / listening to lectures too, and I came across a bunch for Software Foundations (also some from Xavier Leroy on compiler certification – https://www.youtube.com/playlist?list=PLGCr8P_YncjUX7yHchN7KSS83KXMHmC6e). I hadn’t seen this series on Concrete Semantics be mentioned (I had to do a little bit of diving to find it), so thought I’d post. You’ll likely want to click ‘Oldest first’ at the top if you want to check out the lectures in order. Comments

Comments

Do you plan to participate? If, do you plan to go all the way? What language will you use? Other thoughts? Comments

Comments

Comments

Comments

Comments

Comments

Comments

Comments

Comments

Comments

Comments

Comments