What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

0
0
1
1
1
1
1
1
0
0
0
0
0
0
1
0
0
1
1
0
1
1
0
3
0
1
1
0
1
1
1
1
0
0
1
0
0
0
1
1
0

Another technology I'm excited by are CRDTs (Conflict-free Replicated Data Types)! Where by modelling data as an inversely-linked tree we can obfuscate the distinction the document & its edits.

Such that these edits can be received in any order & still recreate the same document!

Its a way to do peer-to-peer collaboration whilst minimizing the need for cloud servers! As long as your computer can communicate with your peers!

And we can use it to implement infinite undo!

1/2!

0
1
0
0
0

Recently, the erdosproblems.com site run by Thomas Bloom has enabled a discussion forum for each of the problems on the site.

As a result of some discussions I had with Stijn Cambie and Vjeko Kovac on this forum, we were able to come up with a short elementary solution to a previously open problem on the site: erdosproblems.com/forum/thread . In fact the proof is sufficiently short and elementary that it was straightforward to formalize in Lean! github.com/teorth/analysis/blo

0
0
1
0