sam_ezeh

15 ms·

1.
by sam_ezeh 1y ago
> 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 interpretation. Can you explain what you mean here?
2.
by sam_ezeh 1y ago
>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 for first-order theories of the natural numbers usin
3.
by sam_ezeh 1y ago
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 suggestions for how to make things clearer!
4.
An interactive introduction to speech processing(dignissimus.github.io)
2 points by sam_ezeh 1y ago|1 comments
5.
by sam_ezeh 1y ago
Yes it's extremely weird and there should at least be an no "I don't know" option
6.
by sam_ezeh 1y ago
The repository is extremely disappointing >This repository provides a framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4 FV of AI systems is hard and
7.
by sam_ezeh 2y ago
>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]) process language in analogous ways Related is the plato
8.
by sam_ezeh 2y ago
https://archive.is/aCDlr
9.
'Ultrahigh Energy' Neutrino Found with a Telescope Under the Sea(nytimes.com)
2 points by sam_ezeh 2y ago|2 comments
10.
by sam_ezeh 2y ago
> 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 > On the Immediate Post-test that was conducted a day af
11.
Learning to Code with and Without AI(austinhenley.com)
33 points by sam_ezeh 2y ago|3 comments
12.
by sam_ezeh 3y ago
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 before, but this was fun to play with
13.
by sam_ezeh 3y ago
I filled in the form and I found the results funny, it's cool
14.
by sam_ezeh 3y ago
Agreed, I thought the same
15.
by sam_ezeh 4y ago
No, we don't
16.
Nostr iPhone app Damus makes it to the App Store(9to5mac.com)
1 points by sam_ezeh 4y ago|0 comments
17.
My Favourite Proof(dignissimus.github.io)
1 points by sam_ezeh 4y ago|0 comments
18.
Lichess on scala3 – help needed (update)(lichess.org)
43 points by sam_ezeh 4y ago|3 comments
19.
by sam_ezeh 4y ago
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.)
20.
by sam_ezeh 4y ago
This is terrible, well done
21.
Functional Programming in Go(dignissimus.github.io)
2 points by sam_ezeh 4y ago|0 comments
22.
by sam_ezeh 4y ago
>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