Tag: racket

Auto-detecting opaque struct size in Racket FFI

Written by Dominik Joe Pantůček on 2019-12-26

Sometimes you are using a high-level language and you need to access low-level features of some library. And sometimes you do not have all the information required. But luckily, there are ways to overcome such lack of information. Read on to find out how we do that in Racket.

...

RacketFest 2020 Announcement

Written by Dominik Joe Pantůček on 2019-12-19

As people say, Trustica is a strange company. Studying and applying cryptography, securing and penetrating informational networks and it's got Racket everywhere. No surprise we are sending our delegate to a Racket event in Berlin next February!

...

Racket 7.5 Released

Written by Dominik Joe Pantůček on 2019-11-21

As we work on bringing Cryptoucan™ to the market, we use Racket for most of our back-end infrastructure programming. And as we are using it, it is nice we can contribute back. Read on to find about the additions to the latest Racket release!

...

Parallel merge-sort leveraging futures in Racket

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

Computers can perform more and more operations per second but that does not make them much faster without any further effort. In the past, the clock speed was the best measure of processor's performance. With multi-core and multi-processor systems, this is no longer true and the programmers need to pay attention how to access computers' performance. Read on to find out how in Racket - a modern Scheme dialect - it is quite easy to leverage parallel processing to speed sorting up.

...

Embedding Application Data in Racket Programs

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

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.

...