Debjeet Biswas detj

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

A curated list of command-line utilities written in Rust

Note: I have moved this list to a proper repository. I'll leave this gist up, but it won't be updated. To submit an idea, open a PR on the repo.

Note that I have not tried all of these personally, and cannot and do not vouch for all of the tools listed here. In most cases, the descriptions here are copied directly from their code repos. Some may have been abandoned. Investigate before installing/using.

The ones I use regularly include: bat, dust, fd, fend, hyperfine, miniserve, ripgrep, just, cargo-audit and cargo-wipe.

atuin: "Magical shell history"
bandwhich: Terminal bandwidth utilization tool

I was remodelling the whole worker consumer situation in the notification service. It's a thought experiment, based on what I have learned, and am still struggling to.

But this seems definitely a better way to reason about it. The code is attached below. A generic representation

There are three files in this pattern:

_producer.go
_producer_consumer.go
_consumer.go

	// inifinite scrolling of content without extra wrappers
	const { render, findDOMNode } = ReactDOMFiber

	class App extends React.Component {
	render() {
	// wrap the root element with an Intersection Observer, exposing .observe for children
	return <Intersection>
	<div style={{ height: 200, overflow: 'auto' }}>
	<Page offset={0} count={10} />
	</div>

	#!/bin/bash

	if [[ "$1" != "" ]]; then
	S3BUCKETNAME="$1"
	else
	echo ERROR: Failed to supply S3 bucket name
	exit 1
	fi

	aws s3 sync build s3://$S3BUCKETNAME --delete --cache-control max-age=31536000,public

	SELECT table,
	formatReadableSize(sum(bytes)) as size,
	min(min_date) as min_date,
	max(max_date) as max_date
	FROM system.parts
	WHERE active
	GROUP BY table