Viewing profile — sam_ezeh

> So yes, there is a single set which can be called the natural numbers in second order logic (namely the intersection of all sets that satisfy Peano's axioms), but this set has no…

>Any definition of the natural numbers will also define things that look very similar to natural numbers but are not actually natural numbers This isn't correct. This is only true …

I wrote a bunch of speech processing demonstrations to pass the time. I've been working on my technical communication skills so I'm open to any criticism of the explanations and su…

Yes it's extremely weird and there should at least be an no "I don't know" option

The repository is extremely disappointing >This repository provides a framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine …

>I am not a neuroscientist, but I think it's likely that LLMs (with 10s of billions of parameters) and the human brain (with 1-2 orders of magnitude more neural connections[1]) pro…

https://archive.is/aCDlr

> Students in the Codex group made more progress during the seven sessions of training and finished significantly more tasks (91%) than the Baseline group (79%). I expected this > …

The AI seems to be more interested in winning than answering questions - it doesn't really challenge ideas and seems to just make statements that are related to what was mentioned …

I filled in the form and I found the results funny, it's cool

Agreed, I thought the same

No, we don't

I think this idea is really cool, I just don't see myself using this due to the alternatives (GitHub pages, static blog generators etc.)

This is terrible, well done

>It is also a very cursed idea taken way too far, and I do not apologize for it Agreed XD It's a really nice idea but I cannot ever see myself writing bash like this