SSH for Fun and Profit edit / delete

Writing an SSH client from scratch.

to cryptography python ssh ... on 06 December 2016

nineties/py-videocore: Python library for GPGPU on Raspberry Pi edit / delete

VideoCore programming as an EDSL in Python. Neat!

to edsl gpu programming python raspberry-pi software videocore ... on 28 February 2016

lukasmartinelli/py14: Python to C++ 14 transpiler edit / delete

"C++14 has such powerful type deduction that it is possible to transpile Python into C++ without worrying about the missing type annotations in python. Only a small subset of Python is working"

to c++ compiler python translation type-inference types ... on 28 February 2016

Python to OCaml: retrospective - Thomas Leonard's blog edit / delete

"In 2013, I spent 6 months converting 0install’s 29,215 lines of Python to OCaml (learning OCaml along the way). In this post, I’ll describe the approach I took and how it went. There will be graphs."

to language-design ocaml porting python ... on 23 September 2015

A one week flipped learning environment to introduce Object Oriented Programming edit / delete

"This post describes a teaching activity that is run for the Cardiff MSc. programmes. The activity is revolves around a two day hackathon that gets students to use Python and object oriented programming to solve a challenge. The activity is placed within a flipped learning environment and makes use of what I feel is a very nice form of assessment (we just get to know the students)."

to assessment flipped oo python teaching ... on 28 March 2015

Security/Projects/Bandit - OpenStack edit / delete

A security scanner for Python code.

to python security static-analysis ... on 23 March 2015

PEP 483 - The Theory of Type Hints | Python.org edit / delete

A type-theoretic approach to Python -- good to see!

to language-design programming python type-theory types ... on 22 March 2015

Nim Programming Language edit / delete

It's like Python but with a "parallel:" construct and a usage checker. Sounds familiar to anyone? :)

to concurrency language-design nim occam python ... on 22 March 2015

Software Carpentry edit / delete

Programming for scientists. Their Python tutorials are interesting, although (for my purposes) I prefer the older, more general ones.

to programming python science teaching ... on 05 March 2015

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to python

- python
 
1 + 3d
1 + 6502
1 + adventure
1 + ag0700
1 + ag0803
1 + ai
1 + algorithms
2 + amusements
1 + analysis
1 + api
1 + apple2
1 + archive.org
1 + array
1 + assessment
1 + barcode
1 + binding
1 + broadcast
1 + buffer
1 + build
1 + c
7 + c++
1 + ca
1 + cache
1 + cas
1 + collision-detection
20 + compiler
1 + compression
16 + concurrency
1 + correctness
2 + cosmos
2 + crypto
2 + cryptography
1 + cs
2 + csp
1 + curses
1 + cute-code
3 + data
1 + data-structures
2 + database
2 + debugging
1 + design
1 + django
1 + download
2 + dynamic
1 + editor
1 + edsl
1 + emulation
1 + engineering
1 + erlang
1 + family-tree
1 + flipped
1 + folding
1 + formal-methods
1 + fortran
2 + fpga
1 + functional
6 + games
1 + gcc
1 + gedcom
4 + gpu
2 + graph
1 + graphics
1 + greenlets
2 + gui
1 + hash
1 + html
1 + icons
1 + if
1 + indentation
1 + infix
1 + interpreter
1 + iteration
1 + iterator
1 + java
2 + javascript
1 + jit
3 + language
9 + language-design
2 + library
1 + lightweight-concurrency
3 + lisp
2 + llvm
1 + lxml
1 + make
7 + maths
1 + matplotlib
1 + maya
1 + memory
1 + minecraft
1 + mirror
1 + mirroring
1 + misccode
1 + multilingual
1 + multimeter
2 + music
1 + nacl
1 + networking
1 + nim
4 + numeric
2 + numpy
1 + objective-c
1 + ocaml
1 + occam
1 + oo
3 + open-science
1 + opencl
1 + opengl
1 + optimisation
6 + parsing
2 + patterns
1 + performance
2 + perl
2 + plotting
1 + porting
20 + programming
1 + raspberry-pi
2 + rawdog
33 + research
1 + retrocomputing
1 + roguelike
1 + scheme
6 + science
1 + scientific
1 + scipy
1 + scotch
1 + search
2 + security
1 + shader
1 + shell
3 + simulation
1 + sinclair
1 + smalltalk
60 + software
1 + software-engineering
1 + sorting
1 + spectrum
1 + ssh
1 + static-analysis
6 + statistics
1 + swig
3 + syntax
7 + teaching
2 + templating
1 + test-equipment
1 + tex
4 + text
1 + time
2 + to-package
1 + translation
1 + tutorial
1 + type-inference
1 + type-systems
1 + type-theory
2 + types
2 + typography
1 + unix
1 + us-lot
1 + verification
1 + video
1 + videocore
1 + vietnam
1 + visualisation
2 + vm
6 + web
1 + wget
1 + wiki
1 + wm
1 + x
1 + xml
1 + z80