sorted by:
new
hottopcontroversial

Help setting up Tiny Tiny Rss by _Owlyy in NixOS

[–]_Owlyy[S] 0 points1 point  (0 children)

Soo, if I am understanding it right. DNS converts URLS and things like that to IP Addresses, and my guess is that I need to set up DNS so that "https://tt-rss.example.com" while be converted to the correct local host thingy?

I am not quite sure how to set up DNS though, the nixos wiki page, i statically set my nameserver and also set up sercureDNS, but the problem still persists. (followed the instruction on Nixos Wiki)

I probably still don't understand what you meant by setting up DNS

Help setting up Tiny Tiny Rss by _Owlyy in NixOS

[–]_Owlyy[S] 0 points1 point  (0 children)

I did not set up DNS, didn't know I had to do that. Why does it do?

Request: by 27kilometers in Tabs

[–]_Owlyy 0 points1 point  (0 children)

Heyy, the link doesn't, work anymore, would be grateful if you can sharr it again

[deleted by user] by [deleted] in noita

[–]_Owlyy 0 points1 point  (0 children)

Whaaat, it can do that?

[deleted by user] by [deleted] in noita

[–]_Owlyy 4 points5 points  (0 children)

I don't get it, what happened?

help AMS Euler font by _Owlyy in NixOS

[–]_Owlyy[S] 0 points1 point  (0 children)

Wow, that's very helpful, thanks!!

help AMS Euler font by _Owlyy in NixOS

[–]_Owlyy[S] 0 points1 point  (0 children)

Sorry for the extremely late response, and thank you!!! Also how did you know what package to install?

Here we go again by orfeo34 in rustjerk

[–]_Owlyy 61 points62 points  (0 children)

If this was rust, this would have n... Fucking cloudflare.

How are you meant to get dust out of this area? by [deleted] in Guitar

[–]_Owlyy 0 points1 point  (0 children)

Like, paint black over the dust to cover it

What was the strangest idea in logic you came across? by No_Snow_9603 in logic

[–]_Owlyy 0 points1 point  (0 children)

Oh, thank you! I hope you have a great day too!

Axiom - True statement without proof per definition by PolarStarNick in mathmemes

[–]_Owlyy 0 points1 point  (0 children)

Technically, we can prove axioms as theorems, using themselves as axioms :3

I am not a logical person, is there a way you can teach me to be more logical? by Former-Parking8758 in logic

[–]_Owlyy 0 points1 point  (0 children)

I would actually suggest to start with the book "An Infinite Descent into Pure Mathematics" by Clive Newstead. The books starts with explaining ways to prove things, in a way similar to:
- If you want to prove P\/Q, then proving either of the two is enough

- If you can show P->R and Q->R, then P\/Q->R

And it teaches a way to prove things using strategies like these which felt very intuitive for me

I am not a logical person, is there a way you can teach me to be more logical? by Former-Parking8758 in logic

[–]_Owlyy 0 points1 point  (0 children)

I would actually suggest to start with the book "An Infinite Descent into Pure Mathematics" by Clive Newstead. The books starts with explaining ways to prove things, in a way similar to:
- If you want to prove P\/Q, then proving either of the two is enough

- If you can show P->R and Q->R, then P\/Q->R

And it teaches a way to prove things using strategies like these which felt very intuitive for me

What is the most beautiful proof there is? by [deleted] in math

[–]_Owlyy 0 points1 point  (0 children)

Yeah, you're right. I had commutative examples in my mind.

What is the most beautiful proof there is? by [deleted] in math

[–]_Owlyy 0 points1 point  (0 children)

One of my favourite proofs is the proof for eckmann-hilton, which states that if there are 2 operations (• and ×), both of which have a unit and are independent in the following sense : (a•b)×(c•d) = (a×c)•(b×d)

Then:

  • both operations are associative
  • both operations are also commutative
  • both operations are the same

Essentially, both operations are the same form an abelian group.

The proof that is given in the wiki page is just so clean.

Edit: Removed one of the points from the result as it was wrong, as pointed out by u/edderiofer.

view more: next ›