751
I can’t believe that I can prove that it can sort
When an enthusiastic Ada programmer and a SPARK expert pair up to prove the most "stupid" sorting algorithm, lessons are learned! Join us in this…
New
The latest blog posts to take off on Hacker News. 1,551 posts.
752
SwiftUI for Mac 2022
Crazy Mac lady. Mac author & developer. Lover of Apple computers and devices. Swift & SwiftUI enthusiast. Unofficial Mac app dev evangelist
753
The End of CI
Today, Continuous Integration (CI) is something that nearly every engineering organization does. However, I predict that in the future, nobody will do it.
754
755
The new wave of React state management
Understand the core problems state management libraries need to solve. And how the proliferation of modern libraries address them in new ways.
756
How does rsync work?
This post is the third article in a series of blog posts about rsync, see the Series Overview. With rsync up and running, it’s time to take a peek under the hood of rsync to better understand how it works. How does rsync work? When talking about the rsync protocol, we need to distinguish between:
757
Hardening attack surfaces with formally proven binary format parsers
With an eye toward performance, interoperability, or legacy concerns, low-level system software often must parse binary encoded data formats. Few tools are available for this task, especially since the formats involve a mixture of arithmetic and data dependence, beyond what can be handled by typical parser generators…
758
Learn TLA+
tl;dr: online TLA+ manual/advanced techniques/examples here. TLA+ is a tool for testing abstract software designs. I first stumbled on it in 2016 and found it so useful I wrote a free online guide to help others learn it. Then I decided the guide wasn’t good enough and wrote Practical TLA+ in 2018. Then I decided the…
759
Reimagining front-end web development with htmx and hyperscript
We all know that to create an interactive front end for your website you need JavaScript. Not just vanilla JS, mind: we're in 2022, and to create an…
760
Logging in Python like a pro
I'll show you what good logging is with real-life examples. Most people don't know what to log, so they end up creating just noise....
761
Porting Graphing Calculator from C++ to Swift
Developer Spotlight is a series highlighting interesting Swift developers from around the world. This post is authored by Ron Avitzur, author of the Pacific Tech Graphing Calculator.
762
Vim 9.0
The previous release was version 8.2 in December 2019. Since the latest source code is always available on GitHub, many have already picked up later patch versions (there are more than 5000 of them!). Therefore the changes have already been tried out by many users. On top of that bugs have been fixed, security issues…
763
764
OpenBSD has two new C compilers: chibicc and kefir
In my never ending quest to have oksh support every C compiler in existence, I have ported two more C compilers to OpenBSD . They are chibicc and kefir. As always, let's review them and at the end I'll have links to unofficial ports so that you can play around with these C compilers.
765
Launching Version 13.1 of Wolfram Language and Mathematica
Substantial set of new and updated functions in Version 13.1 covers generalized listability, language conveniences, emoji computations, default toolbar, large-scale code editing, drawing in notebooks, Tree expansion, video capture, mathematics, customizable documentation, chemical quantities, machine learning…
766
Improve Git monorepo performance with a file system monitor
Monorepo performance can suffer due to the sheer number of files in your working directory. Git’s new builtin file system monitor makes it easy to speed up monorepo performance.
767
Things I wish everyone knew about Git (Part I)
From the highly eclectic blog of Mark Dominus
768
Linux Kernel Module written in Scratch (a visual programming language for kids)
Seriously. Someone did this. Because... why not?
769
YOLOv6: Redefine state-of-the-art for object detection
YOLOv6: review and comparison of the next generation object detection.
770
SQLite or PostgreSQL? It's Complicated
Learn how to benchmark SQLite and PostgreSQL databases.
771
Fresh is a new full stack web framework for Deno
Fresh is a new full stack web framework for Deno. By default, Fresh web pages send zero JavaScript to the client.
772
Leetcode Considered Harmful
Using an industry wide perspective I will show you the unseen downsides of using leetcode for interviewing software engineers
773
tolower() in bulk at speed
DNS servers often have to convert DNS names to their canonical lower case form. BIND has to do so a bit more than most because it tries to preserve the case of DNS names rather than canonicalizing them.
774
Extreme explorations of TypeScript's type system
Some of the most creative, wacky explorations of what you can do in TypeScript's type system!
775
776
777
Math on GitHub: Following Up
About six weeks ago, on May 19, 2022, GitHub released Math support on Markdown. At the time of the release, it received criticism for being ill-designed and buggy. I, too, wrote a blog post about it.
778
Explaining Code Using ASCII Art
I’ve done plenty of these, when I wanted to switch half my brain off but still do something time-consuming and fiddly, but still kind of productive. Very therapeutic!
779
WebAssembly and C++
C/C++-specific WebAssembly notes.
780