Viewing profile — fosefx

Just like with "golang", "FStar" is the query if choice. But don't think you'll find much, if the documentation is in the same state as it was two years ago.

Aside: What makes Gitlab "AI-powered"?

They were replaced by AI

Tangent: Instagram managed to lock me out of their service for a week or so a couple of days ago. My browser was signed in into my account, but I have not used it for like a month.…

Can not recommend the podcast series "Rabbit Hole" (2020) from the NYT enough. https://www.nytimes.com/2020/04/22/podcasts/rabbit-hole-prol...

Why?

What is cheaper? Investing into proper security for years and years without seeing anything or paying fines to regulators once you got breached? My guess it's the latter :/

Cool. Now build bus stops, so I don't need one.

Well an extension can also just send your session tokens home. In the end it's software running on your computer, but people unfortunately often times underestimate the power of ad…

My use case: A background script, sorry, Service Worker registers a Context Menu Entry. When the user clicks on it it fetches some stuff an copies a link to clipboard. Using MV3 as…

I came across this because I wanted to port an addon over to MV3. It simply used navigator.clipboard.writeText(). That by itself only works as a reaction to a user interaction (so …

Interesting reply: https://twitter.com/M1ch13Lt/status/1562537209659817987/phot...

https://www.bbc.com/news/world-latin-america-57398274

Wait what? How does that work?

I think that's because the rt server does not respond to ICMP. I use 1.1.1.1 and can access rt.com just fine (also German Vodafone customer here)

Link to the talk: https://www.youtube.com/watch?v=MlIKV5qAf2I (43 min)

His website states he is affiliated with popflash.site, which you probably have heard of.

https://searchhut.org/search?q=js+service+worker > List of accidents and incidents involving commercial aircraft

English translation: https://www.gesetze-im-internet.de/englisch_stgb/englisch_st... Most notable: "The pregnant woman does not incur the penalty specified in section 218 if the te…

Tobacco ads are generally banned on Radio, TV, Print and the Web with some exceptions. Outdoor advertising is still very much allowed, Germany is the only EU country that allows th…