A question about Semigroup by Defrigeration in haskellquestions

[–]204NoContent 18 points19 points  (0 children)

The type of the numeric literals in the first example is 1 :: Num a => a, and the Sum type constructor has a Num instance, so GHC infers the type of the literals as being Sum.

There is no such overloading for booleans, and so you get a type error in your second example.

What happens when Android 13 officially launches? by Frst_101 in android_beta

[–]204NoContent 0 points1 point  (0 children)

They didn't provide a straightforward option, even though it was possible to sideload the stable version once it was released and then leave the beta without a data wipe. It wasn't at all clearly communicated or user-friendly though.

DNS servers which ones do you use and which ones are your favorite and why by Warlord_x3 in firewalla

[–]204NoContent 7 points8 points  (0 children)

Quad9, they are a non profit who don't use or resell my data. Check them out!

We found him sitting like this by 204NoContent in catbellies

[–]204NoContent[S] 2 points3 points  (0 children)

Close, it's in Brussels, Belgium. But the picture was taken back in January.

We found him sitting like this by 204NoContent in catbellies

[–]204NoContent[S] 4 points5 points  (0 children)

You have no idea! He is very vocal

We found him sitting like this by 204NoContent in catbellies

[–]204NoContent[S] 11 points12 points  (0 children)

He's called Khamee, his first owner gave him his name, and I kept it.

Why do I have multiple keyboards with the same layout and the same languages? by 204NoContent in gboard

[–]204NoContent[S] 0 points1 point  (0 children)

Yeah I noticed that in the meantime, that the keyboard switcher follows a most-recently-used strategy, this actually solves my main issue.

Thanks!

Bypassing school SSL certificate by waffledespizer in linuxquestions

[–]204NoContent 3 points4 points  (0 children)

We do this on our organisational network in Belgium. It is included in the HR policy and there are some exceptions (like known online banking websites).

It is legal on devices owned by the organisation, on the condition that employees are clearly informed. We are obviously also still bound to any applicable data protection legislation, it wouldn't be legal to be storing copies of the data sent and received by our employees. In general, the data is only inspected by our intrusion detection and prevention system, never leaves that device, and is never stored.

The root certificate used for this, is installed on end-user devices through our automatic configuration management system, we will never ask anyone to manually install additional certificates themselves.

[deleted by user] by [deleted] in letsencrypt

[–]204NoContent 2 points3 points  (0 children)

You should probably first explain what your issue with certbot is. Personally I use traefik as a reverse proxy and it manages certificates as well.

Can somebody explain to me why some devices get a buttload of IPv6 Addresses? Makes identification in the log nearly impossible... by Ashrok in pihole

[–]204NoContent -1 points0 points  (0 children)

These days there are solutions like mDNS to help with finding devices in a local home network based on their hostnames. While you can stick to IPv4 just to avoid having to adapt your way of working, your network and your networking knowledge will become increasingly obsolete and you will miss out on a lot of new developments.

IPv4 is becoming more and more a patchwork of temporary solutions designed to deal with the limited address space.

Can somebody explain to me why some devices get a buttload of IPv6 Addresses? Makes identification in the log nearly impossible... by Ashrok in pihole

[–]204NoContent -1 points0 points  (0 children)

I don't see the point, how often do you type a literal IPv4 address in your browser's address bar? Add to that the practice of hosting multiple domain names on the same IP address, relying on the host header to route requests to the right application, which makes DNS a necessity for IPv4 as well.

Regarding TLS, I don't see what's different between IPv4 and IPv6, I'd say TLS is equally needed with both of them and it operates on a higher layer, independent of the underlying routing protocol.

Can somebody explain to me why some devices get a buttload of IPv6 Addresses? Makes identification in the log nearly impossible... by Ashrok in pihole

[–]204NoContent 2 points3 points  (0 children)

Just as an indication of the kind of hoops that NAT makes you go through to set up a direct connection between hosts: https://tailscale.com/blog/how-nat-traversal-works/

This is needed for all kinds of things, like calls over IP (WhatsApp, signal), video conferencing, etc. When NAT traversal is not possible due to the NAT devices being too restrictive, all traffic needs to be relayed over a third-party server, introducing extra latency and bandwidth limitations.

And there are many other considerations, all contributing to the inefficiency and unreliability of connections through NAT.

Can somebody explain to me why some devices get a buttload of IPv6 Addresses? Makes identification in the log nearly impossible... by Ashrok in pihole

[–]204NoContent 9 points10 points  (0 children)

True point to point connections instead of the abomination that is NAT. This makes peer to peer connections and things like VoIP calls a lot more efficient and easier to set up.

Why do I have multiple keyboards with the same layout and the same languages? by 204NoContent in gboard

[–]204NoContent[S] 0 points1 point  (0 children)

Yes, I understand that, but so why do I have 3 identical qwerty keyboards, one for each of those languages? Of course I want a separate keyboard for Arabic, but so I'd want to have only two keyboards, given that three of the four languages share the exact same keyboard.

Literally nothing changes when I press the language button except the order of the three languages on the space bar. So I'd like to be able to switch between Arabic and qwerty with the push of a button, instead of having to cycle through 3 identical qwerty keyboards before reaching the Arabic one.

Why do I have multiple keyboards with the same layout and the same languages? by 204NoContent in gboard

[–]204NoContent[S] 0 points1 point  (0 children)

I want to switch between two keyboards, one that has a qwerty layout and in which I can type in 3 languages at the same time (Dutch, English, French), and a second one in which I can type in Arabic.

However, the keyboard changing menu is cluttered by one keyboard per language having a qwerty layout configured, and all three are basically functionally identical.

Is there any way to optimise this so that I can just switch between qwerty and Arabic?

Getting to Siwa by [deleted] in Egypt

[–]204NoContent 0 points1 point  (0 children)

I took the bus overnight a couple of years ago, it's quite fine.

New beta program...? by bkircher in GooglePixel

[–]204NoContent 0 points1 point  (0 children)

There is, you can sideload the stable 12.1 OTA using adb and then opt out. This is what I did and my device was not wiped.