neilw4

X-Systems

X-Systems

An X-System is a function taking an X-System as input and outputting a boolean. Let X be the set of all such X-Systems

X: X -> Boolean

T-Systems

A T-System is an X-System which outputs true if the input is also a T-System, otherwise it outputs false. Let T be the set of all such T-Systems

T ⊆ X s.t. ∀ t ∈ T, x ∈ X, t(x) = x ∈ T

neilw4

1d0
< 3728	./diff
31,49d29
< 4	./art/runtime/gc/collector/sticky_mark_sweep.cc
< 36	./art/runtime/gc/collector/semi_space.cc
< 4	./art/runtime/gc/collector/partial_mark_sweep.cc
< 4	./art/runtime/gc/collector/immune_region.cc
< 16	./art/runtime/gc/collector/mark_sweep.h
< 4	./art/runtime/gc/collector/sticky_mark_sweep.h
< 12	./art/runtime/gc/collector/garbage_collector.cc

neilw4

52	./art/patchoat/patchoat.cc
8	./art/patchoat/patchoat.h
4	./art/patchoat/Android.mk
68	./art/patchoat
4	./art/disassembler/disassembler.cc
24	./art/disassembler/disassembler_mips.cc
48	./art/disassembler/disassembler_x86.cc
4	./art/disassembler/disassembler_arm64.cc
4	./art/disassembler/disassembler_arm64.h
4	./art/disassembler/disassembler.h

neilw4

Device encryption fails on my device running CAF kernel roms (Sultan's CM12.1 and CM13, and XenonHD AOSP 12.1). This appears to work on other people's devices. All roms run Sultan's CAF version (https://github.com/sultanxda/android_kernel_oneplus_msm8974).

Full logcat entry at https://gist.github.com/neilw4/05033ede5e9065876c8b relevant part:

• E/QSEECOMAPI: Error::send command ioctl failed. ret = -1, errno = 22
  • Not sure where this comes from. errno 22 is EINVAL Invalid Argument.
• E/QCOMKeyMaster: Generate key command failed resp->status = -1 ret =-1
  • Logging statement at CM android_hardware_qcom_keymaster keymaster_qcom.cpp#L375
  • Caused by error in call CM android_hardware_qcom_keymaster keymaster_qcom.cpp#L367
• Calling [Sultan Kernel qseecom.c#L1538](https://github.com/sultanxda/android_ker

neilw4

01-05 14:26:48.640: D/libEGL(6948): loaded /vendor/lib/egl/libEGL_adreno.so
01-05 14:26:48.641: D/libEGL(6948): loaded /vendor/lib/egl/libGLESv1_CM_adreno.so
01-05 14:26:48.656: D/libEGL(6948): loaded /vendor/lib/egl/libGLESv2_adreno.so
01-05 14:26:48.665: I/Adreno-EGL(6948): <qeglDrvAPI_eglInitialize:379>: EGL 1.4 QUALCOMM build: Nondeterministic_AU_msm8974_LA.BF.1.1.3_RB1__release_AU (Ia6c73e7530)
01-05 14:26:48.665: I/Adreno-EGL(6948): OpenGL ES Shader Compiler Version: E031.29.00.00
01-05 14:26:48.665: I/Adreno-EGL(6948): Build Date: 12/04/15 Fri
01-05 14:26:48.665: I/Adreno-EGL(6948): Local Branch: mybranch17080070
01-05 14:26:48.665: I/Adreno-EGL(6948): Remote Branch: quic/LA.BF.1.1.3_rb1.5
01-05 14:26:48.665: I/Adreno-EGL(6948): Local Patches: NONE
01-05 14:26:48.665: I/Adreno-EGL(6948): Reconstruct Branch: NOTHING

neilw4

# language will be fully statically typed with no type signatures and compiled to something fast (probably LLVM)
myObj = 5

# 1st class functions are defined like objects
myFn = (arg1):
  return arg1 + 2

# functions with no explicit return type will return an object with all of the members in the scope of the function
# they are effectively constructors
myClassConstructor = (arg1, arg2):

neilw4

Verifying that +neilw4 is my blockchain ID. https://onename.com/neilw4

neilw4

import scala.collection.mutable.{HashMap, MultiMap, LinkedHashSet, Set}
import scala.reflect.runtime.universe._

trait OrderedMultiMap[K, V] extends MultiMap[K, V] {
  override def makeSet: Set[V] = new LinkedHashSet[V]
}

object Listener {
  trait Manager {