Whoa:
Wowzers:
$$ \begin{matrix} 1 & x & x^2 \ 1 & y & y^2 \
Whoa:
Wowzers:
$$ \begin{matrix} 1 & x & x^2 \ 1 & y & y^2 \
class Foo: | |
bar: int | |
reveal_type(Foo().bar) # OK, builtins.int | |
reveal_type(Foo.bar) # mypy says builtins.int, | |
# but I expected this to be an error. | |
print(Foo.bar) # Passes type-checking and raises AttributeError at runtime. |
{ | |
"info": { | |
"_postman_id": "54b6a1a2-20c7-4fda-b496-8763b3135158", | |
"name": "Protocols", | |
"schema": "https://schema.getpostman.com/json/collection/v2.1.0/collection.json" | |
}, | |
"item": [ | |
{ | |
"name": "GET /protocols", | |
"request": { |
#include <iostream> | |
struct S | |
{ | |
int i; | |
int f(int j) // Multiply. | |
{ | |
return i*j; | |
} | |
}; |
I hereby claim:
To claim this, I am signing this object:
var theta = 0.0; | |
window.setInterval(function() { | |
theta += Math.PI/10; | |
if (theta >= Math.PI*4) theta = 0.0; | |
var event = {clientX: theta*100, clientY: (Math.sin(theta)+1.5)*100, button: 2}; | |
me.angle = Math.cos(theta)*180/Math.PI; | |
setRotate(me.flag, me.angle); | |
emit('scroll', {id: me.id, angle: me.angle}); | |
document.onmousemove(event); | |
document.onmousedown(event); |
// This is the non-minified code. | |
// See below for the bookmarklet. | |
(function() { | |
var PREFIX = 'http://webcache.googleusercontent.com/search?q=cache:'; | |
// Handle LMSD iBoss pages specially. | |
if (window.location.hostname == 'blocked.lmsd.org') { | |
var pairs = window.location.search.substring(1).split('&'); | |
pairs.forEach(function(pair) { // Look for the blocked URL in the query string. |
# Enable ls colors by default. | |
alias ls="ls -G" | |
# For convenience. Changes the current directory and immediately displays its contents. | |
cdls() { cd "$@" && ls; } | |
# Use Shared as the default working directory. | |
cd /Users/Shared | |
# For the hell of it. Print a randomly-colored Aperture Science logo on login. |
{ | |
"shell": true, | |
"cmd": ["javac $file && java $file_base_name"], | |
"file_regex": "^(...*?):([0-9]*):?([0-9]*)", | |
"selector": "source.java" | |
} |