Cryptography DSL.
Lifted from a press release issued back in 2008.

Cryptol is a domain specific language for the design,
implementation and verification of cryptographic algorithms,
developed over the past decade by Galois for the United States
National Security Agency. It has been used successfully in a
number of projects, and is also in use at Rockwell Collins, Inc.

Domain-specific languages (DSLs) allow subject-matter experts to
design solutions in using familiar concepts and
constructs. Cryptol, as a DSL, allows domain experts in
cryptography to design and implement cryptographic algorithms
with a high degree of assurance in the correctness of their
design, and at the same time, producing a high performance
implementation of their algorithms.

http://corp.galois.com/cryptol/

Note: I am not in any way affiliated with Galois inc, and not, myself, a user of the Cryptol language. I'm posting it because I thought LtU might find this an interesting thing to discuss.

By Ray Dillinger at 2013-07
http://lambda-the-ultimate.org/node/4774

Numbers and how to represent them.
By Ray Dillinger at 2013-01-21
http://lambda-the-ultimate.org/node/4678

“Both Satoshi and I objected that [Bitcoin] wouldn't scale at 1MB. Hal was concerned about a potential DoS attack though, and after discussion, Satoshi agreed... But all 3 of us agreed that 1MB had to be temporary because it would never scale.”

-Ray Dillinger

https://bitcointalk.org/index.php?topic=946236.msg10388435#msg10388435

List: cryptography
Subject: Re: Judge orders defendant to decrypt PGP-protected laptop
From: Ray Dillinger <bear () sonic ! net>
Date: 2009-03-05 6:15:30
Message-ID: 1236233730.23131.25.camel () localhost

The law is not administered by idiots.

In particular, the law is not administered by people who are more idiotic than you. You may disagree with them, or with the law, but that does not make them stupid.
https://marc.info/?l=cryptography&m=123627439509861&w=2

44:30 How Hal Finney & Ray Dillinger helped
https://youtu.be/8_SoIXUBIhw

"Who created Bitcoin?
Craig Wright reveals alleged contributors for the first time |
Full Interview" 1h38
27 abr. 2019
Crypto Finder

https://www.finder.com/dr-craig-wright-explains-the-origins-of-bitcoin-full-interview

"A lot of people these days are saying Bitcoin is mostly for money laundering and otherwise facilitating crime, but for its early adopters, that’s definitely not the case. ...".

Word From The BLOCK — Episode -1
An interview with Ray Dillinger
January 29th 2018

https://hackernoon.com/word-from-the-block-episode-1-628022a66912

"There are scalability solutions of various kinds. What they all have in common is that the faster and higher capacity they get, the more they look like a completely centralized payment processing service. I’ll go over a few options.

First there is what they’re calling the lightning network. I think I’m going to call it the “ripple” protocol after the first altcoin implementation that made it work. Technically it’s sound. But I don’t think it’s going to capture use cases as well as the developers hope it will. What it will do is create a drive toward conventional-style banking".

2018/02/06
Word From The BLOCK , Episode -2
An interview with Ray Dillinger (here we discuss smart contracts, lightning network, token economy, cybersecurity)

https://medium.com/hackernoon/word-from-the-block-episode-2-d7347a101fbb

2018/02/06
Word From The BLOCK , Episode -2
An interview with Ray Dillinger (here we discuss smart contracts, lightning network, token economy, cybersecurity)


https://medium.com/hackernoon/word-from-the-block-episode-2-d7347a101fbb

"Satoshi on scalability

2010–07–14 21:10:52 UTC — Original Post

“The design outlines a lightweight client that does not need the full block chain. In the design PDF it’s called Simplified Payment Verification. The lightweight client can send and receive transactions, it just can’t generate blocks. It does not need to trust a node to verify payments, it can still verify them itself.

The lightweight client is not implemented yet, but the plan is to implement it when it’s needed. For now, everyone just runs a full network node.

I anticipate there will never be more than 100K nodes, probably less. It will reach an equilibrium where it’s not worth it for more nodes to join in. The rest will be lightweight clients, which could be millions.
At equilibrium size, many nodes will be server farms with one or two network nodes that feed the rest of the farm over a LAN.”".

2018/02/06
Word From The BLOCK , Episode -2
An interview with Ray Dillinger (here we discuss smart contracts, lightning network, token economy, cybersecurity)

https://medium.com/hackernoon/word-from-the-block-episode-2-d7347a101fbb

"It's not pseudonymous in the sense of nyms identifying people, but it is at least a little pseudonymous in that the next action on a coin can be identified as being from the owner of that coin".

Satoshi Nakamoto
Sat Nov 15 2008

https://www.metzdowd.com/pipermail/cryptography/2008-November/014860.html

"Y la naturaleza de Trustless de Bitcoin fue lo principal que me convenció de que Satoshi no estaba estafando. Construyó una carretera sin puente de peaje. La gente podría usar Bitcoin sin crear ninguna obligación de pagarle nada. No estaba vendiendo monedas, las estaba regalando por resolver hashes. Él no reservó nada para sí mismo"

Si hubiera sabido lo que estábamos empezando.
Publicado el 20 de septiembre de 2017
Ray Dillinger

https://www.bitpaste.app/tx/028b2d8183d8bcf4662974dbe1c7eadf5c4700b339c3429e8aaae77256382cbe

Now you can have a FULL list with all the Telegram channels that I have been creating, organized alphabetically

Please subscribe to the news letters and you will receive an email with each new blog post

Thank you for making blockchain and BitCoin technology better known every day.
https://ramonquesada.com/english/telegrams-channels-names-in-alphabetical-order/

The 21 Million Bitcoin Question.
By Rich Apodaca |
Updated April 16th, 2018

"To incentivize early adoption, Satoshi envisioned a payout schedule modeled after a mining operation. Over time, yield decreases until no further value can be extracted. The main problem with this approach is deciding how exactly to cut the block subsidy. There are two main options:

- cut at every block;

- cut at every epoch, where an epoch represents a fixed number of blocks."

https://bitzuma.com/posts/the-21-million-bitcoin-question/