Skip to content

Instantly share code, notes, and snippets.

@pbouchet
pbouchet / gist:3183193
Created July 26, 2012 16:54
avr-dude EEPROM dump
avrdude -p m1280 -P COM3 -c avrisp -b 19200 -U eeprom:r:eeprom_dump.txt
@pbouchet
pbouchet / gist:2814262
Created May 27, 2012 13:45
Fixed-point combinators
-----------------------------------------------------------------
A = £xy.y(xxy)
T = AA
for any term F:
TF = AAF
= (£xy.y(xxy)) (£xy.y(xxy)) F
= (£y.y( (£xy.y(xxy)) (£xy.y(xxy)) y)) F
= F( (£xy.y(xxy)) (£xy.y(xxy)) F)
= F( A A F)
** Scheme **
(define makeaccount
(lambda (balance)
(lambda (amt)
(begin (set! balance (+ balance amt))
balance))))
<==>
@pbouchet
pbouchet / gist:1295307
Created October 18, 2011 12:31
avr-size
avr-size --mcu=$(MCU) --format=avr -C $(PROGRAM).elf