2611
File systems unfit as distributed storage back ends: 10 years of Ceph
This paper is by Abutalib Aghayev (Carnegie Mellon University), Sage Weil (Red Hat Inc.), Michael Kuchnik (Carnegie Mellon University), Mar...
New
The latest blog posts to take off on Hacker News. 4,389 posts.
2612
Instructions per cycle: AMD Zen 2 versus Intel
The performance of a processor is determined by several factors. For example, processors with a higher frequency tend to do more work per unit of time. Physics makes it difficult to produce processors that have higher frequency. Modern processors can execute many instructions per cycle. Thus a 3.4GHz processor has 3.4…
2613
How I Switched to Plan 9
Hi, I’m SL . You may remember me from my classic appearances in contentious 9fans threads , or maybe you’ve read one of my books .
2614
2615
TLA+ model checking made symbolic
TLA+ model checking made symbolic Konnov et al., OOPSLA’19 TLA+ is a formal specification language (Temporal Logic of Actions) particularly well suited to reasoning about distributed algorith…
2616
Raspberry Pi 4 WiFi stops working at 2560 x 1440 screen resolution
This is part of a series of posts on the design and technical steps of creating Himblick , a digital signage box based on the Raspberry Pi 4.
2617
A Look at PureDarwin – An OS Based on the Open Source Core of macOS
An overview of the PureDarwin project, which is a community effort to produce a more usable version of Darwin OS, the open source base behind modern Mac OS.
2618
Latency/throughput tradeoffs, illustrated with coffee
You’re making morning drip coffee. You need to make 2 cups. Do you:
2619
2620
Shipping a compiler every six weeks
This blog post is a slightly edited version of the live transcript of the talk I gave at RustFest 2019 in Barcelona on November 10th, 2019. As it's a transcript some parts of it are a bit repetitive or badly worded, but I hope the message behind the talk will be conveyed by this post anyway.
2621
Bits on the Wire
Exactly 100% of everything on the Internet involves exchanging messages which represent items of interest to humans. These items can be classified into three baskets: One for “media” (images, sound, video), one for text (HTML, PDF, XML), and one for “objects” (chat messages, payments, love poems, order statuses). This…
2622
Myths Programmers Believe about CPU Caches (2018)
As a computer engineer who has spent half a decade working with caches at Intel and Sun, I’ve learnt a thing or two about cache-coherency. This was one of the hardest concepts to learn back in coll…
2623
Beating C with 70 lines of Go
Writing a faster wc utility in Go
2624
Local-first software: you own your data, in spite of the cloud
Local-first software: you own your data, in spite of the cloud Kleppmann et al., Onward! ’19 Watch out! If you start reading this paper you could be lost for hours following all the interesti…
2625
Clang Format Tanks Performance
Can using clang-format make your code slower? Kind of.
2626
2627
Programmer’s Guide to Performance Analysis and Tuning on Modern CPUs
They say “performance is king’… It was true a decade ago and it certainly is now. With more and more data the world generates each day, we need more and more computing power to process it. It used to be the case that some SW vendors preferred to wait for a new generation of HW to speed up their application and did not…
2628
Infectious Executable Stacks
In software development there are many concepts that at first glance seem useful and sound, but, after considering the consequences of their implementation and use, are actually horrifying. Examples include thread cancellation , variable length arrays , and memory aliasing . GCC’s closure extension to C is another…
2629
Building a 64-bit aarch64 kernel and userspace for the Raspberry Pi 4
I’ve recently been tinkering around with using a Raspberry Pi as a desktop computer. The Pi 4 is fairly powerful; very sufficient for web browsing, audio, video, and terminal use for programming.
2630
The Configuration Complexity Curse
Why managing configuration has become so complex and how data configuration languages like CUE offer a path forward.
2631
2632
OpenBSD: Why and How (2016)
Derek Sivers official site. Thoughts on philosophy, culture, self-improvement. Author of Useful Not True, How to Live, Hell Yeah or No, Anything You Want.
2633
2634
How to sleep at night having a cloud service: common architecture do's
I like to sleep, but more importantly, I like to sleep while my cloud service is running.
2635
Floating point oddity
Code that shows how floating point arithmetic can go wrong, and how C and C++ can return different results for similar code.
2636
The Next 50 Years of Databases (2015)
Andy attempts to revive his blog by predicting what databases will look like in the year 2065.
2637
2638
Blending complex systems made my latency 10x higher
Every time someone reports higher latency after migrating to Kubernetes, the root cause is an assumption that changed. This is one of those stories.
2639
2640
The July Galileo Outage: What happened and why
By bert hubert / bert@hubertnet.nl This post is an excerpt of a far longer post on Galileo, its structures and the cause of the outage. Here we’ll only focus on the outage - the potential underlying reasons behind it are described in the full article. Since the week-long outage in July I’ve been fascinated by Galileo…