17221
Static checking of units in Servo
Web browsers do a lot of calculations on geometric coordinates, in many different coordinate systems and units of measurement. For example, a browser may need to translate a position expressed ...
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 21,843 posts.
17222
Principles of TLA+
TLA+ is a formal specification and verification language intended to help engineers specify, design and reason about complex, real-life algorithms and software or hardware systems. We explore its motivation, application and principles of design.
17223
Flocking
Have you ever watched a school of fish, a flock of birds, or even a crowd of people and watched how they move?
17224
17225
Debugging using system calls in Mac OS X
Today I want to talk about an issue I was having with UDP sockets in Go, and how I learned more about my program by making use of two tools that ship with Mac OS X called dtruss, and DTrace.
17226
Reverse engineering Android from binary to source
Dmitry.GR: Full sources for Android on zWatch
17227
How to Understand Systems
Solving problems by identifying underlying systems
17228
Use Emacs Org Mode and REST APIs for an up-to-date stock portfolio
A couple of weeks ago, I started to work with Emacs, and I grow fonder of it every day. During a very short time period, it has become my go-to editor for nearly everything I do on my computer, including (but not limited to) planning my Todos (in org-mode, to be precise), setting up my agenda (org-mode again), taking…
17229
Training a 3.8B LLM to 0.384 CORE for $998
A 3.8B model pretrained from scratch to 0.384 CORE on 65B tokens in 43 hours, for $998.
17230
17231
Curl Command Line Variables
If you are anything like me, you appreciate solving your every day simple tasks directly from the command line. Creating crafty single shot command lines or a small shell script to solve that special task you figured out you needed and makes your day go a little smoother. A fellow command line cowboy. Video…
17232
.NET Core Web API on AWS Lambda Performance
In order to understand what I’m going to talk about, you must know what is AWS Lambda, I talked about in this blog post where I went through getting started with Visual studio code and AWS Lambda, …
17233
17234
Procedural Island Generation (III)
Adding multi-scale noise layers, mountain distance fields, and elevation blending to create detailed terrain from the paint map foundation.
17235
Globally Distributed Elixir over Tailscale
The result of my exploration of Elixir clustering and automating global network discovery and connection over Tailscale.
17236
WSGI and the Pluggable Pipe Dream
Why WSGI is not as big of a problem as you would believe and why framework independent pluggable applications don’t work in practice.
17237
Almost booting an iOS kernel in QEMU
I tried to boot an iOS 12 kernelcache in QEMU: I managed to get as far as IOKit startup before receiving a kernel panic. I learned a lot about how iOS boots up with this project.
17238
17239
Box86/Box64 vs. QEMU vs. FEX (Vs Rosetta2)
Comparing performances I decided to compare the performances of the OpenSource Linux Userspace Emulator that allows you to run x86/x86_64 apps on ARM linux. There are QEMU-user, FEX-emu and Box86/Box64. How to bench Linux userspace emulator Test will consist of the bench I already used a couple of time, and that can…
17240
17241
Static Hermes: Compile JavaScript to speed it up 300x (in microbenchmarks)
How to speed up a ubenchmark 300x Static Hermes: How to Speed Up a Micro-benchmark by 300x Without Cheating This is th...
17242
Autonomous Rust Unikernels in Google Cloud
What if you could reboot an entire server in seconds in response to an active attack and get a brand new memory layout? While not feasible under linux it's an uniquely unikernel feature.
17243
How to build a JavaScript package manager
Hello everyone! Today, we’re gonna write a new package manager, even better than Yarn! Ok, maybe not, but at least we’re gonna have some fun, learn how packa...
17244
17245
17246
Haiku's (Kernel) Condition Variables API: Design and Implementation
A few months after my contract with Haiku, Inc. began, I rewrote the implementation of the Haiku kernel’s condition variables (as opposed to our userspace condition variables, which are from POSIX.) As this new implementation has run in Haiku …
17247
Getting started with maps in Python
Kristoffer over at rpsychologist.com wrote a really nice tutorial on getting up to speed with maps in R. It looked something like this.
17248
17249
MRI's Method Caches
One of MRI's big performance problems is that method cache expiry is global. That is, any time you make a change to any class anywhere, the entire VM's method caches get busted at the same time. This is why you'll frequently hear people saying that "calling Object#extend is bad".
17250
Floating-Point Printing and Parsing Can Be Simple and Fast
A floating point number f has the form f = m · 2 e where m is called the mantissa and e is a signed integer exponent . We like to read numbers scaled by powers of ten, not two, so computers need algorithms to convert binary floating-point to and from decimal text. My 2011 post “ Floating Point to Decimal Conversion is…