wz1000

25 ms·

181.
by wz1000 9y ago
The pi-calculus is a mathematical formalization of concurrent programs in the same way that lambda calculus is a formalization of computable functions. It is basically a notation that allows you to easily specify concurrent programs, and th
182.
by wz1000 9y ago
No. Dollars have an intrinsic value as long as the IRS and the police exist, because you have to settle your dues with them come April 15, and they only accept USD. Also, you need dollars if you will ever have any kind of dealings with the
183.
by wz1000 9y ago
If companies can't pollute in the EU, that just means the pollution happens elsewhere.
184.
by wz1000 9y ago
> Speaking of the fake news, Internet and the social media are at the same time THE BEST way to verify information. The problem is that Google results are often misleading or incorrect themselves. This is as expected. The sole purpose o
185.
by wz1000 9y ago
fizzbuzzbazz = mconcat [ 3 ~> "Fizz" , 5 ~> "Buzz" , 7 ~> "Bazz" ] Also, I believe you should have something like main = mapM_ putStrLn $ map (fromMaybe . show &
186.
by wz1000 9y ago
This uses the language server protocol, so the work of "understanding" the code is delegated to another tool, which usually uses a compiler(or equivalent) to perform semantic analysis. So no regex hacks etc. if you use a sane lang
187.
by wz1000 9y ago
Yes, decision making power has been hijacked from the population at large and put into the hands of a few. But the point I was trying to make was that these are still just decisions made by somebody, decisions that can change(or be forced t
188.
by wz1000 9y ago
The community has always decided the wealth distribution in society. It is not some "invisible hand" that controls it. The wealth distribution, as it exists today, is a result of purposeful decisions starting all the way at the En
189.
by wz1000 9y ago
> For a less trivial example, consider the expression "f(x) + g(x)" where both f and g can return either a number or a string. It is conceivable that for any given x, they would always return the same type, but a type system ca
190.
by wz1000 9y ago
$100k is worth 40 hours a week for two years to the average American. Quite a sizeable chunk of your life.
191.
by wz1000 9y ago
Cont stands for Continuation. A continuation basically represents a 'suspended' computation with an intermediate result of type 'a' and final result of type 'r' type Cont r a = (a -> r) -> r Cont
192.
by wz1000 10y ago
I checked out your website and I really like what you are doing. I'm a student in India and would love to work with you. I mainly write Haskell and other functional languages like Scheme/Racket and some Clojure.
193.
by wz1000 10y ago
Free software is explicitly a political movement. It is a mistake to assume everything done within work hours is apolitical.
194.
How an Anarchist Bitcoin Coder Found Himself Fighting ISIS in Syria(wired.com)
2 points by wz1000 10y ago|0 comments
195.
by wz1000 10y ago
You confuse capitalism as it has existed since the dawn of the Industrial Revolution with "free markets". When anarchists like Graeber talk about Capitalism, they mean "really existing Capitalism", just like when most pe
196.
by wz1000 10y ago
No nation can exist in a vacuum. Your "criteria" excludes pretty much every country in the world. Even then, USSR-India cooperation was mostly limited to military matters, like when the Soviets sent a carrier during the '71 w
197.
by wz1000 10y ago
Former British India and Colonial Indochina¸ along with nations like Egypt have done pretty well economically given their socioeconomic conditions at the end of colonization, and considering the massive drain of wealth and resources to thei
198.
by wz1000 10y ago
Like I said, > Interestingly, "benevolent" management of resources that "primitives" mishandle has been a justification for nearly all colonization programs in the past few centuries, except perhaps what the Belgians
199.
by wz1000 10y ago
An argument for immigration based on ethics seems to be interesting to discuss in theory, but is so far removed from the major ethical concerns regarding US behavior that it seems like a joke to argue for libertarian immigration policy refo
200.
by wz1000 10y ago
>Unfortunately, it doesn't seem like much short of near colonization will fix these places on any reasonable timescale. Simply sending money/aid programs might alleviate a bit but an outside solution is needed to properly coord
201.
by wz1000 10y ago
I am not very receptive to those kinds of argument, arguing for widescale criminal/immoral acts today to justify a better future. Sounds very "Final Solution"-esque to me. And everytime this argument is used to justify an act
202.
by wz1000 10y ago
> the big boost was started by the industrial revolution Exactly. Now, lets look at some of the causes of the first Industrial Revolution First, large tracts of lands in Britain, largely held in the commons, were stolen from the peasantr
203.
by wz1000 10y ago
Personally, I think this problem shows why sane type systems are useful. In Haskell data NestedList a = Single a | Nested [NestedList a] -- Or equivalently, type NestedList = Free [] flatten :: NestedList a -> [a] -- T
204.
by wz1000 10y ago
I don't really write Java, but I fail to see any easy and robust way to assign a type to the flatten function in Java. Is this the signature you would expect in a solution to this? List<Integer> flatten(List<Object>)
205.
by wz1000 10y ago
http://xmonad.org/xmonad-docs/xmonad-contrib/XMonad-Actions-...
206.
by wz1000 10y ago
That is only the base library. Contrib and extras, where a lot of the useful stuff is defined are here: https://github.com/xmonad/xmonad-contrib https://github.com/xmonad/xmonad-extras
207.
by wz1000 10y ago
My favorite part of XMonad is XMonad.Actions.Navigation2D[0], which allows you you use direction navigation via keybinding to switch between windows. A proof that the technique for this allows you to visit any window, no matter how they are
208.
by wz1000 10y ago
The IWW has a long history, and pioneered the American labour movement, being practically the first union to admit women and blacks. It has not been a stranger to government repression in this period, and is decidedly anti government and vi
209.
by wz1000 10y ago
Don't forget Americas old friend Saddam Hussein, whom they supplied with... chemical weapons. https://en.wikipedia.org/wiki/Riegle_Report https://en.wikipedia.org/wiki/Iran%E2%80%93Iraq_War#Ir
210.
by wz1000 10y ago
> It's not a panacea, and there are several historical examples of union leadership betraying the trust of workers and neglecting the demands of the most marginalized members (such as the UAW in 1941), but a union correctly structur

More ›