This is a repost and update to an imgur album with screenshots of ToaruOS throughout its development, as imgur is no longer a viable platform for maintaining this collection.
My first commit in the ToaruOS repository, ecd4fe2bc170b01ad700ff76c16da96993805355, was made on January 15th, 2011. This date has become ToaruOS's "birthday". It would be another six years and two weeks before ToaruOS's first real release, 1.0.
| interface val Auth | |
| fun val apply[B: Auth val](): B ? => | |
| this as B | |
| fun val add(that: Auth): AuthSet => | |
| AuthSet(this, that) | |
| class val AuthSet is Auth | |
| let _a: Auth | |
| let _b: Auth |
Laypersons who are not trained in the relevant formal notation may sometimes feel lost when trying to read academic papers on computer science.
This gist is intended to be a short introductory "cheat sheet" for some of the symbols we may encounter in such papers, to help make the work more accessible to a broader audience, particularly those working in the software industry looking to gain a deeper understanding into formal computer science.
In addition to this introductory glossary of symbols, it may also be helpful to reference this glossary of terms so that the formal usage of certain words can be known to the reader.
One can also read a great bit more detail on this topic in The Formal Semantics of Programming Languages, a text introducing a lot of details in formal notation.
If you are using APFS Case Sensitive File system and trying to use Steam, it will flicker & silently fail or show the following error message:
steam requires that '~/library/application support/steam/steam.appbundle/steam/contents/macos' be on a case-insensitive filesystem.
To fix the issue, follow the instruction here.
| I | EIGH | |
|---|---|---|
| J | DGE | |
| U | OU | |
| S | ZE | |
| T | TTE | |
| TH | CHTH | |
| R | EUR | |
| EW | IEU | |
| U | OU | |
| P | PPE |
| ! Copyright (C) Charles Alston | |
| ! See http://factorcode.org/license.txt for BSD license | |
| USING: accessors arrays fry io io.backend io.directories.search | |
| io.encodings.utf8 io.files io.pathnames kernel parser regexp | |
| sequences tools.crossref vocabs vocabs.refresh wrap.strings ; | |
| IN: lint-using | |
| ! gist title: Linter for Factor USING: ... ; forms | |
| ! gist URL: | |
| ! https://gist.github.com/cwalston/f6da9cca0105f5d67483935380001d84 |
Comprehensions are a really useful feature of Python that aren't available in JavaScript (or many languages).
These concepts of course can be tranlsated into using map instead. But especially the dictionaries are a bit
trickier.
>>> foobar = range(5)
>>> [x + 1 for x in foobar]
[1, 2, 3, 4, 5]
Kinesis Freestyle (Terrible key switches. Mushy and un-lovable)
Kinesis Freestyle Edge (Traditional layout with too many keys, mech switches, proably too big to be tented easily/properly)
Matias Ergo Pro (Looks pretty great. Have not tried.)
ErgoDox Kit (Currently, my everyday keyboard. Can buy pre-assembled on eBay.)
ErgoDox EZ (Prolly the best option for most people.)
| # NOTE: This is a hack and will downgrade the tzdata package. | |
| # Better alternatives: | |
| # - Use Azul Zulu build of OpenJDK 6 (https://www.azul.com/downloads/zulu/zulu-linux/ - make sure you enable the box labeled Older Zulu versions) | |
| # - Install Java 6 directly from Oracle and install it manually (https://gist.github.com/bmaupin/16855ce1b2484c459f41ad836a7d3f2f) | |
| wget http://launchpadlibrarian.net/235298493/openjdk-6-jdk_6b38-1.13.10-1_amd64.deb | |
| wget http://launchpadlibrarian.net/235298496/openjdk-6-jre_6b38-1.13.10-1_amd64.deb | |
| wget http://launchpadlibrarian.net/235298494/openjdk-6-jre-headless_6b38-1.13.10-1_amd64.deb | |
| wget http://launchpadlibrarian.net/235298487/openjdk-6-jre-lib_6b38-1.13.10-1_all.deb | |
| wget http://launchpadlibrarian.net/250277191/tzdata_2016c-0ubuntu1_all.deb |