efcasado

Erlang QuickCheck

What is QuickCheck?

QuickCheck is a language for stating properties of programs.

?FORALL(X, nat(), X*X >= 0)

darconeous

Enabling SSH on Engenius EAP600 (and maybe other models)

This tutorial will walk you through the steps needed to get root SSH access on an Engenius EAP600 dual-band WiFi access point. SSH doesn't come enabled out of the box on these things, so if you want to SSH into the device (which is running an old version of OpenWRT), keep reading.

baweaver

Ruby Book List

Learning Ruby

You're taking your first steps into Ruby

The Well Grounded Rubyist

A good introduction to programming in general. Easy on newer programmers.

reborg

Rich Already Answered That!

A list of commonly asked questions, design decisions, reasons why Clojure is the way it is as they were answered directly by Rich (even when from many years ago, those answers are pretty much valid today!). Feel free to point friends and colleagues here next time they ask (again). Answers are pasted verbatim (I've made small adjustments for readibility, but never changed a sentence) from mailing lists, articles, chats.

How to use:

• The link in the table of content jumps at the copy of the answer on this page.
• The link on the answer itself points back at the original post.

Table of Content

PatrickLang

Using a Mikrotik router to boot and install Windows

Lately I've been using Mikrotik routers because they're cheap, powerful, and fast. Most of them have either a USB or MicroSD slot, so you can add enough space to store network boot images right on the router.

I got most of the tips needed from these two articles, and combined them into this step by step guide:

• PXE boot to Fedora Linux using a Mikrotik firewall
• Configure a PXE server to load Windows PE

Keenuts

GSOC 2017 | Virgl Windows Driver

Project links

The project is split into several parts:

• The kernel driver, with simple 3D command forwarding and 3D resource allocation
• The userland driver, in fact the OpenGL backend
• The reference, explaining virtio-gpu commands

https://github.com/Keenuts/virtio-gpu-win-icd \

glebec

Lambda Calculus Q&A

These are my responses to some of the questions asked at the end of my Lambda Calculus talk, held on 2019-10-15 at Smartly.io's DevTalks in Helsinki. I've grouped similar questions together.

Books and Resources

• What's the one encompassing book you would recommend to read on this very interesting topic?
• Can you recommend a book (or books) that cover some of the history you shared in more detail?
• So what IS the book to read to get into understanding all of this?

svetlyak40wt

;; Run (ql:quickload :cl-yaml) before loading this script

(defpackage #:travis-badges
  (:use #:cl)
  (:import-from #:cl-yaml)
  (:export
   #:make-badges))
(in-package travis-badges)

Mishkun

# This file is written in HOCON (Human-Optimized Config Object Notation) format.
# For more information about HOCON see
# https://github.com/lightbend/config/blob/master/HOCON.md

bindings {
  b {
    description: Buffer/Tabs Navigation...
    bindings {
      b {actionId: RecentFiles, description: Recent Files}
      B {actionId: RecentChangedFiles, description: Recent Changed Files}

typeswitch-dev

#include <stdio.h>
#include <string.h>
#include <assert.h>
FILE *in; long M[1<<24]={0}, *D, *R, H=0x130000, IP=0, T;
long getu() { long t, h =  getc(in);         if (h < 0xC0) return h;
    t = ((h&0x1F) << 6) | (getc(in) & 0x3F); if (h < 0xE0) return t;
    t = ( t       << 6) | (getc(in) & 0x3F); if (h < 0xF0) return t;
    t = ( t       << 6) | (getc(in) & 0x3F); return t & 0x1FFFFF; }
void putu(long c) { if (c < 0x80) { putchar(c); return; }
    if (c < 0x7FF) { putchar(0xC0|(c>>6)); } else {