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

tmcw

Hi Tom!

Here's what the Markdown for a book looks like on macwright.org:

---
categories:
  - book
layout: book
title: 'My Year of Rest and Relaxation'

kawasin73

"""
This file is based on https://github.com/foresmac/django-binaryuuidfield/tree/initial-setup
"""

import uuid

from django import forms
from django.core import exceptions
from django.db import models
from django.utils.translation import ugettext_lazy as _

arieltorti

#!/usr/bin/env python3
# -*- coding: utf-8 -*-
# @Author: Ariel Torti
# @GitHub: github.com/maks500
import argparse
import logging
import os
import shutil
import sys
import time

hydrosquall

Thoughts on habits + practices for giving/receiving feedback effectively, as well as creating systems that get better at this with time

Writeups

• Company Blogs
  • Plaid: https://blog.plaid.com/building-an-inclusive-code-review-culture/
  • Vox: https://product.voxmedia.com/2018/8/21/17549400/kindness-and-code-reviews-improving-the-way-we-give-feedback
• Sandya Sankarram
  • https://medium.com/@sandya.sankarram/unlearning-toxic-behaviors-in-a-code-review-culture-b7c295452a3c
• Michael Lynch

Cryptophobia

Releases

• router v2.15.1 -> v2.16.0
• slugbuilder v2.7.0 -> v2.7.1
• workflow v2.20.2 -> v2.21.0
• workflow-cli v2.20.2 -> v2.21.0
• workflow-e2e v2.20.2 -> v2.21.0

Features

keijiro

tricoder42

GraphQL Subscription with django-channels

Django channels are official way for implementing async messaging in Django.

The primary caveat when working with GraphQL subscription is that we can't serialize message before broadcasting it to Group of subscribers. Each subscriber might use different GraphQL query so we don't know how to serialize instance in advance.

See related issue

4383

#!/usr/bin/env python3
# -*- coding: utf-8 -*-

import asyncio


async def init_socket (loop):
    reader, writer = await asyncio.open_connection('127.0.0.1', 3000, loop=loop)
    return reader, writer

mendhak

Add the other user as a remote

#Using https
git remote add otheruser https://github.com/otheruser/yourrepo.git
# Or - Using SSH
git remote add otheruser [email protected]:otheruser/yourrepo.git

Fetch

git fetch otheruser