bsedlm

35 ms·

361.
by bsedlm 5y ago
I wish somebody would analyze all these symbols from the perspective of formal languages.
362.
by bsedlm 5y ago
> You can clearly enumerate all Haskell functions which are syntactically correct and which have type Nat->Nat Is this a finite process?
363.
by bsedlm 5y ago
> The problem is that while a superset of an uncountable set is uncountable, a superset of a computably uncountable set may instead be computably countable. The partial functions over the integers show that this is indeed the case. >
364.
by bsedlm 5y ago
I've seen a larger trend of developers (modern app programmers) not knowing how to use (in a deep advanced way) their own computers. I guess these developers will end up writing code directly on github online editors...
365.
by bsedlm 5y ago
I find serialism to be akin to throwing letters (or characters including the blank space) and expecting poetry (or really any intelligible text) to come out
366.
by bsedlm 5y ago
aren't they synonymous (at least in a 12-tet system)? a tone is whole step. a semitone is a half step.
367.
by bsedlm 5y ago
and nouns aren't verbs (actions) yet both are words?
368.
by bsedlm 5y ago
I consider "being reasonable" equivalent to "being able to be communicated with"... i.e. the essence of unreasonableness is broken communication; i.e. unwillingness to listen.
369.
by bsedlm 5y ago
I consider it another mistake to expect any alternatives to be fully formed (or well described) and complete in any sense. The current capitalist-market does some things pretty well, but it was not ever described as a system until after it
370.
by bsedlm 5y ago
> incentive structures this. I'm pretty sure current incentives from an era of capitalist (based on industrial manufacture) are just not good at software and digital goods in general. However, the exclusive ownership paradigm is so
371.
by bsedlm 5y ago
Reminds me of Cyclic Conformal Cosmology theory (backed by Roger Penrose). As far as I can tell, the CCC theory says that the big bang did happen but that the universe is cyclical. i.e. once the universe reaches 'heat death' anot
372.
by bsedlm 5y ago
> A third difference is that natural infection only exposes the body to the virus in the respiratory tract (unless the illness is very severe), while the vaccine is delivered to muscle, where the immune system may have an even better cha
373.
by bsedlm 5y ago
I was expecting to read "I love my precious tungsten cube... my precious " in the conclussion
374.
by bsedlm 5y ago
What I really want to know, is who funded the germans?
375.
by bsedlm 5y ago
"intends to use them [new weapons] first against Ville-France, then establish Germany's worldwide rule." from a novel written in 1879! Also interesting, that the main protagonists originate from an inherited fortune of a los
376.
by bsedlm 5y ago
> Roam Research is nice, but it's geared toward a specific way of writing. could you (or anybody) elaborate? what is different between Obsidian's inteded way of writing and Roam Research's??
377.
by bsedlm 5y ago
They might not be therapists, but they are filling a similar role as therapy. Sometimes people just need to vent towards an 'objective' (external) listener who will provide feedback of some sort.
378.
by bsedlm 5y ago
> Printing money doesn't magically create more stuff, nor does it change the economy's ability to create more stuff. You're right, there's not much to this until the monetary system is based on fiat-currency, at this
379.
by bsedlm 5y ago
> The US lost enormous sums of money note that the USA's fed can create money by decree.
380.
by bsedlm 5y ago
There's also a key difference between WW2 and the war on terror, which is fiat money created in the 70s (around Nixon's time). Right around the start of the war on drugs.
381.
by bsedlm 5y ago
Or in the case of Iraq and the war on terror, wealth transfer from everything and everybody in that region back to the private owners of the military-industrial apparatus.
382.
by bsedlm 5y ago
> There is a productive apparatus and resources that feed it - what we are gesturing towards when we talk about “the economy”. They can be mobilized using flows of spending generated by public or private credit, to move in one direction
383.
by bsedlm 5y ago
I chose to believe (but cannot be bothered to actually check) that yes, probably, but with nicer "packaging"
384.
by bsedlm 5y ago
Mayhaps it would behoove you to worry about your more immediate surroundings, looking at worldwide trends most of us won't have much choice soon enough.
385.
by bsedlm 5y ago
as I see it, it comes down to ownership. Something about treating something which ain't yours (such as a software system with millions of lines of code) as if it were. Something about maintaining a complex software system which you are
386.
by bsedlm 5y ago
non-exclusive digital property does not play well with markets based on exclusive property. this is a problem in principle. therefore I see two broad directions: 1. someone finds a way to have a market-like entity which is compatible with n
387.
by bsedlm 5y ago
> the Stockfish devs have ultimately revoked ChessBase’s right to distribute Stockfish and derivative software but this is not the goal they should have; this is the opposite of the ideal of open source and free (GPL) software. I get tha
388.
by bsedlm 5y ago
But neither did I "choose" to be born in a democratic republic with individual freedom (and a very corrupt state/political class) (note: I was not born in USA) ...so it's not all that different
389.
by bsedlm 5y ago
WHat if schools "economically" motivated them? or maybe the teacher/professor IS on the maintainers list?
390.
by bsedlm 5y ago
so in conclusion, programming computers is art?

More ›