Viewing profile — amavect

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/3fY…

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).

Well, I have no clue about their relative safety and would like to read more.

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 prop…

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 i…

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 even…

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 ha…

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 eve…

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", e…

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 c…

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 arith…

Post-increment inverts to pre-decrement, but for-loops don't support proper syntax sugar for pre-decrement. for(size_t i = 0; i 0;){ i--; // loop body }

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…

>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…

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…

Perceptible latency goes well below 10 ms. https://www.youtube.com/watch?v=vOvQCPLkPt4

>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 timb…

Thinking about this more, dithering requires negative values to cancel out when adding. Works for audio, but color doesn't have negative numbers.

I agree. Additionally, both 0.0 and 1.0 don't really exist for dithered signals, so a byte should map to [0.5, 255.5] before division by 256. This also solves the signed integer as…

Optimizing for "radix economy", an argument that attempts to balance the digit cost against the choice of base. When the cost per digit equals the base, e turns out optimal. But wh…

I have an axe to grind. Radix economy makes a shallow argument when calculating the wrong per-digit information cost. I need some functions to show what I mean. Calculate logarithm…

A way to exit the adversarial process is by ending the separation between owners and workers, through things like worker cooperatives, employee ownership, and workplace democracy.

I imagine an OS where the system remembers to keep permanent permission for a program to manage its own files. An app data folder would work. The system should pass the capability …

That condition usually doesn't hold in practice. Very few programs have a reason for reading browser history or cookies. Excel has no purpose accessing the Notepad++ appdata folder…

I too would like an OS where called programs don't need to call open() on strings. The shell already has output redirection, but hamstrung so few ever use them. So many programs re…