Yvan Sraka yvan-sraka

This document contains some ideas for additions to the Nix language.

Motivation

The Nix package manager, Nixpkgs and NixOS currently have several problems:

Poor discoverability of package options. Package functions have function arguments like enableFoo, but there is no way for the Nix UI to discover them, let alone to provide programmatic ways to

PC Gamer

If you arrived here from a PC Gamer article, I suggest you check the Python source code and one of these rankings:

original ranking, featured on PC Gamer, based on data downloaded prior to the Steam summer sales.
updated ranking, using data from June 30, a week after the Steam summer sales have started.

Bug fix regarding ranking based on playtime

Initially, I presented on this Gist page a ranking using playtime as popularity measure. However, as I have kept working on the code, I have found out this ranking likely suffered from a bug. The bug, which is now fixed, resulted in a ranking very similar to the ranking using players total as popularity measure. Thankfully, the ranking featured in the PC Gamer article is bug-free sinc

Achieving warp speed with Rust

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

#!/usr/bin/env bash

# Assuming OS X Yosemite 10.10.4

# Install XCode and command line tools
# See https://itunes.apple.com/us/app/xcode/id497799835?mt=12#
# See https://developer.apple.com/library/mac/documentation/Darwin/Reference/ManPages/man1/xcode-select.1.html
xcode-select --install

	-- Code for the following blog post:
	-- https://kodimensional.dev/cps

	{-# LANGUAGE LambdaCase #-}

	module CPS where

	data AppError
	= UserSessionIsInvalid
	\| DbError InternalDbError

	# Input data
	list_0 = [1, 3, 6, 7, 8, 9, 10, 2, 3, 4]
	list_1 = [12, 56, 3, 78, 34, 56, 2, 10]
	list_2 = [123, 567, 234, 890]
	list_3 = [5, 7, 8, 9, 3, -2, -4, -2, 5, 6, 8, 11, 2]

	# Iterative algorithm
	def maximum(L):
	biggest_item = L[0]
	for item in L:

	#!/usr/bin/env python

	from pocket import Pocket
	import webbrowser, sys

	# Get consumer key from cmd line
	consumer_key = sys.argv[1]

	request_token = Pocket.get_request_token(
	consumer_key=consumer_key,

	import sys

	"""
	A simple and powerful `Brainfuck` interpreter implementation in Python

	Steal from: http://blog.csdn.net/redraiment/article/details/7483062
	"""

	def _gen_array(length):
	return [0 for i in range(0, length)]