I hereby claim:
- I am sciolizer on github.
- I am joshuaball (https://keybase.io/joshuaball) on keybase.
- I have a public key whose fingerprint is 4651 AF9F D3F3 2EB8 1D54 B75B A0F3 EEE5 1FB6 E412
To claim this, I am signing this object:
Joshua Ball sciolizer
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| > module Futamura where | |
| Partial evaluation transforms the source code of a general program into a more specialized program. | |
| For example, given the following general program: | |
| function repeatedlyPrint(count, message): | |
| for i from 1 to count: | |
| print(message) |
sciolizer
/ collapsing-quantum-mysteries-for-anybody.html
Last active
May 24, 2025 03:38
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html lang=en dir=auto style><!-- | |
| Page saved with SingleFile | |
| url: http://localhost:1313/post/2025-05-23-collapsing-mermins-quantum-mysteries-for-anybody/ | |
| saved date: Fri May 23 2025 20:02:20 GMT-0700 (Pacific Daylight Time) | |
| --> | |
| <meta charset=utf-8> | |
| <meta http-equiv=X-UA-Compatible content="IE=edge"> | |
| <meta name=viewport content="width=device-width, initial-scale=1, shrink-to-fit=no"> | |
| <meta name=robots content="noindex, nofollow"> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- Suppose we have the following expression type for a dynamically typed language | |
| data Value | |
| = VNull | |
| | VInt Int | |
| | VString String | |
| | VNative NativeFunction | |
| data NativeFunction = NativeFunction Int ([Value] -> IO Value) | |
| arity :: NativeFunction -> Int |
sciolizer
/ inference.rs
Last active
November 12, 2022 00:56
Rust inference feeling somewhat arbitrary
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| trait MyTrait {} | |
| struct MyStruct; | |
| impl MyTrait for MyStruct {} | |
| fn compiles1() -> Box<dyn MyTrait> { | |
| Box::new(MyStruct) | |
| } | |
| fn compiles2() -> Box<dyn MyTrait> { |
sciolizer
/ keybase.md
Created
March 18, 2016 18:20
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 19:16:55.206 [DEBUG] [org.gradle.messaging.remote.internal.inet.InetAddressFactory] Adding IP addresses for network interface awdl0 | |
| 19:16:55.207 [DEBUG] [org.gradle.messaging.remote.internal.inet.InetAddressFactory] Is this a loopback interface? false | |
| 19:16:55.209 [DEBUG] [org.gradle.messaging.remote.internal.inet.InetAddressFactory] Is this a multicast interface? true | |
| 19:16:55.209 [DEBUG] [org.gradle.messaging.remote.internal.inet.InetAddressFactory] Adding remote address /fe80:0:0:0:8cf3:31ff:fe98:f598%awdl0 | |
| 19:16:55.210 [DEBUG] [org.gradle.messaging.remote.internal.inet.InetAddressFactory] Adding remote multicast interface awdl0 | |
| 19:16:55.210 [DEBUG] [org.gradle.messaging.remote.internal.inet.InetAddressFactory] Adding IP addresses for network interface en0 | |
| 19:16:55.211 [DEBUG] [org.gradle.messaging.remote.internal.inet.InetAddressFactory] Is this a loopback interface? false | |
| 19:16:55.211 [DEBUG] [org.gradle.messaging.remote.internal.inet.InetAddressFactory] Is this a multicast interface? true | |
| 19:16:55.211 [ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ; for pasting into http://arborjs.org/halfviz | |
| {color:none} | |
| ; choices | |
| alienis -> vacuos | |
| alienis -> tenebrae | |
| arbor -> terra | |
| arbor -> herba | |
| auram -> praecantatio |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import org.junit.Test | |
| import akka.actor._ | |
| import akka.actor.Identify | |
| import java.util.concurrent.atomic.AtomicInteger | |
| import com.typesafe.config.{Config, ConfigFactory} | |
| import java.io.StringReader | |
| class ThousandActorsWatchingEachOther { | |
| val countUp = new AtomicInteger(0) |
sciolizer
/ install-xmonad-with-java-patch.sh
Created
August 29, 2012 01:34
Install xmonad with java patch
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Codification of discussion at http://code.google.com/p/xmonad/issues/detail?id=177 | |
| # Probably better to run each of these lines one by one instead of as a shell | |
| # script, since there's a high probability of `cabal install` failing (usually | |
| # fixed by installing the relevant libfoo-dev package) | |
| # One person said these steps did not work. | |
| # My Java version is: | |
| # java version "1.6.0_34" | |
| # Java(TM) SE Runtime Environment (build 1.6.0_34-b04) | |
| # Java HotSpot(TM) Server VM (build 20.9-b04, mixed mode) |
sciolizer
/ gist:2011793
Created
March 10, 2012 15:30
Java garbage collection of circular references
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| jball@localhost:~/tmp/javaref$ java -version | |
| java version "1.6.0_30" | |
| Java(TM) SE Runtime Environment (build 1.6.0_30-b12) | |
| Java HotSpot(TM) 64-Bit Server VM (build 20.5-b03, mixed mode) | |
| jball@localhost:~/tmp/javaref$ java JavaRef | |
| JavaRef$A@4fe5e2c3 | |
| JavaRef$Dog@7d8a992f | |
| JavaRef$Tail@164f1d0d | |
| JavaRef$A@8dc8569 |