Tootfinder

from my link log —
Examining ARM vs x86 memory models with Rust.
https://www.nickwilcox.com/blog/arm_vs_x86_memory_model/
saved 2020-06-27 ht…

Kraken Technology, which designs and builds autonomous maritime platforms, such as uncrewed subsurface vessels, raised a $175M Series B at a $1B valuation (John Reynolds/Tech.eu)
https://tech.eu/2026/07/09/maritime-defence-startup-kraken-technology-…

Maritime defence startup Kraken Technology hits unicorn status
British-founded maritime defence startup Kraken Technology today said it had achieved unicorn status. The startup, founded in 2020 by former speedboat racer Mal Crease, said it had raised $175m in a Series B funding round at a $1bn valuation, according to a press release. The funding round was led by Digital Transformation Capital Partners (DTCP), with support from the British Business Bank, NATO Innovation Fund (NIF), Rheinmetall, Inocea group as well as VC firms Hico Ventures, Thesiger Capita…

Donald Trump is “inventing fraud”
in California’s primary elections,
and likely to ramp up unfounded allegations when more races go against him,
pro-democracy experts have warned.
While the felon-president has used this playbook for years
– from his loss at the Emmys as a reality TV star to his defeat in the 2020 presidential election
– election integrity campaigners fear this time could be different.
“California’s election is not the problem here,” …

Wer nutzt #orgmode für #Journalling?
Ich komme von #Logseq und lege mir dort bei jedem Tag einen Eintrag an. Dieser ist mit einem Hauptthema verlinkt. So komme ich vom Hauptthema zum Tag oder vom Tag zum H…

from my link log —
Write tracking for Nim.
https://nim-lang.org/blog/2020/09/01/write-tracking.html
saved 2020-09-02 https://

Write Tracking for Nim (Part 2)
7 years ago I wrote how Nim would get “write tracking” as an alternative to adding const to Nim’s type system. This year it finally made it into Nim nightly! Since then the feature was reimplemented and all the details how it works did change.

#TIL Peter Zinovieff, co-founder of EMS, sold his wife’s tiara to buy a DEC PDP-8, making him the first private individual in the world to own a computer. He used it to build a revolutionary electronic music studio in his back garden. 🎹💻 https://…

The Story Behind The EMS VCS3 in the 1970s, part 1
A musical review of a great instrument from the golden era of analog synths, the EMS VCS3, featuring The Who, Hawkwind, Roxy Music and Brian Eno.

Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 29.06.2026.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:

Statscast - Lockdown Changes, Log Noises (2020-05) - May stats and graphs #audification #lockdown2020 - https://www.earth.or…

Statscast - Lockdown Changes, Log Noises (2020-05)
May stats and graphs #audification #lockdown2020

from my link log —
C hashmaps benchmarks.
https://martin.ankerl.com/2019/04/01/hashmap-benchmarks-01-overview/
saved 2020-07-09

Hashmaps Benchmarks - Overview
Finding the Fastest, Memory Efficient Hashmap

#Java records & compact constructors
https://mikemybytes.com/2022/02/16/java-records-and-compact-constructors/

from my link log —
GNU Recutils: a database management system using human-readable text files.
https://labs.tomasino.org/gnu-recutils/
saved 2020-01-26 https://

GNU Recutils
Fred and George, Turtles in love There are hundreds of cool command line tools that have been made over the years built on the unix philosophy. Plain text is powerful, ubiquitous, and human-centric. It was also the only option for computing for quite a while. It’s no surprise that some of the most sophisticated tools are focused on it. One such package is GNU Recutils, a set of tools and libraries to access human-editable, plain text databases called recfiles.

from my link log —
Tips for PostgreSQL bulk data loading.
https://www.2ndquadrant.com/en/blog/7-best-practice-tips-for-postgresql-bulk-data-loading/
saved 2020-09-16

EDB Home - EDB Postgres AI
Experience EDB Postgres AI, the world's first sovereign AI & data platform. Manage, observe, and operationalize your data for optimized AI strategies.

from my link log —
What science can tell us about C and C 's security.
https://alexgaynor.net/2020/may/27/science-on-memory-unsafety-and-security/
saved 2020-05-28

from my link log —
Packaging a Rust project for Debian.
https://blog.hackeriet.no/packaging-a-rust-project-for-debian/
saved 2020-02-01

from my link log —
MLIR: a compiler infrastructure for the end of Moore's Law.
https://arxiv.org/abs/2002.11054
saved 2020-02-27 https://dotat.at/:…

MLIR: A Compiler Infrastructure for the End of Moore's Law
This work presents MLIR, a novel approach to building reusable and extensible compiler infrastructure. MLIR aims to address software fragmentation, improve compilation for heterogeneous hardware, significantly reduce the cost of building domain specific compilers, and aid in connecting existing compilers together. MLIR facilitates the design and implementation of code generators, translators and optimizers at different levels of abstraction and also across application domains, hardware targets …

from my link log —
time_it! a case study in Rust macros.
https://notes.iveselov.info/programming/time_it-a-case-study-in-rust-macros
saved 2020-05-15

time_it: a Case Study in Rust Macros | IV Notes
My adventures in Declarative Macros Land

from my link log —
A project to restore Interlisp-D to usability on modern OSes.
http://interlisp.org/
saved 2020-08-06 https://dotat.at/:/5KGKE.html

RE: https://mastodon.social/@appassionato/116635660928832452
this core flow change is interesting but it doesn’t correspond to any significant change in LoD
it happened about 10 years before the LoD abruptly dropped in about 2020
(and ther…

from my link log —
Updating the PostgreSQL root.crt file for TLS client auth.
https://www.2ndquadrant.com/en/blog/updating-the-postgresql-root-crt-file/
saved 2020-08-25

EDB Home - EDB Postgres AI
Join the era of Sovereign AI with EDB Postgres. Simplify your hybrid architecture, gain insights, and access training from leading Postgres experts.

from my link log —
Building containers without Docker.
https://blog.alexellis.io/building-containers-without-docker/
saved 2020-01-27 ht…

Building containers without Docker
In this post I'll outline several ways to build containers without the need for Docker itself including buildkit, kaniko, GitHub Actions, GitLab and Jenkins