wz1000

31 ms·

241.
by wz1000 10y ago
I'm really excited for backpack, because with its release, 2 of the 3 major problems that I had working with Haskell have been solved, in addition to the dependency/cabal hell problem being solved by stack last year. 1. String typ
242.
Parametrising Code Over Modules: Towards Backpack in Practice(youtube.com)
3 points by wz1000 10y ago|1 comments
243.
by wz1000 10y ago
http://www.shenlanguage.org/
244.
by wz1000 10y ago
I was talking specifically with regards to post WWII(maybe post 1898) US policy
245.
by wz1000 10y ago
The Clinton example was shows the hypocrisy in the stated goals of American foreign policy. Also, you miss the part where Clintons administration mislead international bodies even when it had clear evidence that what was going on in Rwanda
246.
by wz1000 10y ago
The US will tolerate and lend its support to almost any group, no matter how "evil", provided it benefits American aims and objectives. Take your example. While the US has not directly committed genocide, it has supported and aide
247.
by wz1000 10y ago
One of the reasons why I'm optimistic for a Donald Trump presidency is that finally Americas ugly policies have an ugly face to go with them. Every single one of Americas Presidents, from Obama to Reagan, JFK to both Bushes all maintai
248.
by wz1000 10y ago
This phenomenon was summed up succinctly by Frankie Boyle > Not only will America go to your country and kill all your people, but what's worse I think, is that they'll come back 20 years later and make a movie about how killin
249.
by wz1000 10y ago
I don't know whether this works in newer versions of Windows, but it was extremely simple to elevate your priveleges on almost any Windows 7 machine. I've done this dozens of times. I haven't used Windows for years now, so th
250.
by wz1000 10y ago
> Only a US embargo. That leaves more than 80% of the world GDP to interact with. Nope. The US brutally punished countries which traded with Cuba. The best and most macabre example of this would be the 1974 Bangladesh Famine, which had a
251.
by wz1000 10y ago
IIRC, Standard Chartered achieved this by initially adding Haskell interop to Excel[0] and then moving to a custom GUI solution to replace Excel altogether. [0]- https://www.youtube.com/watch?v=hgOzYZDrXL0
252.
by wz1000 10y ago
> people think the constructs they read about in category theory have 1:1 mappings to the world of programming and they don't. Of course they don't. But they can still be considered a useful model for programming in the same se
253.
by wz1000 10y ago
I feel that one of the biggest misconceptions about monads and IO in Haskell is that they are an "escape hatch" in the language that allows you to perform imperative actions. This is plainly false. Monads are just another function
254.
by wz1000 10y ago
Plasma 5 looks good and feels polished by default. I do most of my work on my desktop, and wouldn't give up my highly configured xmonad+emacs setup for anything. But I recently got a new laptop and decided to go with KDE and was blown
255.
by wz1000 10y ago
To me, the DEA and the War on Drugs came across as culpable as the CIA in Narcos. The complete and utter lack of self awareness on behalf of the DEA agents made the show, especially the second season, extremely tough to watch. Not once does
256.
by wz1000 10y ago
> As you use more generics in a statically typed language, you're sacrificing safety Actually, in languages like Haskell, the more generic your type, the more "safe" you can expect it to be. As an example, consider a funct
257.
by wz1000 10y ago
> (1) whether a function is said to have worked or not could be dependent on a call multiple levels deep from the original call, (2) the immutable constant named `foo` you created within the function body might contain different values a
258.
by wz1000 10y ago
> Mathematical thinking is about formulating things so that one can handle them mathematically, when that’s possible. Computational thinking is a much bigger and broader story, because there are just a lot more things that can be handled
259.
by wz1000 10y ago
> Fizzbuzz is one of those problems where there's really no clever hidden golfy solution better than the plain old first-reaction naive approach: an iteration with if/elsif/elsif/else. There is if you exploit that mon
260.
by wz1000 10y ago
add : (x : Nat) -> (y : Nat) -> {auto smaller : LT x y} -> Nat add x y = x + y Actually, (GHC) Haskell can express something like this type if you turn on the required extensions. data Nat = Z | S Z deriving (E
261.
by wz1000 10y ago
A Functor is a fundamental category-theoretical term with a specific definition that simply isn't captured by something vague like "Mappable". Precision is important when talking about such terms. It is not at all clear that
262.
by wz1000 10y ago
https://en.wikipedia.org/wiki/Functor
263.
by wz1000 10y ago
I don't really agree with the example that was chosen. "Functor" is a well defined term with a specific meaning. A much better example would be "Show"(Showable) vs "Traversable".
264.
by wz1000 10y ago
I haven't had too many problems of this kind, but it does start becoming very painful if you work with GHC.TypeLits. It becomes very annoying using unsafeCoerce to "prove" to GHC that (a-1)+1 ~ a and other such trivialites. I
265.
by wz1000 10y ago
For anyone interested, here are some web browsers that are actually minimalist and not just reskins of chromium: http://surf.suckless.org/ https://fanglingsu.github.io/vimb/ http://www.uzbl.
266.
by wz1000 10y ago
> The issue is not that the Soviets didn't develop: it's that they didn't develop as quickly as they could have, had their central planning not retarded their growth rate Even if centralised planning is doomed to retard gr
267.
by wz1000 10y ago
'Any normal country' doesn't have it's ideological basis declared US public enemy #1, and its growing influence deemed by a "crazy, paranoid militaristic bureaucracy" to be the greatest threat civilization has
268.
by wz1000 10y ago
> GOSPLAN had decades, and access to unlimited men with guns and dogs, to make its plans work. And it failed. I am no fan of oppressive regimes, centralised planning or Stalinism, but it always grinds my gears when people point to the co
269.
by wz1000 10y ago
You could always run them in a container.
270.
by wz1000 10y ago
Here's a hypothetical model of two societies: 1. Everybody starves equally for many years until technology progresses to the point where no one has to starve. The quality of food is a small percentage better each year. 2. Everybody sta

More ›