How the OCaml type checker works (2022) https://okmij.org/ftp/ML/generalization.html
okmij.org
Efficient and Insightful Generalization
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.
Dasel: Select, put and delete data from JSON, TOML, YAML, XML and CSV https://github.com/TomWright/dasel
GitHub
GitHub - TomWright/dasel: Select, put and delete data from JSON, TOML, YAML, XML, INI, HCL and CSV files with a single tool. Alsoβ¦
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
UK launches its first Earth-imaging military satellite https://www.theguardian.com/uk-news/article/2024/aug/17/uk-launches-its-first-earth-imaging-military-satellite
the Guardian
UK launches its first Earth-imaging military satellite
Satellite named Tyche to support armed forces operations as well as monitor natural disasters and impact of climate change
Police cannot seize property indefinitely after an arrest, federal court rules https://reason.com/2024/08/16/police-cannot-seize-property-indefinitely-after-an-arrest-federal-court-rules/
Reason
Police Cannot Seize Property Indefinitely After an Arrest, Federal Court Rules
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.
The Expert Mind [pdf] (2006) https://personal.utdallas.edu/~otoole/CGS2301_S09/15_expert.pdf
Show HN: PgQueuer β Transform PostgreSQL into a Job Queue https://github.com/janbjorge/PgQueuer
GitHub
GitHub - janbjorge/pgqueuer: PgQueuer is a Python library leveraging PostgreSQL for efficient job queuing.
PgQueuer is a Python library leveraging PostgreSQL for efficient job queuing. - janbjorge/pgqueuer
The gigantic and unregulated power plants in the cloud https://berthub.eu/articles/posts/the-gigantic-unregulated-power-plants-in-the-cloud/
Bert Hubert's writings
The gigantic and unregulated power plants in the cloud - Bert Hubert's writings
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β¦
As usual, huge thanks are due to the manyβ¦
Show HN: Srcbook β A TypeScript notebook for rapid prototyping https://github.com/srcbookdev/srcbook
GitHub
GitHub - srcbookdev/srcbook: TypeScript-centric app development platform: notebook and AI app builder
TypeScript-centric app development platform: notebook and AI app builder - srcbookdev/srcbook
The U.S. Navy's $100M checkbox (2019) https://adrian3.com/blog/2019/2019-09-28-The-US-Navys-100-million-dollar-checkbox.php
Toasts are bad UX https://maxschmitt.me/posts/toasts-bad-ux
Max Schmitt
Toasts are Bad UX
Basic Mechanisms In Fire Control Computers (1953) [video] https://www.youtube.com/watch?v=gwf5mAlI7Ug
YouTube
U.S. NAVY BASIC MECHANISMS OF FIRE CONTROL COMPUTERS MECHANICAL COMPUTER INSTRUCTIONAL FILM 27794
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β¦
I've built my first successful side project, and I hate it https://switowski.com/blog/i-have-built-my-first-successful-side-project-and-i-hate-it/
Sebastian Witowski
I've Built My First Successful Side Project, and I Hate It
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.
What is an SBAT and why does everyone suddenly care https://mjg59.dreamwidth.org/70348.html
Show HN: A Ghidra extension for exporting parts of a program as object files https://github.com/boricj/ghidra-delinker-extension
GitHub
GitHub - boricj/ghidra-delinker-extension: Ghidra extension for exporting relocatable object files
Ghidra extension for exporting relocatable object files - boricj/ghidra-delinker-extension
We don't know how bad most things are nor precisely how they're bad https://www.lesswrong.com/posts/PJu2HhKsyTEJMxS9a/you-don-t-know-how-bad-most-things-are-nor-precisely-how
Lesswrong
You don't know how bad most things are nor precisely how they're bad. β LessWrong
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β¦
Show HN: InstantDB β A Modern Firebase https://github.com/instantdb/instant
GitHub
GitHub - instantdb/instant: Instant is a modern Firebase. We make you productive by giving your frontend a real-time database.
Instant is a modern Firebase. We make you productive by giving your frontend a real-time database. - instantdb/instant
Adding 16 kb page size to Android https://android-developers.googleblog.com/2024/08/adding-16-kb-page-size-to-android.html
Android Developers Blog
Adding 16 KB Page Size to Android
Android 15 has been refactored to support using 16 KB page sizes, and file systems like EROFS and F2FS have been made compatible.