Skip to content

Instantly share code, notes, and snippets.

View timo-schmid's full-sized avatar
🏔️

Timo Schmid timo-schmid

🏔️
View GitHub Profile
<?xml version="1.0" encoding="UTF-8"?>
<configuration version="1.0" name="AllocationProfiling" description="Low overhead configuration safe for continuous use in production environments, typically less than 1 % overhead." provider="Oracle">
<producer uri="http://www.oracle.com/hotspot/jvm/" label="Oracle JDK">
<control>
<selection name="gc-level" default="detailed" label="Garbage Collector">
<option label="Off" name="off">off</option>
<option label="Normal" name="detailed">normal</option>
@milessabin
milessabin / gist:9042788
Created February 17, 2014 00:42
Boilerplate free conversion from case classes to shapeless records via LabelledGeneric ... coming soon to shapeless 2.0.0.
scala> import shapeless._, record._
import shapeless._
import record._
scala> case class Person(name: String, address: String, age: Int)
defined class Person
scala> val joe = Person("Joe", "Brighton", 33)
joe: Person = Person(Joe,Brighton,33)