This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| FROM node:20 | |
| ARG TZ | |
| ENV TZ="$TZ" | |
| ARG CLAUDE_CODE_VERSION=latest | |
| ARG RUST_VERSION=1.82.0 | |
| ARG SWIPLDIR=/usr/lib/swi-prolog | |
| ARG ALLOY_VERSION=6.2.0 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* Test program to evaluate behavior of jalr for indirect threading. | |
| See the comment in jonesforth.s starting after the NEXT macro on line 305. | |
| Basic idea of the test: create an indirect threaded word manually, and use jalr | |
| to jump into it to see what it does in the debugger. | |
| */ | |
| .text |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {SANDBOX} [20:37:57] /tmp/ReasonablyTyped [master] > node lib/js/2/cli.js | |
| /tmp/ReasonablyTyped/node_modules/bs-platform/lib/js/belt_Option.js:9 | |
| throw new Error("getExn"); | |
| ^ | |
| Error: getExn | |
| at Object.getExn (/tmp/ReasonablyTyped/node_modules/bs-platform/lib/js/belt_Option.js:9:11) | |
| at Object.<anonymous> (/tmp/ReasonablyTyped/lib/js/2/cli.js:90:28) | |
| at Module._compile (module.js:652:30) | |
| at Object.Module._extensions..js (module.js:663:10) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [%bs.raw {|require('./Header.css')|}]; | |
| type state('a) = {selected: 'a}; | |
| type action('a) = | |
| | Select('a); | |
| let component = ReasonReact.reducerComponent("PageHeader"); | |
| let make = (~orgName, ~productName, ~tabs : list(('a, string)), ~onTabChange : ('a => unit), _children) => { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| FROM ndpi/emacs-base | |
| USER root | |
| RUN apt-get update && apt-get install -y \ | |
| tmux \ | |
| sudo \ | |
| && rm -rf /var/lib/apt/lists/* | |
| COPY sudoers /etc/sudoers.d/90-nick-dev-image |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| set ofPerspective to "Today" -- exact Perspective name | |
| set bmAuthToken to "<token>" | |
| set bmUser to "nickpascucci" | |
| set bmGoal to "intentions" | |
| set emailRecipient to "[email protected]" | |
| set theDate to date string of (current date) | |
| set reportTitle to "'" & ofPerspective & "' Tasks - " & theDate |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- Vector magnitude/absolute value. This doesn't type check - if you | |
| -- can figure out why, please leave a comment! | |
| magnitude :: Vec (Qu d l n) -> Qu d l n | |
| magnitude (Vec3 x y z) = qSqrt ((qSq x) |+| (qSq y) |+| (qSq z)) | |
| -- Couldn't match type ‘d’ with ‘Normalize (d @@+ d) @/ Two’ | |
| -- ‘d’ is a rigid type variable bound by the type signature for interactive:IHaskell128.magnitude :: Vec (Qu d l n) -> Qu d l n at :1:14 | |
| -- Expected type: Qu d l n | |
| -- Actual type: Qu (Normalize (d @@+ d) @/ Two) l n | |
| -- Relevant bindings include |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (ns myproject.parsing | |
| (:import [myproject.parsers.java | |
| JavaLexer JavaParser JavaBaseListener] | |
| [org.antlr.v4.runtime | |
| ANTLRInputStream CommonTokenStream] | |
| [org.antlr.v4.runtime.tree | |
| ParseTree ParseTreeWalker])) | |
| (defn- make-listener [] | |
| (proxy [JavaBaseListener] [] |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;;; parscope-mode.el --- Minor mode for showing the current scope in Lisp-like languages. | |
| ;; Copyright (C) 2013 Nick Pascucci | |
| ;; Author: Nick Pascucci | |
| ;; Created: 22 Jun 2013 | |
| ;; Keywords: tools | |
| ;; Version: 0.1 | |
| ;; URL: https://gist.github.com/nickpascucci/5842987 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #! /usr/bin/env python2.7 | |
| # -*- mode: python; fill-column: 80; -*- | |
| """A simple password generator. | |
| Uses a seed password and an identifier to generate a password. This allows it to | |
| generate unique passwords and recover them easily. | |
| """ | |
| import argparse |
NewerOlder