ZuriHac (http://www.zuriHac.info) is the biggest Haskell practitioners’ conference and hackathon in the world: a three-day grassroots coding festival organis...
ZuriHac 2022
ZuriHac (http://www.zuriHac.info) is the biggest Haskell practitioners’ conference and hackathon in the world: a three-day grassroots coding festival organis...
Himitsu
Himitsu is a secure secret storage system for Unix-like systems. It provides an arbitrary key/value store (where values may be secret) and a query language for manipulating the key store. Notice: Himitsu is a work in progress. Neither Himitsu nor its underlying cryptographic implementation have been independently audited. Getting started To get started, install the "himitsu" package on your Unix s
A Quick Look at QUIC Censorship
This blog post was originally published by the Open Technology Fund to disseminate Kathrin Elmenhorst’s QUIC-and-HTTP/3 censorship research as part of her ICFP fellowship with OONI. Last year, the new network protocol QUIC was introduced. QUIC is a general-purpose transport layer network with the goal of reducing latency compared to existing protocols. Since the introduction of QUIC, we have seen
Nicolas Behr: "Fundamentals of Compositional Rewriting Theory"
Topos Institute Colloquium, 9th of June 2022. ——— This presentation is based upon [1] (joint work with R. Harmer and J. Krivine). Categorical rewriting theory is a research field in both computer science and applied category theory, with a rich history spanning over 50 years of active developments, starting with the pioneering work of Ehrig in the 1970s. In this talk, I will present recent resul
Tai-Danae Bradley: "Entropy as an Operad Derivation"
Topos Institute Colloquium, 26th of May 2022. ——— This talk features a small connection between information theory, algebra, and topology—namely, a correspondence between Shannon entropy and derivations of the operad of topological simplices. We will begin with a brief review of operads and their representations with topological simplices and the real line as the main example. We then give a gener
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://twitter.com/m_ou_se/status/1538234055329718273
When serde_json::to_string() fails | Serhii Potapov (greyblake)
Getting started with Async Rust
GitHub - hedhyw/rex: Flexible regular expressions constructor for Golang.
Fast page maps for JIT
Renato Athaydes
Advancing the state of the art for <code>std::unordered_map</code> implementations