zeroed boosted

Sequoia 1.3 is released 🥳

»Sequoia PGP is the most advanced OpenPGP implementation available today.«
- Phil Zimmermann, Creator of PGP

#pgp #openpgp #gnupg #gpg #rust #security #privacy #email #encryption

sequoia-pgp.org/blog/2021/06/0

Correctly implementing distributed algorithms such as the and Raft consensus protocols is notoriously difficult due to inherent nondetermism such as message reordering by network devices. Stateright is a actor library that aims to solve this problem by providing an embedded , a UI for exploring system behavior (demo), and a lightweight actor runtime.

github.com/stateright/staterig

the book, "Building Distributed Systems With Stateright."
stateright.rs/

Untapped potential in Rust's type system
Written on 28/05/2021 by Jakob Meier

(...) types can be used for other than checking code properties (...)
talk about runtime type evaluation (...) an interesting mix between dynamic typing with compile-time checked types.

jakobmeier.ch/blogging/Untappe

zeroed boosted

Schrödinger's Code - Undefined behavior in theory and practice
by Terence Kelly

queue.acm.org/detail.cfm?id=34

Undefined behavior ranks among the most baffling and perilous aspects of popular programming languages. (...) This article surveys the most prominent pitfalls, presents examples from production software, and suggests practical ways to prevent and detect such bugs in serial code.

zeroed boosted

Some big news to round off the trifecta of our IRC gateways: our matrix bridge is now available! You can connect to foo:libera.chat where #foo is the channel.

A big thanks to @matrix for their support - we know a lot of our communities view Matrix access as a big deal!

Tightness Driven Development in

The tightness of a type is the proportion of invariants that are upheld in the type definition as opposed to its methods.

(...) tightness has nothing to do with compile time decisions (...) is more about defining responsibilities.

the benefits of perfect tightness:
- Pushes towards the right abstractions
- More expressiveness from safely exposed internals
- APIs are cleaner, with fewer error returns
- No regressions when adding functionality

ecorax.net/tightness/

zeroed boosted

Come and join #StuxCraft!

It's a free open source MMORPG directly playable in your web browser! No downloads required.

It is still in beta :flan_hacker:

stuxcraft.com

Humbly embarrassed by the explanation of 23. Qf3 of "Spassky - Geller Candidates Semifinal (1965), Riga URS, rd 6, Jun-04"

lichess.org/KcJkM6wQ#45

zeroed boosted

's strong type system really allows you to focus on api design and .

The rest is taken care of by the compiler.¯\_(ツ)_/¯

It absolutely changes the way you think about algorithms and data structures, because you can finally focus on them and make them really fast without fear.

I used to peruse and deeply appreciate the "comp.lang.c Frequently Asked Questions": (...) they distill knowledge gleaned from many sources and answer questions which are demonstrably Frequent, FAQ lists serve as useful references outside of their originating Usenet newsgroups (...)

c-faq.com/index.html

zeroed boosted
zeroed boosted
zeroed boosted

And another epiphany in 🤯:
When you have a generic type parameter `T` that is bound to the 'static lifetime, it basically means that:
- the concrete type for `T` must not have any references in them
- or must not have references in them that live shorter than the lifetime of the program.

Especially the first point wasn't clear to me at all.😮

See this elaborate example:
play.rust-lang.org/?version=st

1/2

Inventing the Service trait

(...) A Service is an asynchronous function that takes a request and produces a response. (...) let's look at the motivation behind Service by imagining how you might invent it if you started from scratch.

tokio.rs/blog/2021-05-14-inven

How to to_string in Rust

In , there are several ways to turn a value into a string. In this article, we will explore a few different ways and discuss what are the most idiomatic approaches (...).

- Implementing our own to_string()
- Rust traits
- The Debug trait
- The ToString trait
- The Display trait

loige.co/how-to-to-string-in-r

zeroed boosted

I have re-entered the world of blogs, by looking at my RSS reader again. I performed spring cleaning of old feeds, and would be happy to receive suggestions for blogs on: a) game design, b) networking (protocols, etc), c) cryptography.

There are probably quite a few other suggestions I'd check out, so don't feel restricted to these.

Boosts appreciated!

Show older
Mastodon for Tech Folks

This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!