A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.

Select, put and delete data from JSON, TOML, YAML, XML, INI, HCL and CSV files with a single tool. Also available as a go mod. - TomWright/dasel

Satellite named Tyche to support armed forces operations as well as monitor natural disasters and impact of climate change

Many courts have ruled that law enforcement can hold your property for as long as they want. D.C.’s high court decided that’s unconstitutional.

PgQueuer is a Python library leveraging PostgreSQL for efficient job queuing. - janbjorge/pgqueuer

Recently a Dutch hacker was able to take control of 4 million solar panel installations (FTM (Dutch), Euractiv, Victor Gevers). And this wasn’t the first time something like this has happened either (PV Magazine).
As usual, huge thanks are due to the many…

For some, that is proof the tech will in time succeed. Are they right?

TypeScript-centric app development platform: notebook and AI app builder - srcbookdev/srcbook

The 1953 U.S. Navy training film (MN-6783a) Basic Mechanisms In Fire Control Computers, Part 1: Shafts, Gears, Cams and Differentials discusses some of the mechanisms that are required for the Fire Control Computer to function. The film opens with a Navy…

State-of-the-art transformers for Ruby. Contribute to ankane/transformers-ruby development by creating an account on GitHub.

How I learned the old truth that when building a software product and selling it to people, "building" is just the beginning. And often, it's the easiest part.

In the late 1940s and early 1950s, a revolution took place in American military aircraft design.

Ghidra extension for exporting relocatable object files - boricj/ghidra-delinker-extension

TL;DR: Your discernment in a subject often improves as you dedicate time and attention to that subject. The space of possible subjects is huge, so on…

Instant is a modern Firebase. We make you productive by giving your frontend a real-time database. - instantdb/instant

Android 15 has been refactored to support using 16 KB page sizes, and file systems like EROFS and F2FS have been made compatible.

Hot Page is a web site builder based on open standards. Write HTML, CSS and JavaScript in a drag-and-drop page builder with live preview and visual tools.