Hypatia du Bois-Marie 形式科學為人權中共下台 analytic-bias

Downgrade and dualboot status of almost all iOS devices

UPDATED: 2025-07-01

Reddit mirror: https://www.reddit.com/r/iOSDowngrade/comments/j1x7iv/downgrade_and_dualboot_status_of_almost_all_ios/
GitHub Gist mirror: https://gist.github.com/LukeZGD/9d781f1b03a69fa46869384a9407a41a
As of updating this post, there is now a free downgrade tool that utilizes a SEP exploit released for A9-A10X devices, turdus merula: https://sep.lol/
- Untethered with blobs guide: https://ios.cfw.guide/turdusmerula/
- Tethered guide: https://ios.cfw.guide/turdusmerula-tethered/
Save SHSH blobs for signed iOS versions using TSS Saver or blobsaver

Today I went to noisebridge and scanned Wonders Through the Microscope and it is now available for download on the freestore! I will likely also generate a color version of the PDF but the book is in black and white so it really doesn't add much.

This is my first attempt at book scanning and post-processing using only open source tools so I thought I'd share this book scanning guide based on my experiences :)

Scan

I used the noisebridge book scanner hardware and their python script which remote-controls two DSLR cameras and downloads the photos over USB. It worked very well.

Note that in addition to gphoto2 you will also need jpegtran. This command will get you both:

How to make a Minecraft mod

Minecraft mods, especially mods which change the client, are by and large written with Forge. If you visit their website, you'll be greeted abruptly by a mysterious message at the top of an SMF forum, with no clear path towards actually... making a mod. I'm documenting here the steps I went through to get started, in the hopes of helping the next person have an easier time of it.

I'll be using Scala for this guide, but it should be fairly easy to adapt these instructions to any JVM language (e.g. clojure or if you're feeling masochistic, Java). I'm also developing on OS X, so some of the commands will be a little different if you're on Linux or Windows. I'm assuming you have some proficiency with your operating system, so I won't go into details about how to adapt those commands to your system.

Background

Minecraft doesn't have an official mod API (despite early [promises](http://notch.t

By default GHCi has NoMonomorphismRestriction, whereas GHC has MonomorphismRestriction. Furthermore GHCi does not load the extensions of the modules that it loads. All of this can be changed with the LANGUAGE pragma or by setting the extensions inside the GHCi shell.

NoMonomorphismRestriction generally means that GHCi will try to infer the most polymorphic types and type signatures possible. While MonomorphismRestriction means GHC will try to infer the most monomorphic types and type signatures possible. An interesting

Rust/Haskell: Higher-Kinded Types (HKT)

A higher kinded type is a concept that reifies a type constructor as an actual type.

A type constructor can be thought of in these analogies:

like a function in the type universe
as a type with a "hole" in it

Ref: https://gist.github.com/vertexclique/9839383

Important Note

Please use built-in Terminal.app (of Mac OS X) to type and rune the command, do not use another tool (like iTerm2).

Common step after enter run the patch command:

After run the commands, start new Sublime Text app, go to Main Menu > Help > Enter License. On the popup type in any text (example "a") and click Use Licence .

MacOS

Build 3059

MD5: 59bab8f71f8c096cd3f72cd73851515d

Rename it to: Sublime Text

Make it executable with: chmod u+x Sublime\ Text

	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	% this code was copied from https://tex.stackexchange.com/a/516102
	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	\usepackage[bigfiles]{pdfbase}
	\ExplSyntaxOn
	\NewDocumentCommand\embedvideo{smm}{
	\group_begin:
	\leavevmode
	\tl_if_exist:cTF{file_\file_mdfive_hash:n{#3}}{

	#!/bin/sh
	#
	# This script should prevent the following suspend errors
	# which freezes the Dell Inspiron laptop.
	#
	# Put it in /usr/lib/systemd/system-sleep/xhci.sh
	#
	# The PCI 00:14.0 device is the usb xhci controller.
	#
	# kernel: [67445.560610] pci_pm_suspend(): hcd_pci_suspend+0x0/0x30 returns -16

Hypatia du Bois-Marie 形式科學為人權 中共下台 analytic-bias