Joshua's instructions for deciding whether Steven Universe, the most wholesome show he knows, is right for you:
Watch the following 5 episodes (since each is only 11 minutes long, this is only a one hour commitment):
| > 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) |
| <!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"> |
| -- 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 |
| trait MyTrait {} | |
| struct MyStruct; | |
| impl MyTrait for MyStruct {} | |
| fn compiles1() -> Box<dyn MyTrait> { | |
| Box::new(MyStruct) | |
| } | |
| fn compiles2() -> Box<dyn MyTrait> { |
I hereby claim:
To claim this, I am signing this object:
| 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 [ |
| ; for pasting into http://arborjs.org/halfviz | |
| {color:none} | |
| ; choices | |
| alienis -> vacuos | |
| alienis -> tenebrae | |
| arbor -> terra | |
| arbor -> herba | |
| auram -> praecantatio |
| 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) |
| # 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) |