This file contains 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
{ lib }: | |
with lib; rec { | |
pow = | |
let | |
pow' = base: exponent: value: | |
# FIXME: It will silently overflow on values > 2**62 :( | |
# The value will become negative or zero in this case | |
if exponent == 0 | |
then 1 | |
else if exponent <= 1 |
This file contains 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
latest-nixos-minimal-x86_64-linux.iso: | |
wget https://channels.nixos.org/nixos-20.03/latest-nixos-minimal-x86_64-linux.iso | |
curl -Ls https://channels.nixos.org/nixos-20.03/latest-nixos-minimal-x86_64-linux.iso.sha256 \ | |
| grep -F .iso | head -n1 \ | |
| sed 's|nixos-minimal-.\+|latest-nixos-minimal-x86_64-linux.iso|' \ | |
| sha256sum -c - | |
root.img: | |
qemu-img create root.img 10G |
This file contains 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
±²³SolveSpaceREVa | |
Group.h.v=00000001 | |
Group.type=5000 | |
Group.name=#references | |
Group.color=ff000000 | |
Group.skipFirst=0 | |
Group.predef.swapUV=0 | |
Group.predef.negateU=0 |
This file contains 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
(defun use-ansi-process-filter (process) | |
(set-process-filter | |
process | |
(lambda (process string) | |
(internal-default-process-filter process string) | |
(with-current-buffer (process-buffer process) | |
(save-excursion | |
(goto-char (point-max)) | |
(let ((previous-point-max (point-max))) | |
(insert string) |
This file contains 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
(defgroup ulisp-mode nil | |
"Settings for ulisp-mode Lisp source buffers." | |
:prefix "ulisp-" | |
:group 'ulisp) | |
(defcustom ulisp-port "/dev/ttyUSB0" | |
"uLisp serial port" | |
:type 'string | |
:group 'ulisp-mode) | |
(defcustom ulisp-port-speed 115200 | |
"uLisp serial port speed bps" |
This file contains 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
{ pkgs ? import <nixpkgs> {}, ... }: let | |
inherit (pkgs) | |
stdenv | |
fetchgit | |
; | |
tag = "2.10.1"; | |
commit = "482d91c66"; | |
# git describe --long ${version} | |
version = "${tag}-0-g${commit}"; |
This file contains 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
{ pkgs ? import <nixpkgs> {}, ... }: pkgs.libsForQt5.callPackage ({ pkgs ? import <nixpkgs> {} | |
, lib | |
, stdenv | |
, fetchFromGitHub | |
, fetchpatch | |
, cmake | |
, ninja | |
, netcdf | |
, coin3d | |
, eigen |
This file contains 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
{ pkgs ? import <nixpkgs> {} }: | |
pkgs.buildGoModule { | |
name = "agola"; | |
src = pkgs.fetchFromGitHub { | |
owner = "agola-io"; | |
repo = "agola"; | |
rev = "v0.7.0"; | |
sha256 = "sha256-AiD7mVogWk/TOYy7Ed1aT31h1kbrRwseue5qc3wLOCI="; | |
}; | |
doCheck = false; |
This file contains 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
{ lua, luaPackages, fetchurl, fetchgit }: | |
luaPackages.buildLuarocksPackage rec { | |
pname = "luastatic"; | |
version = "0.0.12"; | |
knownRockspec = (fetchurl { | |
url = "https://luarocks.org/manifests/ers35/luastatic-${version}-1.rockspec"; | |
sha256 = "sha256-jNxq4gyO+7kN7+Vpvq1iGFrIQ15x+HAkcqa3VqIhUVU="; | |
}).outPath; | |
src = fetchgit { | |
url = "https://github.com/ers35/luastatic"; |
This file contains 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
(function(Backbone, _) { | |
var leave; | |
_.extend(Backbone.Router.prototype, Backbone.Events, { | |
route : function(route, name, callback) { | |
var before | |
, fn = callback | |
, after; | |
Backbone.history || (Backbone.history = new Backbone.History); |
NewerOlder