affiliate @ affiliate @lemmy.world

proud recipient of the prestigious [you tried award](https://lemmy.world/co

---

Read more

Posts

3

Comments

1,237

Joined

2 yr. ago

oh man that's an incredible option. i was already super happy with the "share as image" option they have, but it seems like they just keep outdoing themselves

oops!

i like curved-around. it keeps things simple and to the point

intersections should either be contractible or homotopy equivalent to the circle. any intersection outside of those two homotopy classes will always be a worse solution than just improving the public transportation infrastructure

windows 11 is a next generation experience. microsoft teams now has 16 times the detail

it’s hard to thoughtfully discuss thoughtless decisions

how the fuck could they have possibly done things in a way that makes explorer tabs depend on recall?

if they can’t even separate out recall from the rest of the operating system then i have absolutely no faith it will be secure.

why write better software when you can simply tell the customer to buy better hardware?

before gödel’s theorems can be formally stated, you have to make a lot of assumptions about axioms, and you have to pick which kinds of logical rules are “valid”, etc. and that all feels way more dicey to me than the actual content of gödels theorems.

i definitely agree that gödels theorems can help to undercut the idea that math is this all knowing, objective thing and there’s one right way to do everything. but to me personally, i feel like the stuff that’s very close to the foundations is super sketchy. there are no theorems at that level, it’s just “we’re going to say these things are true because we think they are probably true”.

how does that follow from Gödel's incompleteness theorems?

what are the differences between a rare covid test and an uncommon covid test?

sovereign citizen

basically people who think the legal system has hidden cheat codes, and if you can say the magic words then all of a sudden certain laws no longer apply to you

should’ve specified that note cards need to be orientable. smh

imagine my surprise

sometimes in math textbooks they use semicolons when listing things. maybe prem thakker’s writing this post for the mathematicians

the math/philosophy overlap in set theory/logic makes me uneasy. the closer you get to it, the more the idea that "math is objective" starts to fade away. also pretty surreal to be learning philosophy/taking things as given in a math class. especially because you spend a lot of time proving that certain things are true, but you don't ever say what it means for something to be true.

not worth it

i would probably word it as something like:

Robots.txt is a document that specifies which parts of a website bots are and are not allowed to visit. While it’s not a legally binding document, it has long been common practice for bots to obey the rules listed in robots.txt.

in that description, i’m trying to keep the accessible tone that they were going for in the article (so i wrote “document” instead of file format/IETF standard), while still trying to focus on the following points:

• robots.txt is fundamentally a list of rules, not a single line of code
• robots.txt can allow bots to access certain parts of a website, it doesn’t have to ban bots entirely
• it’s not legally binding, but it is still customary for bots to follow it

i did also neglect to mention that robots.txt allows you to specify different rules for different bots, but that didn’t seem particularly relevant here.

but then the market would be ever so slightly less free. the horror!

from the article:

Robots.txt is a line of code that publishers can put into a website that, while not legally binding in any way, is supposed to signal to scraper bots that they cannot take that website’s data.

i do understand that robots.txt is a very minor part of the article, but i think that’s a pretty rough explanation of robots.txt