| defmodule Band do | |
| use GenServer | |
| @delay 750 | |
| def start_link(role, skill) do | |
| GenServer.start_link(__MODULE__, [role, skill], []) | |
| end | |
| @impl true |
| find_package(Threads REQUIRED) | |
| add_library(asio INTERFACE) | |
| target_include_directories(asio SYSTEM INTERFACE asio/include) | |
| target_compile_definitions(asio INTERFACE ASIO_STANDALONE ASIO_NO_DEPRECATED) | |
| target_link_libraries(asio INTERFACE Threads::Threads) |
| #include <fmt/color.h> | |
| #include <string_view> | |
| template <typename... T> | |
| void printg(std::string_view format, T... args) | |
| { | |
| fmt::print(fmt::emphasis::bold | fg(fmt::color::green), format, args...); | |
| } | |
| template <typename... T> | |
| void printr(std::string_view format, T... args) |
| qpdf dbbook.pdf --pages . 1 . 23-165 -- outfile.pdf |
| #lang racket | |
| (require racket/generic | |
| racket/match | |
| racket/pretty | |
| struct-update | |
| threading) | |
| (define flip | |
| (curry (λ (f a b) (f b a)))) |
| open MLton.Pointer | |
| open MLton.Platform | |
| val O_RDONLY = 0wx0 and O_WRONLY = 0wx1 and O_RDWR = 0wx2 | |
| val O_CREAT = 0wx40 and O_CLOEXEC = 0x80000 and O_EXCL = 0wx80 and O_NONBLOCK = 0wx800 | |
| val S_IRUSR = 0wx100 and S_IWUSR = 0wx80 | |
| val mq_open = _import "mq_open" : string * int * int * t -> int; | |
| val mq_close = _import "mq_close" : int -> int; | |
| val mq_unlink = _import "mq_unlink" : string -> int; | |
| val mq_send = _import "mq_send" : int * string * int * int -> int; |
| (*This implementation is slow. It can be improved. | |
| The summings function can use memoizing. | |
| *) | |
| fun divisors n = (List.filter (fn x => n mod x = 0) (List.tabulate (n div 2, fn x => x + 1 ))) | |
| fun powerset [] = [] | |
| | powerset [x] = [[],[x]] | |
| | powerset (x::xs) = | |
| let | |
| val power_subset = powerset xs |
So you want to write a sync system for a web app with offline and realtime support? Good luck. You might find the following resources useful.
Database in a browser, a spec (Stepan Parunashvili)
What problem are we trying to solve with a sync system?
The web of tomorrow (Nikita Prokopov)
#https://devpress.csdn.net/linux/62ea013920df032da732abb7.html
$ mount -t cgroup2 none /sys/fs/cgroup
$ xbps-install podman podman-compose cni cni-plugin-dnsname cni-plugins
$ sudo vim /etc/containers/registries.conf
[registries.search]
registries = ['docker.io', 'registry.fedoraproject.org', 'quay.io', 'registry.access.redhat.com', 'registry.centos.org']
| (*WIP*) | |
| (*Adapted from Unix System Programming with Standard ML*) | |
| structure FS = OS.FileSys | |
| structure OP = OS.Path | |
| fun toErr msg = TextIO.print msg | |
| exception Error of string | |
| val printf = fn z => TextIO.output (TextIO.stdOut, z ^ "\n") | |
| fun open_dir dir = (FS.openDir dir) | |
| handle |