| from import_export.resources import * | |
| from import_export.admin import * | |
| from import_export.widgets import Widget | |
| class NullWidget(Widget): | |
| def render(self, value): | |
| if value == "": | |
| return None | |
| return value |
| import vrsent | |
| import subprocess | |
| import time | |
| import os | |
| import argparse | |
| def setup_server(): | |
| if os.path.isfile('verse.pid'): | |
| pidfile = open('verse.pid', 'r') | |
| pid = int(pidfile.read()) |
| import re,sys,tempfile | |
| import markdown2 | |
| def emphasis(matchobject): | |
| return("*{}*".format(matchobject.group(1))) | |
| regexes=[ | |
| #Close enough | |
| ('/(?!/)(?<!//)(.+?)/',emphasis) |
A general collection on my thoughts on operating system design. Almost definitly horribly organized. I'll probably sort these into a blog post eventually.
http://www.catb.org/esr/writings/taoup/html/ch20s03.html
I'd like to add an addendum. Binary file formats, or at least poorly documented binary file formats. The amount of time I've spent trying to get a lead on sketchups format...
Plan 9 is obviously nice.
| //cube([5,5,10]); | |
| //cylinder(r=0.6,h=20); | |
| holeWidth=1.6; | |
| toothWidth=holeWidth+0.3; | |
| pi=3.14159265359; | |
###Things to get through sometime maybe
So how does the browser actually render a website?
https://www.youtube.com/watch?v=SmE4OwHztCc
Super Resolution, very dangerous array
| {% macro keyValue(key,value) -%} | |
| {# generic case, if key doesn't match a particular renderer #} | |
| <div class="{{key}}"> | |
| {{ router(value) }} | |
| </div> | |
| {%- endmacro %} | |
| {% macro router(value)%} | |
| {% if value is mapping %} | |
| {% for key2,value2 in value.items() %} |
| from yaml import load, dump | |
| try: | |
| from yaml import CLoader as Loader, CDumper as Dumper | |
| except ImportError: | |
| from yaml import Loader, Dumper | |
| import yaml, tempfile, subprocess, sys | |
| def edit(data): | |
| fd, temp_path = tempfile.mkstemp(prefix='punctual.') |
| from json import loads | |
| import requests | |
| def jsonip(): | |
| return loads(requests.get('http://jsonip.com').text)['ip'] | |
| def ippl(): | |
| return requests.get('http://ip.42.pl/raw').text | |
| def httpbin(): | |
| return loads(requests.get('http://httpbin.org/ip').text)['origin'] |
| import uasyncio as asyncio | |
| import logging, traceback | |
| class Server: | |
| def __init__(self,dir="srv"): | |
| self.dir = dir | |
| self.routes={} | |
| self.textTypes=('css','js')#Html is preprocessed | |
| self.imageTypes=('png','gif','jpg','ico') |