Blog

2021-05-01 Verifiable sortition
2021-04-24 ZVS induction heater
2021-04-15 Building the cybernetic commune
2021-03-14 Certbot, hidden service fixed
2021-03-13 The five second plan
2021-03-04 Reducing emissions and saving lives
2021-02-24 Planning complexity for model economies
2021-02-08 Some example economic linear programs
2021-02-04 Cybernetics, politics and sparse linear algebra
2020-08-30 Marshall Stockwell teardown
2020-03-22 leftpad() proved in Frama-C
2019-11-11 Hacking in to an Archer MR200 router for fun and profit
2019-10-20 Fixing a corrupt sqlite3 database with vbindiff
2019-08-04 Lifan E3 teardown
2019-07-19 HTTPS problem fixed
2019-05-19 Demoscene category added
2019-03-17 Härdin.se - now also over HTTPS!
2019-01-06 Make sure your website works over Tor, dammit
2018-11-20 Trying out Frama-C
2018-08-25 Rooting and installing LineageOS on a Samsung Galaxy S5
2018-08-23 Some site changes
2018-07-25 libre.solar
2018-05-16 Solar mount version 6
2018-05-16 Accept-Language test
2018-05-15 SAQ follow-up: no luck!

Page 1 / 3 »