?
- Conditionals, if a variable exists and non-zero, then the first is chosen, otherwise second.
Example: #{?session_attached,attached,not attached}
.
==:
, !=:
, <:
, >:
, <=:
, >=:
- String comparisons.\
eval %sh{kak-lsp/target/release/kak-lsp --kakoune --session $kak_session} | |
hook global WinSetOption filetype=(scala|java|nix|rust|smithy|terraform|c|python|nu|unison|cpp) %{ | |
lsp-enable-window | |
# Show signature in the insert mode. | |
lsp-auto-signature-help-enable | |
# Indent guides | |
# WIP: https://github.com/kakoune-lsp/kakoune-lsp/pull/720 |
//> using scala 3.3.1 | |
//> using options -Wnonunit-statement, -Wunused:all, -Wvalue-discard, -Yno-experimental, -Ysafe-init, -deprecation, -feature, -new-syntax, -unchecked, | |
//> using platform native | |
//> using nativeGc none | |
//> using nativeLto thin | |
//> using nativeMode release-full | |
//> using nativeEmbedResources false |
#!/usr/bin/env bash | |
set -xeuo pipefail | |
DISK=/dev/nvme0n1 | |
parted $DISK -- mklabel gpt | |
parted $DISK -- mkpart ESP fat32 1MB 512MB | |
parted $DISK -- set 1 esp on |
#!/usr/bin/env bash | |
set -xeuo pipefail | |
DISK=/dev/nvme0n1 | |
parted $DISK -- mklabel gpt | |
parted $DISK -- mkpart ESP fat32 1MB 512MB | |
parted $DISK -- set 1 esp on | |
parted $DISK -- mkpart primary linux-swap 512MB 32GB |
#!/usr/bin/env -S zsh --interactive --login | |
set -eo pipefail | |
search() { | |
local DEP="" | |
local CS_PREFIX="cs complete-dep" | |
# Returns two lines: | |
# 1) fzf query |
import java.util.concurrent.atomic.AtomicInteger | |
import java.util.concurrent.Executors | |
import java.util.{Timer, TimerTask} | |
import scala.concurrent.duration._ | |
import scala.concurrent.{Await, ExecutionContext, ExecutionContextExecutor, Promise} | |
import scala.util.chaining._ | |
import scala.util.{Failure, Success, Try} | |
class Context(private val timer: Timer, private val threadPool: ExecutionContext) { | |
def schedule(task: => Unit, fd: FiniteDuration): Unit = { |
import java.net._ | |
import java.nio.ByteBuffer | |
import java.nio.channels.{ | |
AsynchronousChannelGroup, | |
AsynchronousServerSocketChannel, | |
AsynchronousSocketChannel, | |
CompletionHandler | |
} | |
import java.util.concurrent.{ExecutorService, Executors} |
import $plugin.$ivy.`org.spire-math::kind-projector:0.9.9` | |
import $ivy.`org.typelevel::cats-core:1.5.0` | |
import java.nio.file.{Files, Paths} | |
import cats.{Eval, Monad} | |
import cats.arrow.FunctionK | |
import cats.data.State | |
import scala.io.Source |
//============================== | |
//Part 1: Introduction | |
//============================== | |
//Introduction to the "initial" encoding (also called Free monads/applicatives) | |
//and the "final" encodings (also called "Tagless Final") | |
//Main purpose of the both ways: | |
//1. create a strict and statically typed DSL languages | |
//2. write a "description" of a program using these languages |