Jim's Blog: Six programming paradigms that will change how you think about coding
brikis98.blogspot.com
Drop Condoleezza Rice or we will #dropdropbox
On April 9th, Dropbox announced that Condoleezza Rice will be joining their Board of Directors. Dropbox's CEO, Drew Houston, posted the following message:
Haskell for all: Why free monads matter
It forks the current context. For example, let's say I write:forkPlus :: Free Expr BoolforkPlus = liftF $ Plus False TrueThen it would behave just like C's fork implementation, where the return value tells you which branch of the computation you are on:do bool <- forkPlus if bool then ... -- On the…
Hasnain says:
Monads and more Monads - writing Interpreters using Free Monads
Posted on 2014-04-09T17:18:55+0000
Embedded in Academia : Xv6
I’m teaching a small Advanced Operating Systems course this spring. Preparing for the course over winter break, I spent some time reading various Linux subsystems such as the scheduler, and was a bit shocked at how complex it has become. I’ve been using Linux, looking at its code, and occasionally h...
Hasnain says:
This is interesting for people looking to learn OS.
Posted on 2014-04-09T17:02:50+0000
Giving Away Our Recommendation Engine for Free
Doug Daniels What’s better than a recommendation engine that’s free? A recommendation engine that is both awesome and free. Today, we’re announcing General Availability for the Mortar Recommendation...
http://haskell.cs.yale.edu/wp-content/uploads/2013/08/hask035-voellmy.pdf
haskell.cs.yale.edu
Hasnain says:
Reposting because this is finally out in ghc
"We also show that with Mio, McNettle (an SDN controller written in Haskell) can scale effectively to 40+ cores, reach a thoroughput of over 20 million new requests per second on a single machine, and hence become the fastest of all existing SDN controllers."
"After removing various bottlenecks in our system, SimpleServer scaled to 20 cores and serves nearly 700,000 requests per second. This workload places an unusual burden on the Linux kernel and triggers a bug in Linux;"
Posted on 2014-04-09T16:53:07+0000
How I Came to Write D
The path that led Walter Bright to write a language, now among the top 20 most used, began with curiosity and an insult.
Hasnain says:
"A couple years later, D first appeared on Slashdot and it rapidly started attracting users and collaborators. Turns out, I am hardly a unique person in what I want from a language! D grew dramatically in ambition, with collaborators from all over the world. It wasn't until a few months ago at Dconf2013 that we even knew what each other looked like. (This is one of the greatest aspects of the Internet revolution: You can work successfully with others while knowing nothing about their sex, age, looks, race, religion, language, culture, disabilities, histories, etc. It's as pure a meritocracy as it gets. Only your ideas, contributions, and how you present yourself matter.)"
Posted on 2014-04-08T23:14:36+0000
PyJVM
PyJVM : Java Virtual Machine implemented in pure python
Heartbleed Bug
The Heartbleed Bug is a serious vulnerability in the popular OpenSSL cryptographic software library. This weakness allows stealing the information protected, under normal conditions, by the SSL/TLS encryption used to secure the Internet. SSL/TLS provides communication security and privacy over the I...
Hasnain says:
wgb.
This is a pretty serious bug. Yay for leaking private keys over the internet.
Posted on 2014-04-07T22:38:30+0000
Haskell for all: Program imperatively using Haskell lenses
Note: the actual limited use of `filtered` that you are making here is perfectly fine. The criterion you are filtering on isn't affected by the action you are taking.
Hasnain says:
"Haskell gets a lot of flack because it has no built-in support for state and mutation. Consequently, if we want to bake a stateful apple pie in Haskell we must first create a whole universe of stateful operations. However, this principled approach has paid off and now Haskell programmers enjoy more elegant, concise, and powerful imperative code than you can find even in self-described imperative languages."
Posted on 2014-04-07T21:23:56+0000