721
All about Modelica: An equation-based language for modeling physical systems
Marco Bonvini’s personal website.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 1,508 posts.
722
Understanding Programs Using Graphs
I want to show you a little of what this sea-of-nodes graph data structure looks like and how it works, and I think it’s worth doing this for this for a couple of reasons.
723
724
Implement with types, not your brain (2019)
When asked about the virtues of Haskell’s strong type system, most people will say the best part is that it lets you refactor with a zen-like tranquility, or that it stops your program from crashing at runtime. I mean, those are both great. But my favorite part is that having a strong type system means I don’t need to…
725
Kotlin becomes second most popular language on the JVM
Snyk's annual JVM ecosystem report presents the results of the largest annual survey on the JVM ecosystem, which gathered over 2000 responses in the second half of 2019.
726
727
The Rise of SQL-Based Data Modeling
The resurgence of SQL-based data modeling is a something we should all be interested in. Here's why it's important.
728
729
730
Where do argc and argv come from?
Continuing on from our tiny snake game , let's explore more into how binaries work on Unix. Let's figure out how our programs come to obtain their argc and argv parameters.
731
Blue Team Rust: What Is “Memory Safety”, Really?
A brief technical primer on Rust's key security feature, with embedded-specific context.
732
733
You’re better off using Exceptions
Exception handling is an error management paradigm that has often been met with criticism. Such criticisms typically revolve around scoping considerations, exceptions-as-control-flow abuse or even …
734
C++ still isn't cutting it
A blog about computer science, systems, technology, and sometimes vegan cooking.
735
Gitlab 13.1
GitLab release announcements and feature highlights.
736
737
Nim in 2020: A Short Recap
A lot has happened in the Nim world in 2020: two new major releases, two new memory managements strategies (ARC and ORC), the first Nim conference, and much more.
738
IRC and Emacs all the things
This post is a succinct and technical description on how to bridge all your messengers into IRC and therefore Emacs.
739
Building My Own Chess Engine
Exploring the computational complexity of chess. Code snippets in Python so you can do the same.
740
A deep dive into the official Docker image for Python
The “official” Python Docker image is useful, but to actually understand why, and to use it correctly, it’s worth understanding how exactly it’s constructed.
741
Algorithm for Drawing Trees
I recently wanted to take a hierarchy of items and draw them in a nice tree structure. For example, a Family Tree. At the time, I thought “This will be easy, I’ll just Google for an alg…
742
Why software ends up complex
Complexity in software, whether it’s a programming languages, an API, or a user interface, is generally regarded as a vice. And yet complexity is exceptionally common, even though no one ever sets out to build something complex. For people interested in building easy to use software, understanding the causes of…
743
Zig 0.7.1 Released – 69 bugs fixed
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
744
Hardcoded secrets, unverified tokens, and other common JWT mistakes
An extensible developer-friendly application security platform that scans source code to surface true and actionable security issues with AI-assisted SAST, SCA, and Secrets Detection solutions.
745
Dissecting Lemire's nearly divisionless random number generator
A very late blog post announcing the readability contest winners, a new (very) annotated implementation, and a surprising sort-of security issue found along the way.
746
See Python, See Python Go, Go Python Go (2016)
Andrey Petrov is the author of urllib3, the creator of Briefmetrics and ssh-chat, and a former Googler and YCombinator alum. He’s here to tell us of a...
747
Challenges with distributed systems
The hard realities of distributed systems, partial failures, network faults, and unpredictable latency, and how Amazon designs to handle them.
748
749
A Defer Mechanism for C
An overview of a paper that presents a reference implementation of a defer mechanism (co-authored with Robert C. Seacord) has been accepted for publication at SAC’21. The full version is avai…
750
Libinput's bus factor is 1 (2019)
A few weeks back, I was at XDC and gave a talk about various current and past input stack developments (well, a subset thereof anyway). On...