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…
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…
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…
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…
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 ≤…
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--; // 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 1 V. SPL = 20*10^-6 * Pa…
>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…
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...…
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 timbre, but 80% still sounds synthetic.…
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 asymmetry, as a signed byte maps to…
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 when the cost per digit equals the…
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 logarithms, calculate the number of digits, and…
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 on program start. I also imagine a…
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. Not all-or-nothing.
I too would like an OS where called programs don't need to call open() on strings. The shell already has <input >output redirection, but hamstrung so few ever use them. So many programs recreate the functionality with…
One of my friends had his credentials stolen from a trojan infostealer masquerading as a video game, sent from a rando who he mistakenly trusted. If only it had to request user permission to access files outside of its…
Of course, proper systems analysis would really require modelling and simulation. Thanks for chatting.
>thanks for continuing this interesting conversation! Cheers! >Money does not determine resource allocation. But spending money does! Very good point. Investors have some say as to where the money goes, but you're…
Very interesting perspective. Let me try and repeat it back. Resource allocation is a zero-sum game within any given year, resource production increases yearly as technology increases, technology increases more as…
>[and, more importantly, providing goods and services that are beneficial to society as a whole]. I think enshittification, cost externalization, and rent-seeking behavior cancel this out, muddying the connection…
Low capital gains tax incentivizes investment and venture capital, so the rich can grow their wealth faster than the poor, while creating a job market. Compare that to spending wealth on luxuries, a money sink that also…
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…
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…
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…
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…
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 ≤…
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--; // 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 1 V. SPL = 20*10^-6 * Pa…
>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…
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...…
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 timbre, but 80% still sounds synthetic.…
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 asymmetry, as a signed byte maps to…
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 when the cost per digit equals the…
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 logarithms, calculate the number of digits, and…
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 on program start. I also imagine a…
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. Not all-or-nothing.
I too would like an OS where called programs don't need to call open() on strings. The shell already has <input >output redirection, but hamstrung so few ever use them. So many programs recreate the functionality with…
One of my friends had his credentials stolen from a trojan infostealer masquerading as a video game, sent from a rando who he mistakenly trusted. If only it had to request user permission to access files outside of its…
Of course, proper systems analysis would really require modelling and simulation. Thanks for chatting.
>thanks for continuing this interesting conversation! Cheers! >Money does not determine resource allocation. But spending money does! Very good point. Investors have some say as to where the money goes, but you're…
Very interesting perspective. Let me try and repeat it back. Resource allocation is a zero-sum game within any given year, resource production increases yearly as technology increases, technology increases more as…
>[and, more importantly, providing goods and services that are beneficial to society as a whole]. I think enshittification, cost externalization, and rent-seeking behavior cancel this out, muddying the connection…
Low capital gains tax incentivizes investment and venture capital, so the rich can grow their wealth faster than the poor, while creating a job market. Compare that to spending wealth on luxuries, a money sink that also…