ghostdogpr

//> using dep com.github.ghostdogpr::caliban-quick:2.7.1

import caliban.*
import caliban.CalibanError.*
import caliban.Value.StringValue
import caliban.execution.FieldInfo
import caliban.parsing.adt.Directive
import caliban.quick.*
import caliban.schema.Annotations.*
import caliban.schema.Schema

cpursley

PostgreSQL is Enough

• Simplify: move code into database functions
• Just Use Postgres for Everything
• PostgreSQL is the worlds’ best database
• Postgres is eating the database world
• Hacker News discussion

Background and Cron Jobs

tjarvstrand

import io.opentelemetry.api.baggage.Baggage
import io.opentelemetry.api.baggage.propagation.W3CBaggagePropagator
import io.opentelemetry.context.propagation.TextMapGetter
import io.wolverinebeach.zio.telemetry.Tracing
import zio.Trace
import zio.ZIO
import zio.ZIOAspect
import zio.http.*

import java.lang

btlines

package effects

import cats.{MonadError, StackSafeMonad}

import scala.concurrent.{ExecutionContext, Future}
import scala.util.{Failure, Success, Try}

final case class F[+E, +A](value: Future[Either[E, A]]) extends AnyVal {

  def fold[B](fe: E => B, fa: A => B)(implicit ec: ExecutionContext): Future[B] = value.map {

vijayanant

{-# LANGUAGE RankNTypes #-}

module RankN where

-- Rank 0: 
-- add1 is momomorphic
add1 :: Int -> Int
add1 x = x + 1

-- Rank 1

domnikl

tasks.withType<Jar> {
    manifest {
        attributes["Main-Class"] = "com.example.MainKt"
    }
}

marksteve

Building pgModeler in MacOS with Homebrew

The official installation instructions for pgModeler recommends installing Xcode and the Enterprise DB distribution of Postgres to fulfill its build requirements. Luckily, Homebrew's got us covered!

1. Checkout the source

   git clone https://github.com/pgmodeler/pgmodeler.git
   

linasm

import java.time.{LocalDate, LocalDateTime, LocalTime}

/*case */class FullName(val first: String, val last: String)

object FullName {
  def apply(first: String, last: String): FullName =
    new FullName(first, last)

  def unapply(full: FullName): Some[(String, String)] =
    Some((full.first, full.last))

smarter

Generalized Algebraic Data Types in Scala

Basic GADTs

Here's an ADT which is not a GADT, in Haskell:

data Expr = IntExpr Int | BoolExpr Bool

ursuad

Kafka Topics

List existing topics

bin/kafka-topics.sh --zookeeper localhost:2181 --list

Describe a topic

bin/kafka-topics.sh --zookeeper localhost:2181 --describe --topic mytopic

Purge a topic

bin/kafka-topics.sh --zookeeper localhost:2181 --alter --topic mytopic --config retention.ms=1000

... wait a minute ...