Michal Sitko note

## gist:5ae1d6b544d65fb8190534e8c13b8de7

      
              1 file
            
          
              0 forks
            
          
              3 comments
            
          
              9 stars
            
          
                lihaoyi
                / gist:5ae1d6b544d65fb8190534e8c13b8de7
            
            
              Created
              March 12, 2018 03:50
            
              
                AST-free JSON parsing
              
          
    Provisional benchmarks of AST-free serialization puts my WIP branch of uPickle about ~40% faster than circe on my current set of ad-hoc benchmarks, if the encoders/decoders are cached (bigger numbers is better)
playJson Read 2761067
playJson Write 3412630
circe Read 6005895
circe Write 5205007
upickleDefault Read 4543628
upickleDefault Write 3814459
upickleLegacy Read 8393416


## laws.md

      
              1 file
            
          
              1 fork
            
          
              1 comment
            
          
              27 stars
            
          
                non
                / laws.md
            
            
              Last active
              February 20, 2022 00:26
            
              
                I feel like conversations around laws and lawfulness in Scala are often not productive, due to a lack of rigor involved. I wanted to try to be as clear and specific as possible about my views of lawful (and unlawful) behavior, and what I consider a correct and rigorous way to think about laws (and their limits) in Scala.
              
          
    Laws

A law is a group of two or more expressions which are required to be
the same. The expressions will usually involve one or more typed
holes ("inputs") which vary.
Some examples:
x.map(id) === x

  
## RequestId.scala
import java.util.UUID

import akka.actor.ActorSystem
import akka.http.scaladsl.Http
import akka.http.scaladsl.model.HttpRequest
import akka.http.scaladsl.model.headers.{ModeledCustomHeader, ModeledCustomHeaderCompanion}
import akka.stream.ActorMaterializer
import akka.http.scaladsl.server._

import scala.io.StdIn

## iterm2-solarized.md

      
              2 files
            
          
              1623 forks
            
          
              492 comments
            
          
              8796 stars
            
          
                kevin-smets
                / iterm2-solarized.md
            
            
              Last active
              May 7, 2024 09:29
            
              
                iTerm2 + Oh My Zsh + Solarized color scheme + Source Code Pro Powerline + Font Awesome + [Powerlevel10k] - (macOS)
              
          
    Default


Powerlevel10k


## getargv.c
/* Copied, Pasted and summarized from ps' source code.
   You can use sysctl to get other process' argv.
 */

#include <sys/sysctl.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define pid_of(pproc) pproc->kp_proc.p_pid
	import java.util.UUID

	import akka.actor.ActorSystem
	import akka.http.scaladsl.Http
	import akka.http.scaladsl.model.HttpRequest
	import akka.http.scaladsl.model.headers.{ModeledCustomHeader, ModeledCustomHeaderCompanion}
	import akka.stream.ActorMaterializer
	import akka.http.scaladsl.server._

	import scala.io.StdIn
	/* Copied, Pasted and summarized from ps' source code.
	You can use sysctl to get other process' argv.
	*/

	#include <sys/sysctl.h>
	#include <stdio.h>
	#include <stdlib.h>
	#include <string.h>
	#define pid_of(pproc) pproc->kp_proc.p_pid