Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
etwas
on Jan 10, 2025
|
parent
|
context
|
favorite
| on:
Who Can Understand the Proof? A Window on Formaliz...
The dot is not simply NAND or NOR.
Search for "What Actually Is the “·”?" for the answer, it's quite complex and fascinating.
bo1024
on Jan 10, 2025
[–]
I was not able to find anything, can you help with locating what you're talking about?
mb7733
on Jan 11, 2025
|
parent
|
next
[–]
They meant search for that string in the article, it is a section heading.
UltraSane
on Jan 11, 2025
|
parent
|
prev
[–]
It is whatever operation behaves in a manner that makes the statement true.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Search for "What Actually Is the “·”?" for the answer, it's quite complex and fascinating.