Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

View keynmol's full-sized avatar
🏠
choosing the lowest hill to die on

Anton Sviridov keynmol

🏠
choosing the lowest hill to die on
View GitHub Profile
@keynmol
keynmol / README.md
Created April 17, 2024 19:54
Logging interpolator for Scala 3

CleanShot 2024-04-17 at 20 50 26@2x

file Lines Tokens Tasty Complexity/Line Directory
[info] package.scala 3 31 8 2.67 moderate /Users/velvetbaldmime/projects/indoorvivants/smithy4s-aws-only/src/main/scala/generated/hello
[info] InferenceUnitsInteger.scala 13 112 11 0.85 low /Users/velvetbaldmime/projects/indoorvivants/smithy4s-aws-only/src/main/scala/generated/com/amazonaws/comprehend
[info] NumberOfDocuments.scala 13 112 11 0.85 low /Users/velvetbaldmime/projects/indoorvivants/smithy4s-aws-only/src/main/scala/generated/com/amazonaws/comprehend
[info] EntityTypeName.scala 13 112 11 0.85 low /Users/velvetbaldmime/projects/indoorvivants/smithy4s-aws-only/src/main/scala/generated/com/amazonaws/comprehend
[info] AnyLengthString.scala 13 112 11
@keynmol
keynmol / deriving-order.scala
Last active March 26, 2024 20:26
Deriving Ordering in Scala 3, slow and fast versions
//> using scala 3.4.0
package bla
import scala.deriving.*, scala.compiletime.*
// change this to FASTER to go brrr
import EVEN_FASTER_SOMETIMES.*
// MAGIC
@keynmol
keynmol / demo.scala
Created March 20, 2024 08:57
TODO macro in Scala 3
def myLazyWork(str: String) =
str match
case "hello" => println("yo")
case "world" => TODO("world is unhandled")
@main def hello =
myLazyWork("hello")
myLazyWork("world")
@keynmol
keynmol / README.md
Last active February 29, 2024 13:34
Byte pair encoding algorithm in Scala
@keynmol
keynmol / gdextension.scala
Created October 14, 2023 12:58
GDExtension bindings
package godot
import _root_.scala.scalanative.unsafe.*
import _root_.scala.scalanative.unsigned.*
import _root_.scala.scalanative.libc.*
import _root_.scala.scalanative.*
object predef:
private[godot] trait CEnumU[T](using eq: T =:= UInt):
given Tag[T] = Tag.UInt.asInstanceOf[Tag[T]]
@keynmol
keynmol / README.md
Last active October 9, 2023 20:56
Scala example of using htmx
@keynmol
keynmol / scala-http-postgres-html-docker.scala
Created September 28, 2023 11:43
Sample gist showing how to run a HTTP server with Typelevel Scala libraries, and a postgres docker container
//> using dep "org.http4s::http4s-scalatags::0.25.2"
//> using dep "org.http4s::http4s-dsl::0.23.23"
//> using dep "org.http4s::http4s-ember-server::0.23.23"
//> using dep "org.tpolecat::skunk-core::0.6.0"
//> using dep "com.dimafeng::testcontainers-scala-postgresql::0.41.0"
//> using dep "com.outr::scribe-slf4j::3.12.2"
import skunk.*, codec.all.*, syntax.all.*
import cats.effect.*
import scalatags.Text.all.*
@keynmol
keynmol / file-proxy-basic-auth.scala
Created July 24, 2023 15:37
Basic auth file proxy
//> using dep org.http4s::http4s-ember-server::0.23.23
//> using dep org.http4s::http4s-dsl::0.23.23
//> using dep com.outr::scribe-cats::3.11.8
/** This script implements a file proxy, which puts basic auth username and
* password challenge, in order to simulate password-protected artifactory
*
* To run it, use Scala CLI: https://scala-cli.virtuslab.org/
*
* Run `scala-cli run test.scala` and follow instructions
@keynmol
keynmol / postgres.scala
Created July 10, 2023 10:24
Postgres server bindings
package libtest
import _root_.scala.scalanative.unsafe.*
import _root_.scala.scalanative.unsigned.*
import _root_.scala.scalanative.libc.*
import _root_.scala.scalanative.*
object predef:
private[libtest] trait CEnumU[T](using eq: T =:= UInt):
given Tag[T] = Tag.UInt.asInstanceOf[Tag[T]]