Link-time optimization in GCC, part 3 – LibreOffice
After Firefox , I decided to look into LibreOffice performance with link time optimizations (LTO) and profile feedback (FDO). This post was ...
The latest blog posts to take off on Hacker News. 3,400 posts.
After Firefox , I decided to look into LibreOffice performance with link time optimizations (LTO) and profile feedback (FDO). This post was ...
Hello, Everyone!Today we have some great news to share with you. To make a long story short, C/C++ IDE goes public as CLion!Since the early days, JetBrains has been focused on making software
News, research, and insights from Stanford University.
You know the net neutrality conversation is breaking new ground when even the porn sites are weighing in. And that's just what we're seeing: Major adult platforms Pornhub and Redtube are joining an online protest on September 10, calling for stronger protections for net neutrality. They’re teaming...
A blog for third-party developers on the Clover POS platform.
We all develop websites on our desktop and laptop machines, so we tend to initially develop for the desktop experience. But that's increasin...
This is the latest in a series of articles about writing a simple HTML rendering engine:
Exploding offers suck. Founders should be able to choose the investor they want to work with, not have to make a decision based on time pressure. As the world of accelerators gets more and more competitive, we’re seeing more and more exploding offers where an accelerator tries to force a company to make a decision…
Samuel Clay is a grad student in the schools of design and of engineering at Harvard. He founded NewsBlur , a personal RSS news reader, and Turn Touch , beautiful control for the smart home.
Two interesting things in formally verified software happened recently. The big one was the release of SeL4 - a formally verified L4 microkernel. The second was much smaller, but closer to my usual scope: a paper which showed the correctness of sections of a couple of the assembly implementations of Curve25519.
Correlations are oft interpreted as evidence for causation; this is oft falsified; do causal graphs explain why this is so common, because the number of possible indirect paths greatly exceeds the direct paths necessary for useful manipulation?
Max Goodhart's personal journal and sketchbook.
I have just spent an all-nighter doing something I didn't expect to do. I've " modernized " less (1). (That link is to the changeset.) ...
In a recent email exchange discussion, Charlotte Herzeel gave a summary of Common Lisp that I believe is worth repeating publicly. With her ...
Awhile ago, I stumbled upon a service that let you write python-bots to interact with a number of external services. The basic idea was th...
(Background: Dinnr was an ad-hoc, same day ingredient delivery service. Select a recipe on our website, and we deliver everything you need…
A few hours ago, I sent the following “dear colleagues” email (lightly edited to remove some private details) to all my users at work: This has been a very trying week. For those of you…