jackyliu16

{
  description = "A devShell for rCore";

  inputs = {
    nixpkgs.url      = "github:NixOS/nixpkgs/nixos-unstable";
    nixpkgs-qemu7.url = "https://github.com/NixOS/nixpkgs/archive/7cf5ccf1cdb2ba5f08f0ac29fc3d04b0b59a07e4.tar.gz";
    rust-overlay.url = "github:oxalica/rust-overlay";
    flake-utils.url  = "github:numtide/flake-utils";
  };

Zheaoli

-Xms128m
-Xmx8182m
-XX:ReservedCodeCacheSize=512m
-XX:CICompilerCount=2
-XX:+HeapDumpOnOutOfMemoryError
-XX:-OmitStackTraceInFastThrow
-XX:+UnlockExperimentalVMOptions -XX:+UseZGC 
-XX:ZCollectionInterval=120 -XX:ZAllocationSpikeTolerance=5 
-XX:+UnlockDiagnosticVMOptions -XX:-ZProactive

Lucifier129

type ParseResult = {
    success: boolean,
    data: any,
    source: string
}

type ParseFailed = {
    suceess: false,
    data: any,
    source: string

gcanti

// Adapted from http://code.slipthrough.net/2016/08/10/approximating-gadts-in-purescript/

import { Kind, URIS } from 'fp-ts/lib/HKT'
import { URI } from 'fp-ts/lib/Identity'
import { identity } from 'fp-ts/lib/function'

// ------------------------------------------
// Leibniz
// ------------------------------------------

Lucifier129

interface BtreeVisitor<T, TT> {
  leaf: (value: T) => TT;
  branch: (left: TT, right: TT) => TT;
}

interface Btree<T> {
  <TT>(visitor: BtreeVisitor<T, TT>): TT;
}

const leaf = <T>(value: T): Btree<T> => {

cb372

(This is a translation of the original article in Japanese by moratorium08.)

(UPDATE (22/3/2019): Added some corrections provided by the original author.)

Writing your own OS to run on a handmade CPU is a pretty ambitious project, but I've managed to get it working pretty well so I'm going to write some notes about how I did it.

Lucifier129

// parser combinator

const fail = () => []

const failed = list => list.length === 0

const of = value => input => [value, input]

const bind = (parser, f) => input => {
  let result = parser(input)

Liam0205

%!TEX program = xelatex
% Font Size:
%   10pt, 11pt, 12pt
% Paper Size:
%   a4paper, letterpaper, a5paper, leagalpaper, executivepaper, landscape
% Font Family:
%   roman, sans
\documentclass[12pt, a4paper, roman]{moderncv}

% Style:

rxaviers

People

:bowtie:	😄 :smile:	😆 :laughing:
😊 :blush:	😃 :smiley:	☺️ :relaxed:
😏 :smirk:	😍 :heart_eyes:	😘 :kissing_heart:
😚 :kissing_closed_eyes:	😳 :flushed:	😌 :relieved:
😆 :satisfied:	😁 :grin:	😉 :wink:
😜 :stuck_out_tongue_winking_eye:	😝 :stuck_out_tongue_closed_eyes:	😀 :grinning:
😗 :kissing:	😙 :kissing_smiling_eyes:	😛 :stuck_out_tongue: