fosefx

5 ms·

1.
by fosefx 2y ago
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.
2.
by fosefx 2y ago
Aside: What makes Gitlab "AI-powered"?
3.
by fosefx 2y ago
They were replaced by AI
4.
So you want to receive WhatsApp messages?(blog.bmn.dev)
2 points by fosefx 2y ago|0 comments
5.
Ship Abandonment(en.wikipedia.org)
1 points by fosefx 3y ago|0 comments
6.
by fosefx 4y ago
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. Got logged out. I log back in (using 2FA btw). "Please
7.
by fosefx 4y ago
Can not recommend the podcast series "Rabbit Hole" (2020) from the NYT enough. https://www.nytimes.com/2020/04/22/podcasts/rabbit-hole-prol...
8.
by fosefx 4y ago
Why?
9.
by fosefx 4y ago
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 :/
10.
by fosefx 4y ago
Cool. Now build bus stops, so I don't need one.
11.
by fosefx 4y ago
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 add-ons (read the permissions screen folks!). Mozilla req
12.
by fosefx 4y ago
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 it is this is not possible. As someone in the thread said,
13.
by fosefx 4y ago
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 not in bg scripts), unless you declare the "writeClipbo
14.
Cannot read clipboard from service worker in a MV3 chrome extension (2020)(bugs.chromium.org)
65 points by fosefx 4y ago|51 comments
15.
by fosefx 4y ago
Interesting reply: https://twitter.com/M1ch13Lt/status/1562537209659817987/phot...
16.
by fosefx 4y ago
https://www.bbc.com/news/world-latin-america-57398274
17.
by fosefx 4y ago
Wait what? How does that work?
18.
by fosefx 4y ago
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)
19.
by fosefx 4y ago
Link to the talk: https://www.youtube.com/watch?v=MlIKV5qAf2I (43 min)
20.
by fosefx 4y ago
His website states he is affiliated with popflash.site, which you probably have heard of.
21.
by fosefx 4y ago
https://searchhut.org/search?q=js+service+worker > List of accidents and incidents involving commercial aircraft
22.
by fosefx 4y ago
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 termination was performed by a phys
23.
by fosefx 4y ago
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 this. Btw manufacturers (not the merchants though) are still a
24.
by fosefx 4y ago
Not to be confused with d-fischer's twitch.js which is now called twurple https://github.com/twurple/twurple https://twurple.js.org/ https://d-fischer.github.io/twitch/
25.
by fosefx 4y ago
Is there sth like a status page for submarine cables?
26.
by fosefx 4y ago
It's easy to ask for Snowden to be more vocal against the Russian government when you are not a) in Russia, b) treated as a terrorist by your country and c) in the constant fear of Russia dropping their support for you. The man just be
27.
by fosefx 4y ago
> 100% singlethreaded You can (and should) use Web Workers[1], those run off the UI thread, but also don't have access to the DOM. [1] https://developer.mozilla.org/en-US/docs/Web/API/Web_Workers.
28.
by fosefx 4y ago
It does not really matter what your stance on that topic is. If your co-workers don't what to be called a certain way, just respect that. E.g. I don't want to be called by my full first name but rather a short version of it. If yo
29.
People overwhelmingly want ChoiceOverDefaults in the DMA(protonmail.com)
1 points by fosefx 5y ago|0 comments
30.
by fosefx 5y ago
If I understood their paper[1] correctly you can just use a popular phone number that a person walking by is likely to have in their contacts, like an emergency line number. My mobile telco's SIM comes with a couple of contacts on it l

More ›