Skip to content

Instantly share code, notes, and snippets.

The American Negro has the great advantage of having never believed that collection of myths to which white Americans cling: that their ancestors were all freedom-loving heroes, that they were born in the greatest country the world has ever seen, or that Americans are invincible in battle and wise in peace, that Americans have always dealt honorably with Mexicans and Indians and all other neighbors or inferiors, that American men are the world's most direct and virile, that American women are pure. Negroes know far more about white Americans than that; it can almost be said, in fact, that they know about white Americans what parents -- or, anyway, mothers -- know about their children, and that they very often regard white Americans that way. And perhaps this attitude, held in spite of what they know and have endured, helps to explain why Negroes, on the whole, and until lately, have allowed themselves to feel so little hatred. The tendency has really been, insofar as this was possible, to dismiss white people

@andrejbauer
andrejbauer / topology.v
Last active November 28, 2023 19:40
How to get started with point-set topology in Coq. This is not actually how one would do it, but it is an intuitive setup for a classical mathematician.
(* How do to topology in Coq if you are secretly an HOL fan.
We will not use type classes or canonical structures because they
count as "advanced" technology. But we will use notations.
*)
(* We think of subsets as propositional functions.
Thus, if [A] is a type [x : A] and [U] is a subset of [A],
[U x] means "[x] is an element of [U]".
*)
Definition P (A : Type) := A -> Prop.
@manuhabitela
manuhabitela / create-drawing.php
Last active September 23, 2025 09:51
DrawingBoard: let people draw and save their images server-side https://github.com/Leimi/drawingboard.js
<?php
//server-side code where we save the given drawing in a PNG file
$img = filter_input(INPUT_POST, 'image', FILTER_SANITIZE_URL);
$name = filter_input(INPUT_POST, 'name', FILTER_SANITIZE_STRING);
//see http://j-query.blogspot.fr/2011/02/save-base64-encoded-canvas-image-to-png.html
$img = str_replace(' ', '+', str_replace('data:image/png;base64,', '', $img));
$data = base64_decode($img);
@bitemyapp
bitemyapp / gist:8739525
Last active May 7, 2021 23:22
Learning Haskell
@ftrain
ftrain / rhymes.clj
Last active July 14, 2023 22:20
Annotated rhyming dictionary
;; This is at: https://gist.github.com/8655399
;; So we want a rhyming dictionary in Clojure. Jack Rusher put up
;; this code here:
;;
;; https://gist.github.com/jackrusher/8640437
;;
;; I'm going to study this code and learn as I go.
;;
;; First I put it in a namespace.
$ alias such=git
$ alias very=git
$ alias wow='git status'
$ wow
$ such commit
$ very push
@jvns
jvns / interview-questions.md
Last active September 8, 2025 06:02
A list of questions you could ask while interviewing

A lot of these are outright stolen from Edward O'Campo-Gooding's list of questions. I really like his list.

I'm having some trouble paring this down to a manageable list of questions -- I realistically want to know all of these things before starting to work at a company, but it's a lot to ask all at once. My current game plan is to pick 6 before an interview and ask those.

I'd love comments and suggestions about any of these.

I've found questions like "do you have smart people? Can I learn a lot at your company?" to be basically totally useless -- everybody will say "yeah, definitely!" and it's hard to learn anything from them. So I'm trying to make all of these questions pretty concrete -- if a team doesn't have an issue tracker, they don't have an issue tracker.

I'm also mostly not asking about principles, but the way things are -- not "do you think code review is important?", but "Does all code get reviewed?".

@jvns
jvns / blogs.md
Last active April 16, 2020 09:34
Tech blogs I subscribe to

This is my default career advice for people starting out in geo/GIS, especially remote sensing, adapted from a response to a letter in 2013.

I'm currently about to start a Geography degree at the University of [Redacted] at [Redacted] with a focus in GIS, and I've been finding that I have an interest in working with imagery. Obviously I should take Remote Sensing and other similar classes, but I'm the type of person who likes to self learn as well. So my question is this: What recommendations would you give to a student who is interested in working with imagery? Are there any self study paths that you could recommend?

I learned on my own and on the job, and there are a lot of important topics in GIS that I don’t know anything about, so I can’t give comprehensive advice. I haven’t arrived anywhere; I’m just ten minutes ahead in the convoy we’re both in. Take these recommendations critically.

Find interesting people. You’ll learn a lot more from a great professor (or mentor, or friend, or conference) o

@catseye
catseye / The Swallows of Summer.markdown
Created November 3, 2013 19:08
The first four chapters of my second novel for NaNoGenMo. It is a sequel to the first novel. It's three years later, and Alice and Bob live in a much bigger house now, and own more things.

The Swallows of Summer

Chapter 1.

The day was overcast and humid. Alice was in the dining room. Alice saw the golden falcon. Bob was in Bob's bedroom. Alice picked up the golden falcon. Bob went to the upstairs hall. Alice hid the golden falcon in the cabinet. Alice went to the kitchen. Bob went to the front hall. Alice examined the cupboards carefully. Alice went to the front hall. Alice saw Bob. 'Hello, Bob,' said Alice. 'Hello, Alice,' replied Bob. Alice went to the kitchen. Bob went to the kitchen. Bob saw Alice. 'Hello, Alice,' said Bob. 'Hello, Bob,' replied Alice. 'Lovely weather we're having, isn't it?' asked Alice. 'Perhaps, Alice,' replied Bob.

'Oh, I know, I know,' said Alice. Bob nodded. Alice went to the front hall. It was so nice being in the front hall again! Bob examined the cupboards carefully. Bob went to the dining room. Alice went to the living room. Bob went to the kitchen. Alice went to the front hall. Bob went to the d