bsedlm

65 ms·

391.
by bsedlm 5y ago
Indeed, I feel like I'm reaching towards a generalized understanding of context. It seems to me that unless the logical languages are restricted from reasoing about themselves they become either incomplete or worse, inconsistent. I hav
392.
by bsedlm 5y ago
Maybe I should have said 'interpretation instead of 'evaluation' (now wondering about the subtle difference between these two, if any) Everything concerning interpretation is on the semantic side of any analysis of any logica
393.
by bsedlm 5y ago
> Can you explain this a bit? Not very well but I'll try. The idea is I'm trying to describe cannot be restricted to syntax, the summary of FOL you give is strictly syntactical. What I'm trying to observe is how predicates
394.
by bsedlm 5y ago
what's wrong with language-controlled humans? oh right, humans can't be property
395.
by bsedlm 5y ago
I go further, parenthesis are really just functions (in the mathematical sense); so all of first order logic comes down to making functions into variables (a la `y=f(...)`). It's crucial to not mix together these variable-functions and
396.
by bsedlm 5y ago
I based my bachelor's graduation project on Setahres' work. The one thing I wish we could find is the drum version of this. As in instead of starting from a string (which leads to harmonic series), start from a circular membrane (
397.
by bsedlm 5y ago
I have been thinking very much this for over a decade now. Down to even using the times and the division signs the same way (or + and - given they are more easily typed). An interesting thing is that 2 is very special musically, but not mat
398.
by bsedlm 5y ago
> There is no separate category of debt-based government emitted credit money. maybe there should be
399.
by bsedlm 5y ago
> Can even get worse if the borrowed money only exists based on promises in the first place. but isn't this all modern fiat money?
400.
by bsedlm 5y ago
seems like they should restrict the use of debt-based (government emitted credit money) for the purpose stock market speculation. or if they wanna keep the ability to take huge risks, there should be some way to force large financial entiti
401.
by bsedlm 5y ago
As I see it, the real problem was making google into a for-profit corporation. The world would be a better place if google search had been made a not-for-profit (maybe like wikipedia?) By this point I would (maybe) pay a monthly subscriptio
402.
by bsedlm 5y ago
> I set up a parallel group of keystrokes using super where the Mac had used command. This meant that her existing muscle memory (and mine!) this is fundamental to me, it's things like this that make me use linux and prefer KDE, but
403.
by bsedlm 5y ago
this is the open way, the commercial private way with a marketplace of taxable transactions requires hiring a company or (coming soon---because hacks---licensed contractor) software engineer whom with the proper authorization and certificat
404.
by bsedlm 5y ago
> it has been built upon slavery, colonialism and/or cheap imported labour. I think it was actually true in the USA around the time of the oil age. I think this because back then, it seems, you'd poke a hole in the ground and o
405.
by bsedlm 5y ago
> When someone just gets cash grants without loosing sweet and blood how the fuck are they supposed to compete with people around the world who have that experience? Somehow, "market forces" (in a certain not-literal sense) whe
406.
by bsedlm 5y ago
But does ASML build anything? or is their business just owning the "IP" (though, granted knowing this things is not trivial, and it's even more difficult given their closedness)
407.
by bsedlm 5y ago
>The research industry I see this as an oxymoron, it's the kind of scenario that makes for bad science such that no amount of incentinves, discincentives, and/or "metrics" can fix. From "research industry" I
408.
by bsedlm 5y ago
sounds like it was a relatively small company, but was it? how many people were there?
409.
by bsedlm 5y ago
> why can't we implement a tax system that isn't a Byzantine train wreck? because of lacking political incentives?
410.
by bsedlm 5y ago
> My feeling is that it's not really fruitful to describe "real life" phenomena in terms of abstract algebraic mathematical structures I disagree, however I don't think you're enterily wrong. We just need a physi
411.
by bsedlm 5y ago
I suppose most big-enough metropolitan areas are like this. Mexico city is now (technically) a "state" with a few different cities (municipalities) which are nontheless seamlessly blended together.
412.
by bsedlm 5y ago
I think we should go further, into a full review of what it means to own something. However this is rather ambitious considering that the idea of ownerhsip lies at the very foundation of civilization as we do it. But the nature of "dig
413.
by bsedlm 5y ago
Here's a summary of sorts https://www.tekgnostics.com/PDK.HTM
414.
by bsedlm 5y ago
I'm always left wondering about the invention (the encoding into laws) of "money laundering". I believe that this happened at some point during the 70s right around the time congress declared "war on drugs"? edit: a
415.
by bsedlm 5y ago
> Better stuff gets made in this kind of ecosystem too bad it's not about making better stuff but more profit. it's like the market has been distorted out of its ability to better reward better stuff.
416.
by bsedlm 5y ago
he will live on through the notion of "black swan event"
417.
by bsedlm 5y ago
just sounds like automated royalties to me (with infinite copyright). AT least when an NFT does this, it is known in advance; as opposed to legistative action changing the goal posts during the match. Also, I suppose there can be a way to c
418.
by bsedlm 5y ago
> Are they saying Andrew Lee got an NSL for freenode? no of course they are not saying that, they would be punished if they did (because it would be illegal). now, that such a thing exists in a "democracy"... is a topic on its
419.
by bsedlm 5y ago
yes but the "lord" is a publically traded corporation.
420.
by bsedlm 5y ago
> the initial distribution of the coin has to be wide enough I don't understand how proof of stake works to the depth I understand proof of work. But this reassures me that it's feasable that they'll accomplish the same di

More ›