Uma arena online feita em uma nova linguagem de programação ultra-segura desenvolvida por nós, o Formality. O jogo será non-profit, get-paid-to-win: todo seu lucro é redirecionado pros próprios jogadores competitivos. Também será open-source e 100% modável: jogadores poderão criar seus próprios heróis. Será um jogo competitivo, real-time, top-view e muito dinâmico. O gameplay será uma mistura de League of Legends
| #ifdef _MSC_VER | |
| #include <intrin.h> | |
| static inline int __builtin_ctz(unsigned x) | |
| { | |
| return (int)_tzcnt_u32(x); | |
| } | |
| static inline int __builtin_ctzll(unsigned long long x) | |
| { |
| open System | |
| open Suave | |
| open Suave.Filters | |
| let subPath path (ctx:HttpContext) = | |
| async { | |
| let localPath = ctx.request.url.LocalPath | |
| let result = | |
| match (localPath.StartsWith(path)) with | |
| | false -> None |
| fn make_test_evaluator() -> Box<Fn(YourTestCaseTypeHere)> { | |
| use std::cell::RefCell; | |
| struct EvalGuard(bool); | |
| impl Drop for EvalGuard { | |
| fn drop(&mut self) { | |
| if !self.0 { | |
| panic!("Did not actually evaluate test cases"); | |
| } |
| #pragma once | |
| #include <limits> | |
| #define _USE_MATH_DEFINES | |
| #include <math.h> | |
| namespace framework { | |
| namespace math_constexpr { | |
| int constexpr abs(int x) { |
| void Main() | |
| { | |
| // LinqPad script that downloads all PDFs/etc from Bret Victors worry dream refs page. | |
| var targetPath = @"PATH_TO_WHERE_YOU_KEEP_YOUR_EBOOK\eBooks"; | |
| //These filenames were extracted from http://worrydream.com/refs/ -- using NimbleText. | |
| //(TODO: Use regex or html agility pack to find them programmatically) | |
| var refs = new string[] { | |
| "Hamming-TheArtOfDoingScienceAndEngineering.pdf", | |
| "Licklider-IntergalacticNetwork.pdf", |
| // This F# language suggestion wants a way to name collections of constraints: | |
| // http://fslang.uservoice.com/forums/245727-f-language/suggestions/8509687-add-constraints-as-a-language-construct | |
| // | |
| // This is a type alias X<T> = T, so X<int> = int etc. | |
| type X<'T> = 'T | |
| // This is a type alias X<T> = T which adds a constraint | |
| type WithStruct<'T when 'T : struct> = 'T |
| {-# LANGUAGE UnicodeSyntax #-} | |
| module Proof where | |
| import System.Console.ANSI | |
| import Prelude.Unicode | |
| import Control.Monad.Unicode | |
| {- | |
| Calculations and mathematical proofs of circular computations. | |
| @author Marcelo Camargo | |
| -} |
/usr/bin/raspi-config is a shell script to change some of the following options. docs
/etc/inittab sets the default runlevel and runs /etc/init.d/rc to execute startup scripts./etc/rc3.d/S03lightdm launches lightdm for runlevel 3./etc/lightdm/lightdm.conf contains configuration options for lightdm, including autologin-user/etc/X11/Xsession sources all files in /etc/X11/Xsession.d/etc/X11/Xsession.d/50x11-common_determine-startup will set STARTUP to either ~/.xsession or ~/.Xsession if it exists. If not executable, it will prepend ${SHELL:-sh}. The default is STARTUP=/usr/bin/x-session-manager which is linked to /etc/alternatives/x-session-manager which is linked to /usr/bin/startlxde-pi