Tag: racket

RacketFest 2020 - Next Thursday

Written by Dominik Joe Pantůček on 2020-02-20

Although there is so much going on with Cryptoucan™ right now, it is not the only thing happening. A new semester has started, new students have arrived and time has come to invite you to the next conference where we can meet!

...

Racket: Direct TTY Control

Written by Dominik Joe Pantůček on 2020-02-13

The Racket environment can keep surprising you even after very long time. Many people are complaining that it lacks a standard library for Unix terminal (TTY) control. But it turns out, it is perfectly possible to control the TTY without any further libraries. Read on to find out how.

...

Racket: Scriblling In-Source Documentation

Written by Dominik Joe Pantůček on 2020-01-16

Modern systems have become increasingly complex since the beginning of the computing revolution. As these systems are programmed by humans, it is really easy to create systems with erroneous behavior. A well-documented code lowers the risks of introducing bugs in the programs - which should be something to always aim to. Read on to see how we here at Trustica approach this problem.

...

Racket: Domain-Specific Mini-Languages

Written by Dominik Joe Pantůček on 2020-01-09

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 2020-01-02

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.

...