req
:
openssl req -x509 -subj /CN=root.yourdomain.com -days 3650 -noenc \
-out root.crt -keyout root.key
# -x509 - generate a certificate
# -subj - subject
# -days - validity period
'system': | |
[ | |
{ | |
'type': 'text', | |
'text': "You are Claude Code, Anthropic's official CLI for Claude.", | |
'cache_control': {'type': 'ephemeral'} | |
}, | |
{ | |
'type': 'text', | |
'text': 'You are an interactive CLI tool that helps users with software engineering tasks. |
/// Non-empty trees. | |
type Tree<'a> = TreeNode of 'a * List<Tree<'a>> | |
/// Syntactic simulation of the `Tree` base functor. | |
let (|TreeNode_|) (a, ys) = (a, ys) | |
/// Regular catamorphism for `Tree`. | |
let rec cata f (TreeNode (a, ts)) = f a (ts |> List.map (cata f)) | |
/// Compute a result from a single `Tree` node while having access to a function which computes a result from a single |
module Explanation | |
(* | |
So what is going on in module `ValidatedSum`? This is a more detailed explanation and a piece of guidance. The goal of | |
all of this is being able to define libraries with "safe" APIs. To be more precise, "safe" means that functions with | |
interesting preconditions can only be used (applied) such that the precondition is guaranteed to hold; it is impossible | |
to apply a function on inputs for which the precondition does not hold. | |
A well-known example is `List.head`. The precondition of applying this function to list `l` is that `l` is non-empty. If |
//open System.IO | |
//Directory.GetFiles(@"C:\Program Files\dotnet\shared\Microsoft.AspNetCore.App\5.0.11", "*.dll") | |
//|> Array.map (fun f -> $"""#r "{Path.GetFileName(f)}" """) | |
//|> Array.iter (printfn "%s") | |
#I @"C:\Program Files\dotnet\shared\Microsoft.AspNetCore.App\5.0.11" | |
#r "Microsoft.AspNetCore.Antiforgery.dll" | |
#r "Microsoft.AspNetCore.Authentication.Abstractions.dll" |
module ChrisPenner where | |
import Data.Array ((!)) | |
import Data.Foldable (for_, foldl', maximumBy) | |
import Data.List (sort) | |
import Data.Map.Strict (Map) | |
import Data.Ord (comparing) | |
import qualified Data.Array as A | |
import qualified Data.Map.Strict as Map |
This document was created back in 2020 and might not be actual nowadays. It is not supported anymore, so use thise information at your own risk.
wsl --set-default-version 2
in windows command line, so that all future WSL machine will use WSL2.1. Yaml configuration section | |
<?xml version="1.0" encoding="utf-8"?> | |
<akka.persistence> | |
<hocon> | |
<![CDATA[ | |
akka { | |
persistence{ | |
query.journal.sql { | |
max-buffer-size = 10000 |
UNLOGGED
table. This reduces the amount of data written to persistent storage by up to 2x.WITH (autovacuum_enabled=false)
on the table. This saves CPU time and IO bandwidth
on useless vacuuming of the table (since we never DELETE
or UPDATE
the table).COPY FROM STDIN
. This is the fastest possible approach to insert rows into table.time timestamp with time zone
is enough.synchronous_commit = off
to postgresql.conf
.