8311
How I ended up writing a new real-time kernel (2015)
You're reading the original article in English. You can as well read the translation in Russian .
New
The latest blog posts to take off on Hacker News. 14,543 posts.
8312
Advice to new programmers
It’s not every day where students new to programming get to ask 709 software developers for advice. Overview There is a school here in Malmö, Sweden called The Game Assembly. This school focuses on teaching students game production. Everything from programming to art and design. This is a three year...
8313
Writing Apps in Go and Swift
A guide for wrapping Go code in Swift for use within a native macOS or iOS application.
8314
Building a “Simple” Distributed System – Formal Verification
In the last post , we described a protocol that should satisfy the requirements and invariants established in the first post . Today we will look at formal verification with TLA+. Formal verification is just another (niche) tool in the toolbox. Some tools require more skill than others to use. So
8315
8316
The Day I Fell in Love with Fuzzing
In 2007 I wrote a pair of modding tools, binitools , for a space trading and combat simulation game named Freelancer . The game stores its non-art assets in the format of “binary INI” files, or “BINI” files. The motivation for the binary format over traditional INI files was probably performance: it’s faster to load…
8317
Writing an OS in Rust: Advanced Paging
This post explains techniques to make the physical page table frames accessible to our kernel. It then uses such a technique to implement a function t…
8318
C++ Modules Might Be Dead-On-Arrival
In which I discuss a modules problem that is being ignored
8319
When FP? And When OOP? (2013)
Very roughly speaking, functional programming (“FP”) and object-oriented programming (“OOP”) have similar levels of expressive power and similar abilities to encapsulate programs into smaller parts that can be combined and recombined.
8320
Outperforming everything with anything: Python? Sure, why not?
A 100 lines of Python code that substitute the compiler front-end for a specific computation. This shows that you don't need a “fast” compiling language to write efficient code. In fact, a compilation is only one of the multiple ways to achieve speed.
8321
8322
Game Loop
If there is one pattern this book couldn’t live without, this is it. Game loops are the quintessential example of a “game programming pattern”. Almost every game has one, no two are exactly alike, and relatively few programs outside of games use them.
8323
Coding Problems from Programming Job Interviews
Java Programming tutorials and Interview Questions, book and course recommendations from Udemy, Pluralsight, Coursera, edX etc
8324
The “Bug-O” Notation
What is the 🐞(n) of your API?
8325
Evolution of the x86 context switch in Linux (2018)
Tracing the x86 context switch in Linux throughout time
8326
Lessons from Failed DocuSign Integration
Technology should be optimized for humans, and prioritizing less in-app time needed to get the job done is so right now.
8327
Our Software Dependency Problem
For decades, discussion of software reuse was far more common than actual software reuse. Today, the situation is reversed: developers reuse software written by others every day, in the form of software dependencies, and the situation goes mostly unexamined.
8328
Let’s stop copying C (2016)
Ah, C. The best lingua franca we have… because we have no other lingua francas. Linguae franca. Surgeons general? C is fairly old — 44 years, now! — and comes from a time when there were possibly more architectures than programming languages. It works well for what it is, and what it is is a relatively simple layer of…
8329
8330
Network protocols for anyone who knows a programming language
The network stack does several seemingly-impossible things. It does reliable transmission over our unreliable networks, usually without any detectable hiccups. It adapts smoothly to network congestion. It provides addressing to billions of active nodes. It routes packets around damaged network infrastructure…
8331
For the Love of Pipes
Why unix pipes are awesome.
8332
Why Don't People Use Formal Methods?
I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain…
8333
8334
JavaScript iterator patterns
This article explores different ways to create iterators and iterable values in Javascript for dynamic sequence generation, specifically using functions, iterators, iterables and generators. It provides code examples for implementing the Fibonacci sequence with each approach.
8335
Kubernetes Failure Stories
I started to compile a list of public failure/horror stories related to Kubernetes. It should make it easier for people tasked with operations to find outage reports to learn from. Since we started w
8336
Inside the C Standard Library
After diving into the C language through K&R, and then studying portability (see C Portability Lessons from Weird Machines ), my next challenge was to take a systematic look at the standard library. To do this I worked through P. J. Plauger’s book The Standard C Library (ISBN 978-0131315099) where he examines an…
8337
8338
Is C++ fast?
If you like this blog, you should follow it via RSS and read older posts . Here are the recent posts:
8339
Introduction to TLA+ Model Checking in the Command Line
Otherwise known as “wait, you mean I can use the TLA toolbox from the command line?”
8340