Racket: Domain-Specific Mini-Languages

Written by Dominik Joe Pantůček on 9 ledna, 2020.

In one of our projects, we needed to write an HTTP application server in Racket. In this application server we needed to route HTTP requests to various methods of various modules. Read on how we slightly modified a simple syntax helper to ease this task for us.

■ ■ ■

Racket: contract-based programming

Written by Dominik Joe Pantůček on 2 ledna, 2020.

Developing a cryptographic solution means that the algorithm correctness is not an option. Not just for the hardware, firmware and application software, but also for manufacturing support software. Read on to see how we address this need.

■ ■ ■

Auto-detecting opaque struct size in Racket FFI

Written by Dominik Joe Pantůček on 26 prosince, 2019.

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 19 prosince, 2019.

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 21 listopadu, 2019.

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!

■ ■ ■