Byzantine-fault-tolerant time synchronization

Byztime is a Byzantine-fault-tolerant protocol for synchronizing time among a group of peers, without reliance on any external time authority. The time kept by Byztime is simply a counter that advances at a rate of something very close to one unit per second, such that all nodes are in close agreement as to its current value [...]

github.com/akamai-contrib/byzt

Reading about the concept of "storage" in .
A very deep read TBH, that deserves certainly (for me) more than one pass.

"Is custom allocators the right abstraction?"

Starting from a recently shared summary at the post #74 internals.rust-lang.org/t/is-c

Infinite versions of minesweeper are Turing complete

The starting point [...] is [...] that the [...] Minesweeper game is NP-complete. The proof was by making suitable minesweeper configurations simulate digital computers [...] reminiscent of John Conway’s game of life [...] which was proved to be Turing complete [...] It is reasonable to ask whether or not there is an version of Minesweeper [...] that is also Turing complete [...] there is.

web.mat.bham.ac.uk/R.W.Kaye/mi

zeroed boosted

me last night: "ok a half hour of skyrim before bed"

[game launches, mid dungeon]
me: "oh i'm too full to pick up this treasure"
[backtrack to outside]
[fast travel to discombobulate a new magic weapon and learn its secrets]
[fast travel to the 3 shops that still have money to buy various things from me]
[fast travel back to the dungeon entrance]
me: "welp that's a half hour. bedtime!"

zeroed boosted

Package Release: 02/24 nano 5.6 GNU nano: a curse-based text editor for UNIX nano-editor.org/

@Archimage Do you refer to a dystopian SciFi book or some other forgotten legend?

Re-reading with genuine fascination and admiration for the clarity of the writing.

Stacked Borrows Implemented

"What Stacked Borrows does is that it defines a semantics for Rust programs such that some things about references always hold true for every valid execution [...]: &mut references are unique [...] and & references are immutable [...] We have to define a set of rules that makes sense even for unsafe code."

ralfj.de/blog/2018/11/16/stack

Rust ownership, the hard way

"In order to truly understand Rust, one needs to understand its crucial differentiating feature: ownership. Let’s go through it in detail the hard way."

chrismorgan.info/blog/rust-own

zeroed boosted

Can we please stop using Discord for Free software and open source projects, thanks!

zeroed boosted

My Crust of Rust episode on subtyping and variance in #rustlang is now up at youtu.be/iVYWDIW71jk. Even though it's a thorny topic that I'm fairly new to myself, I _think_ we managed to explain the concepts and their practical implications without too many 🍿 moments.

aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction

github.com/tkaitchuck/aHash

zeroed boosted

Beautiful. Kudos

New Release: 0 A.D. Alpha 24: Xšayāršā

Wildfire Games, an international group of volunteer game developers, proudly announces the release of 0 A.D. Alpha 24: “Xšayāršā” (pronounced: Khsha-ya-ṛsha), the twenty-fourth alpha version of 0 A.D., a free, open-source real-time strategy game of ancient warfare. The release is named after Xerxes the Great, ruler of the Achaemenid Empire from 485 to 465 BC

play0ad.com/new-release-0-a-d-

Cranelift, Part 2: Efficiency, CFGs, and a Branch Peephole Optimizer

In this post [...] dive into the compiler performance aspect [...] There are many interesting aspects of compilation speed I could talk about, but one particularly difficult problem is the handling of control flow: how do we translate structured control flow at the Wasm level into control-flow graphs at the IR level, and finally to branches in a linear stream of instructions at the machine-code level?

cfallin.org/blog/2021/01/22/cr

zeroed boosted

This is my sad face when people run web servers that don't ping even when the web server is up.

(I almost wrote an email that would have been a little embarrassing before I thought to check the actual URL, not just ping the host. Maybe I should get a 'httpping' program.)

zeroed boosted

Is there a special algorithm complexity theory for Functional Programming?

I looked through NP-hardness definitions - they use notions of von Neumann architecture everywhere. It doesn't look that this logic is applicable if we speak about reductions of

Generalizing over Generics in Rust (Part 1) - AKA Higher Kinded Types in

Do you want to use Higher Kinded Types () in Rust? Are you tired of waiting for ? Well, this is the place to be.

rustyyato.github.io/type/syste

An illustrated guide to 12 Factor Apps

The 12 Factor App principles are designed to allow developers to create applications intended to run at web-scale.

redhat.com/architect/12-factor

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!