Kiwi

#!/bin/usr/env bash
# Originaly from: https://www.reddit.com/r/NixOS/comments/5yxt45/simple_nix_package_search/

nq () {
  local CACHE="$HOME/.cache/nq-cache"
  if ! ( [ -e $CACHE ] && [ $(stat -c %Y $CACHE) -gt $(( $(date +%s) - 3600*24*7 )) ] ); then
      # read gotcha.. can't pipe to read (as usual zsh beats bash)
      read x MEM_AVAIL_KB UNIT < <(grep MemAvailable: /proc/meminfo) 
      if [[ $UNIT != "kB" || $MEM_AVAIL_KB -lt 1000000 ]]; then
          # nix-env can easily use up to 1GB during -qa

ocharles

Magic

It’s folklore that if you’re summing a list of numbers, then you should always use strict foldl. Is that really true though? foldr is useful for lists when the function we use is lazy in its second argument. For (+) :: Int -> Int -> Int this is tyically not the case, but in some sense that’s because Int is “too strict”. An alternative representation of numbers is to represent them inductively. If we do this, sumation can be lazy, and foldr can do things that foldl simply can’t!

First, let’s define natural numbers inductively, and say how to add them:

data Nat = Zero | OnePlus Nat deriving Show

one :: Nat

duairc

{ lib ? null, ... }:

let

  net = {
    ip = {

      # add :: (ip | mac | integer) -> ip -> ip
      #
      # Examples:

emilypi

-- -------------------------------------------------------------------- --
-- Default Extensions

:set -XRankNTypes
:set -XGADTs
:set -XTypeFamilies
:set -XTypeApplications
:set -XBangPatterns
:set -XMagicHash
:set -XMultiParamTypeClasses

Nadrieril

# I used this shell.nix to build LineageOS 13.0 for my maguro (Samsung Galaxy Nexus GSM) phone
# The build instructions for normal Linuxes are here: https://wiki.lineageos.org/devices/maguro/build
# For NixOS, follow those instructions but skip anything related to installing packages
# Detailed instructions:
#   cd into an empty directory of your choice
#   copy this file there
#   in nix-shell:
#    $ repo init -u https://github.com/LineageOS/android.git -b cm-13.0
#    $ repo sync
#    $ source build/envsetup.sh

merijn

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
module HList where

import Prelude hiding (head, tail, zip)

lorennorman

module hexagon(radius)
{
  circle(r=radius,$fn=6);
}

module shell(radius)
{
  difference()
  {
    hexagon(radius*1.2); // base