onlurking

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct

StevenACoffman

Information in this Gist originally from this github issue, which is outdated.

As @RomanMinkin mentioned, you can also consider Casbin (https://github.com/casbin/casbin). It is the most starred authorization library in Golang. There are several differences between Casbin and OPA.

Feature	Casbin	OPA
Library or service?	Library/Service	Library/Service
How to write policy?	Two parts: model and policy. Model is general authorization logic. Policy is concrete policy rule.	A single part: Rego
RBAC hierarchy	Casbin supports role hierarchy (a role can have a sub-role)	Role hierarchies can be encoded in data. Also with the new graph.reachable() built-in function queries over those hierarchies are much more feasible now.
RBAC separation of duties	Not supported	Supported: two roles cannot be assigned together

kitze

import produce from 'immer';
import {createStore} from 'redux';

const handleActions = (actionsMap, defaultState) => (
  state = defaultState,
  {type, payload}
) =>
  produce(state, draft => {
    const action = actionsMap[type];
    action && action(draft, payload);

crisbal

DROP DATABASE IF EXISTS 📚;

CREATE DATABASE 📚;

USE 📚;

CREATE TABLE 👤(
	🔑 INTEGER PRIMARY KEY, 
	🗣 varchar(64), -- name
	🗓 DATE -- date of registration

ayende

using System;
using System.Globalization;
using System.Text;

namespace HibernatingRhinos.Encoding
{
    public class EmojiEncoder
    {
        public static byte[] Decode(string text)
        {

kanaka

(module
  (func $addTwo (param i32 i32) (result i32)
    (i32.add
      (get_local 0)
      (get_local 1)))
  (export "addTwo" (func $addTwo)))

tzmartin

1. Copy m3u8 link

2. Run command

echo "Enter m3u8 link:";read link;echo "Enter output filename:";read filename;ffmpeg -i "$link" -bsf:a aac_adtstoasc -vcodec copy -c copy -crf 50 $filename.mp4

Sebastian1011

ffmpeg功能极其强大，堪比图像处理的ImageMagik。下面是一些常用的命令，记下备用。
1：得到视频信息
    ffmpeg -i input.xxx
2: 将图像序列转换为视频
    ffmpeg  -f image2 -i prefix%d.jpg output.xxx
3:将视频转换为图像序列
    ffmpeg -i input.xxx -r FPS -qscale 1 -vsync 0 $prefix%d.jpg
    其中FPS为每秒抽多少帧
4:将视频转换为yuv格式
    ffmpeg -i input.avi ouput.yuv

helfer

# Autogenerated input type of AddComment
input AddCommentInput {
  # A unique identifier for the client performing the mutation.
  clientMutationId: String

  # The Node ID of the subject to modify.
  subjectId: ID!

  # The contents of the comment.
  body: String!

subhaze

%YAML 1.2
---
# See http://www.sublimetext.com/docs/3/syntax.html
name: JavaScript NG
file_extensions:
  - js
  - ng.js
scope: source.js.ng
contexts:
  main: