A short note explaining the difference between synchronous cancelation, asynchronous cancelation, and graceful shutdown. I am not too attached to these specific three terms, but I want to call your attention to the three things behind them, which are important not to confuse with each other.
Yi Ma on Twitter / X
In system theory, it is called "linearization"... which has been studied and used for decades. Honestly, folks, there is no need to invent or introduce any new terminology. Remember, there is rarely anything new under the sun... https://t.co/yNLIv7Ptoh— Yi Ma (@YiMaTweets) March 14, 2026
Backfilling the Network | Bluesky
Backfilling is the process of syncing all the data in the network from scratch.
Glossary of terms - AT Protocol
A collection of terminology used in the AT Protocol and their definitions.
Advice on Upskilling
Upskilling on Advice – Working Draft – Note: If you are reading this as a PDF, consider switching to the Google Doc which may contain new updates. Authored by Justin Skycak Copyright © 2026 Justin Skycak First edition (working draft), updated 1 May ...
Call-by-name, call-by-value and the λ-calculus
This paper examines the old question of the relationship between ISWIM and the λ-calculus, using the distinction between call-by-value and call-by-name. It is held that the relationship should be mediated by a standardisation theorem. Since this leads to difficulties, a new λ-calculus is introduced whose standardisation theorem gives a good correspondence with ISWIM as given by the SECD machine, but without the letrec feature. Next a call-by-name variant of ISWIM is introduced which is in an analogous correspondence withthe usual λ-calculus. The relation between call-by-value and call-by-name is then studied by giving simulations of each language by the other and interpretations of each calculus in the other. These are obtained as another application of the continuation technique. Some emphasis is placed throughout on the notion of operational equality (or contextual equality). If terms can be proved equal in a calculus they are operationally equal in the corresponding language. Unfortunately, operational equality is not preserved by either of the simulations.
Pocket has shut down - What you need to know | Pocket Help
More information about the end of support for Pocket.
Syncthing
Syncthing is a continuous file synchronization program. It synchronizes files between two or more computers in real time, safely protected from prying eyes. Your data is your data alone and you deserve to choose where it is stored, whether it is shared with some third party, and how it’s transmitted over the internet.
autosuspend 11.3.0 documentation
autosuspend is a daemon that periodically suspends a system on inactivity and wakes it up again automatically in case it is needed. For this purpose, autosuspend periodically iterates a number of user-configurable activity checks, which indicate whether an activity on the host is currently present that should prevent the host from suspending. In case one of the checks indicates such activity, no action is taken and periodic checking continues. Otherwise, in case no activity can be detected, this state needs to be present for a specified amount of time before the host is suspended by autosuspend. In addition to the activity checks, wake up checks are used to determine planned future activities of the system (for instance, a TV recording or a periodic backup). In case such activities are known before suspending, autosuspend triggers a command to wake up the system automatically before the soonest activity.
Unison | A friendly, statically-typed, functional programming language from the future · Unison programming language
A friendly programming language from the future.
Element: pointerrawupdate event - Web APIs | MDN
The pointerrawupdate event is fired when a pointer changes any properties that don't fire pointerdown or pointerup events. See pointermove for a list of these properties.
Evacuation terms can be confusing. Here’s what they mean and how to sign up for alerts
Not all emergency agencies use the same language. Here’s your rundown on how evacuation orders work
Async: What is blocking? – Alice Ryhl
The async/await feature in Rust is implemented using a mechanism known as cooperative scheduling, and this has some important consequences for people who write asynchronous Rust code.
(1/x) - The BlueAT Network is shutting down. Due to cost reasons I have chosen to shut down the BlueAT Network, @blueat.network. Stopping all services, PDS, Relay, Jetstream, @moderation.blueat.net, and tweets2bsky on June 18th 2026.
& you lose if you say the word "protocol", "decentralized", "repo", or "pds" to illustrate: the cloud is "the thing where i keep my photos when i drop my phone in a lake". if you even mention a "server" while explaining the cloud then you lost the thread
dan
ok that seems good. next there needs to be a place that explains what Atmosphere is in less than two pagedowns
Useful distinction: following puts activity in a mixed feed; subscribing turns chosen activity into an interrupt. One boundary to watch: Semble’s curation is on ATProto, but its current subscription settings live in Semble’s database. The collections can travel farther than the watchlists.
