amavect

10 ms·

1.
by amavect 9d ago
I'd like to plug the NIWA wiki network for Nintendo games. I think more independent wikis should federate in similar ways, to strategize beyond just search engine hits. https://www.niwanetwork.org/members/
2.
by amavect 19d ago
My hidden assumption: I said the set of names must be countable! I assumed you would know that naming means assigning a finite string (in the Ithkuil writing system of course). and don't nitpick further or else I'll have to write
3.
by amavect 20d ago
I love philosophy Calvinball, so I would counter by asserting that undetectable implies no possession, an immediate contradiction. Or go further and assert that undetectable implies nonexistence. We all possess an immense undetectable nonex
4.
by amavect 20d ago
guess I won't respond now :( "what is a real number, anyways" is one of my favorite questions, not foolish at all
5.
by amavect 20d ago
No surjective function exists from names to real numbers (diagonalization). With any naming scheme, some unnamed real numbers always remain. On the other hand, given any real number, I can name it. I'll run out of unique names, since n
6.
by amavect 20d ago
You proved that definable implies nameable, and also unnameable implies undefinable. Obviously true. However, the idea of undefinable real numbers closely resembles a modern version of the paradox. No surjective function exists from definit
7.
by amavect 22d ago
Thanks for sharing! I love approval voting the most by pure simplicity and effectiveness. How does score voting work better than STAR? I thought STAR degenerates into score voting when clone candidates run? I haven't heard much of an a
8.
by amavect 24d ago
Ranked choice is not better. It has the center squeeze effect.
9.
by amavect 27d ago
A reminder to support approval voting, star voting, and proportional voting so we can end the 2 party system. https://www.youtube.com/watch?v=yhO6jfHPFQU https://www.equal.vote/
10.
by amavect 1mo ago
Not happy to respond to LLM talk, but you seem interested anyway. Some sleight of hand happens between "fixing a formal system" and using Cantor's theorem for the metamathematical analysis, as if we use classical set theory a
11.
by amavect 1mo ago
Exactly. For example, John Mayberry wrote "The Foundations of Mathematics in the Theory of Sets" (2000). Half of the book consists of philosophical arguments for his "Euclidean set theory" contrasted against the big bad
12.
by amavect 1mo ago
For example? And does "first-order arithmetic" mean ZFC?
13.
by amavect 1mo ago
Not really. Math uses no physical observation, only axioms. Nothing can "prove" or "disprove" axioms. However, if observation supports the axiomatic theory, then we use the theory for physical prediction. If observation
14.
by amavect 1mo ago
I recently played around with what I call "manual tail-call optimization": transform a tail call to a goto to the beginning of the function. Check it out: https://godbolt.org/z/3fY1v1oeW int factorial_loo
15.
by amavect 2mo ago
Why yes, I want to read research confirming common sense. And more valuable, I can read the nuance of it too (quantifying how much safer compared to cigarettes).
16.
by amavect 2mo ago
Well, I have no clue about their relative safety and would like to read more.
17.
by amavect 2mo ago
I see replies that keep repeating the same "it's got no smoke and tar so it must cause far less harm", as if common sense always matches reality. Coating the lungs with cooked propylene glycol and glycerine could cause simila
18.
by amavect 2mo ago
Just thought of how to fix the problem I had. Since the program already highlights the inductive hypothesis blue (but doesn't underline), consider adding a clickable underline to it (Rewrite with IH) instead of requiring the green IH b
19.
by amavect 2mo ago
I got stuck in a loop on 8 "Adding zero to the right", blindly following the tip below the box keeps looping induction introduction. Looping 9 times following the help tip, it eventually complains about an invalid proof state (ker
20.
by amavect 2mo ago
Cool!! I really like how the overflow condition reads. "When the source and destination have the same sign, but the result a different sign, then signed addition overflows." x86 has SETC/SETNC and SETO/SETNO to pull the
21.
by amavect 2mo ago
You sound like you believe in philosophical skepticism. Tell me: can a map ever properly describe the territory? When would a map properly describe the territory? (Can a theory ever properly describe reality? What does a theory need to prop
22.
by amavect 2mo ago
I included that to try to explain the symbol soup that correctly encodes the preconditions (the ∀ lines). I intended that to mean "I need to make sure that y+x doesn't overflow", even that unsigned arithmetic cannot express t
23.
by amavect 2mo ago
Pedantically, that doesn't properly invert post-increment in the loop step. It decrements one extra time. If I need to use the loop index after the loop, then decrementing in the condition would cause problems. size_t i = size; w
24.
by amavect 2mo ago
I believe the main issue lies in most programming languages lacking theorem proving capabilities to prove the safety of integer operations. The safety conditions for unsigned arithmetic: Ensure y+x ≤ INT_MAX. If x ≤ UINT_MAX-y, then x
25.
by amavect 2mo ago
Post-increment inverts to pre-decrement, but for-loops don't support proper syntax sugar for pre-decrement. for(size_t i = 0; i < size; i++){ // loop body } for(size_t i = size; i > 0;){ i--; /&#x2F
26.
by amavect 3mo ago
Hah, I can use this to give decibels an actual unit. dB_P = log(10)/10 dB_F = log(10)/20 log(10*V) = log(V) + 20*dB_F // the level of 10 V equals 20 dB more than the power level of 1 V. SPL = 20*10^-6 * Pa
27.
by amavect 3mo ago
>You might ask: if we have a baseless logarithm log(N), do we also have a “baseless exponential”? Sure we can, with some naive algebra. If we can take log(x,base) and drop the base, then we can also take pow(base,x) and drop the base. Si
28.
by amavect 3mo ago
That graph ends in 2015. The 2025 graph flattens. Looks like we can explain this trend by the economic development of East Asia. https://en.wikipedia.org/wiki/File:Total_population_living_i... https://en.wik
29.
by amavect 3mo ago
Perceptible latency goes well below 10 ms. https://www.youtube.com/watch?v=vOvQCPLkPt4
30.
by amavect 4mo ago
>The tone is generated using two sawtooth oscillators I interpreted "acoustically-accurate" to mean physically modeled in some way. Filtered sawtooth makes a simple brass-like timbre, but 80% still sounds synthetic. Really neat

More ›