Discover gists

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

Every Mention of Gazebo in the ROS Weekly Update

Docker Hub 镜像加速器

国内从 Docker Hub 拉取镜像有时会遇到困难，此时可以配置镜像加速器。Docker 官方和国内很多云服务商都提供了国内加速器服务。

Dockerized 实践 https://github.com/y0ngb1n/dockerized

配置加速地址

Ubuntu 16.04+、Debian 8+、CentOS 7+

	#!/bin/sh

	# This is a pre-commit hook for python. It checks if black is passed and then if flake8 is passed.
	# Feel free to share your updates. It will help use these git feature!


	if black . --check; then
	echo "Everything is all right in black"
	else
	echo ""

	import { createGlobalStyle, css } from 'styled-components'

	const GlobalStyle = createGlobalStyle`
	html {
	/* Maps all colors from the `theme` to CSS variables: */
	${({ theme }) => Object.entries(theme.colors).map(([name, value]) => css`
	--${camelCaseToKebabCase(name)}: ${value};
	`)}
	}
	`

	// SPDX-License-Identifier: UNLICENSED
	pragma solidity ^0.8.15;

	import "forge-std/Script.sol";

	// L1
	import { L1CrossDomainMessenger } from "../L1/L1CrossDomainMessenger.sol";
	import { L1ERC721Bridge } from "../L1/L1ERC721Bridge.sol";
	import { L1StandardBridge } from "../L1/L1StandardBridge.sol";
	import { L2OutputOracle } from "../L1/L2OutputOracle.sol";

	# Default config for sway
	#
	# Copy this to ~/.config/sway/config and edit it to your liking.
	#
	# Read `man 5 sway` for a complete reference.
	exec wal -R

	#notifications
	exec mako
	exec mailnag

	console.log("[*] SSL Pinning Bypasses");
	console.log(`[*] Your frida version: ${Frida.version}`);
	console.log(`[*] Your script runtime: ${Script.runtime}`);

	/**
	* by incogbyte
	* Common functions
	* thx apkunpacker, NVISOsecurity, TheDauntless
	* Remember that sslpinning can be custom, and sometimes u need to reversing using ghidra,IDA or something like that.
	* !!! THIS SCRIPT IS NOT A SILVER BULLET !!

	<!DOCTYPE html>

	<head>
	<title>$title</title>
	<meta property="og:site_name" content="$site_name">
	<meta property="og:description" content="$description">
	<meta property="article:author" content="$author">
	<!-- $image_url / link preview image is set using og:image property -->
	<!-- <meta property="og:image" content="http://example.com/img.jpeg"> -->
	<meta property="telegram:channel" content="@cor_bee">

	# Use systemd for managing NVIDIA driver suspend in drivers ====>>> PRIOR to version 470 <<<=====
	# https://download.nvidia.com/XFree86/Linux-x86_64/450.66/README/powermanagement.html
	# https://forums.developer.nvidia.com/t/unable-to-set-nvidia-kernel-module-parameters/161306
	# Please note: In Fedora Linux you may need to just install the xorg-x11-drv-nvidia-power pakage
	# as sugested by @goombah88 in the comments below.

	TMP_PATH=/var/tmp
	TMPL_PATH=/usr/share/doc/nvidia-driver-460/

	echo "options nvidia NVreg_PreserveVideoMemoryAllocations=1 NVreg_TemporaryFilePath=${TMP_PATH}" \| sudo tee /etc/modprobe.d/nvidia-power-management.conf