Posts
Verifiable AES: encryption using zero-knowledge proofs
Encryption is transforming messages into random-looking texts to ensure confidentiality between two parties. What is our objective here? We want to generate pr…
An introduction to Fully Homomorphic Encryption (FHE)
Fully homomorphic encryption (FHE) is a powerful cryptographic primitive which allows us parties to compute with encrypted data, without the need of decrypting …
Fully-homomorphic encryption, zero-knowledge proofs, and multiparty computation
ZKP can provide integrity of computations, FHE allows data sharing and calculation without compromising it and MPC gives the power to delegate expensive computa…
Secure computation in Rust: Using Intel's SGX instructions with Teaclave and Fortanix
TEEs can be thought of as processes that are running "isolated" from the OS and upper layers in a secure part of the CPU. The idea of this is to help to signifi…
Benchmarking and analyzing Rust code performance with Criterion and Iai
In this post, we'll talk about our experience doing benchmarks in Rust, what tools we used and why it was important for us.
Simulations are about to get way, way faster with JuliaSim
JuliaSim is a cloud-based simulation platform built on top of the Julia open source stack, including SciML and ModelingToolkit
BEAM all the things! ClojErl, an implementation of Clojure on the Erlang Virtual Machine
An interview with its creator, Juan Facorro.
We wrote a book! “Data Science in Julia for Hackers” beta is now live and free to read
Learn about data science and Julia while solving real-life problems
Modeling complexity with Symbolics.jl and ModelingToolkit.jl
An interview with Chris Rackauckas
LAM: an actor-model VM for WebAssembly and native
An interview with its creator, Leandro Ostera
Ballista, a distributed compute platform made with Rust and Apache Arrow
An interview with its creator, Andy Grove
Rebuilding the Racket Compiler with Chez Scheme
An interview on Racket CS with programmers Gustavo Massaccesi Matthew Flatt
Scientific Machine Learning with Julia: the SciML ecosystem
Interview with Chris Rackauckas
Stumpy: unleashing the power of the matrix profile for time series analysis
An interview with Stumpy creator Sean Law
Julia GPU
How the Julia language is making it easy for programmers to use GPU capabilities
SymJAX: symbolic CPU/GPU/TPU programming
A symbolic programming version of JAX