Daniel Bosk's Projects
Learning module on literate programming
Some wrappers around `lpass`, the LastPass command-line client
A distributed protocol for planning lunch with fellow colleagues
A utility to schedule time for processing longer tasks in emails
A small utility to parse email datasets and output statistics.
Generic makefiles for handling course material, research publications and program compilation
[In Swedish] A Formalization of the Mathematics in Swedish Upper Secondary Education
This is a repo with desired configuration, i.e. software installs, for the computer labs
LaTeX document classes and packages for MIUN
An implementation of multiple precision integer arithmetic
Script to support answering ical invitations from mutt
Material related to Ference Marton's "Necessary Conditions of Learning"
The noweb tool for literate programming
A simple filter for pretty printing noweb code chunks using the minted LaTeX package
Improved NOWEB use with Vim
Handle TA bookings for lab sessions, tutorials etc.
Course on Fundamentals of Operating Systems
Towards Perfectly Secure and Deniable Communication Using an NFC-Based Key-Exchange Scheme
A discussion on OTR and deniability
Fetch an academic paper or web article and send it to the reMarkable tablet with a single command
Study of the quality of peer grading
Pinapple is an easy and safe Android app that remembers pin codes for you.
An analysis of the security of the Pinapple app
Instructions for a lab on private communication
Material för programsammanhållande kurs
Applying Privacy-Enhancing Technologies: One Alternative Future of Protesting
Grundläggande lösenordsanalys
Page-reference simulator for teaching page-replacement algorithms
Syncing files to and from the reMarkable