Why OCaml GADTs matter for performance
When GADTs (Generalized Algebraic Data Types) landed in OCaml, I wasn’t particularly happy about it. I assumed that it was the kind of nonsense you get when ...
When GADTs (Generalized Algebraic Data Types) landed in OCaml, I wasn’t particularly happy about it. I assumed that it was the kind of nonsense you get when ...
When I joined CloudFlare about 18 months ago, we had just started to build out our new Data Platform. At that point, the log processing and analytics pipeline built in the early days of the company had reached its limits.
A Harvard study links chemicals used in flavored electronic cigarettes to cases of severe respiratory disease.
A new study by Cornell psychologists suggests that science and engineering faculty preferred women two-to-one over identically qualified male candidates for assistant professor positions.
As I write this post, New Horizons is nearing the end of a weeklong optical navigation campaign. The last optical navigation images in the weeklong series…
A couple of weeks ago I visited my mother back home in Norway. She had gotten a new laptop some time ago that my brother-in-law had set up for her. As usual when I come for a visit I was asked to look at some technical issues my mother was experiencing with her computer. Anyway,...
Today the High Court of the United Kingdom handed down an excellent decision—excellent because the result is so unreasonable, so out of touch with reality, and so divorced from the needs and expectations of ordinary users, that it provides a textbook illustration of the need for urgent reform of...
Right before Congress left for its annual summer vacation the Obama Administration endorsed the Senate Intelligence Committee's Cybersecurity Information Sharing Act (CISA). EFF opposes the bill because its vague definitions, broad legal immunity, and new spying powers allow for a tremendous amount...
Today the University of California expands the reach of its research publications by issuing a Presidential Open Access Policy, allowing future scholarly articles authored by all UC employees to be freely shared with readers worldwide. Building on UC’s previously-adopted Academic Senate open access (OA) policies, this…
Join your peers in reading the latest perspectives and insights from FactSet experts across topics that matter to you.
We are proud to announce the official release of Fedora 22, the community-driven and community-built operating system now available in Cloud, Server, and Workstation editions. If that’s all you need to hear, jump over to Get Fedora to download — or for current users, run the upgrade tool. In addition to the latest…
ggplot2 2.0.0: official extension mechanism, new geoms (geom_count, geom_curve, geom_label), appearance tweaks, and facet labels.
Explore all active 1xBet promo codes and welcome bonuses for 2026. Compare offers for India, Pakistan, and more. Claim free bets, casino spins, and VIP rewards here.
This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of practical labwork material, to help make functional-language implementations `come alive’, by helping the reader to develop, modify and experiment…
Everything you need to know about Windows 10.
There may be a scientific answer for why conservatives and liberals disagree so vehemently over the existence of issues like climate change and specific types of crime.A new study from Duke University finds that people will evaluate scientific evidence based on whether they view its policy implications as politically…
Final Update (September 18th): The licensing model had been updated. Read the update from our CEO Maxim Shafirov. Update 2 (September 8th): The licensing model announced previously including conditio
The White House Office of Management and Budget has published a new standard recommending full HTTPS on all federal web sites and web services. They are accepting public comments until April 14; if you care about privacy and security, you should weigh in.This post is our public comment: we whole-...
Redpill Linpro Tech Blog
A few years ago Google made a proposal for a new HTTP compression method, called SDCH (SanDwiCH). The idea behind the method is to create a dictionary of long strings that appear throughout many pages of the same domain (or popular search results).
A while ago, I posted about ffvp9, FFmpeg's native decoder for the VP9 video codec, which significantly outperforms Google's decoder (part of libvpx). We also talked about encoding performance (quality, mainly), and showed VP9 significantly outperformed H.264, although it was much slower. The elephant-in-the-room…