Tag: racket

Embedding Application Data in Racket Programs

Written by Dominik Joe Pantůček on 2019-07-25

racket

As we have started Cryptoucan™ mass-production, we found out we need more and more supporting software. Little - or slightly larger - programs for testing the device during various stages of manufacturing, software for managing the logistics data, programs for engraving or something more ordinary like tools for flashing the firmware. All these programs typically require some data which is not included in the code and we wanted to embed this data in the compiled binaries. Read on to learn more about our neat solution in our favorite programming language.

...

Working with Clojure and Racket

Written by Dominik Joe Pantůček on 2019-04-04

clojureracketteaching

As you might have noticed, we are working with rather interesting technologies here at Trustica. Developing and manufacturing cryptographic USB device brought us to play with various hardware pieces and gave us a chance to work with interesting software development platforms, languages, operating systems and libraries.

...

Simple CV in Racket

Written by Dominik Joe Pantůček on 2019-02-28

racket

After a few weeks with OpenCV, we had to admit, that there are certain drawbacks to its usage for our purpose. Different default versions on different platforms, troubles with memory leaks and the need to convert between incompatible image formats. Read on to see what solution we used for addressing these issues.

...

Styling UI in Racket

Written by Dominik Joe Pantůček on 2019-01-31

racket

It has been quite some time since we have discussed some interesting programming stuff we are doing here at Trustica. And - as you may have guessed - we have encountered quite a few things that needed to be done and apparently no-one has done them before. Read on to see how you can style UI elements in Racket.

...

Writing C extensions for Racket

Written by Dominik Joe Pantůček on 2016-05-26

racket

As our latest project has progressed we encountered a strange obstacle: there is no portable way to determine file inode number in Racket. That would not be much of a problem, but as we tried to dynamically link stat-like functions from libc using ffi, we found that each platform and glibc version has different ABI - including the sizes of various stat structure fields. So we dived into writing extensions in the C programming language.

...