Author Archives: ajlopez

About ajlopez

I'm a software developer, from Argentina.

Blockchain: Links And Resources (300)

Previous Post

K Framework

K Semantics of the Ethereum Virtual Machine (EVM)

KEVM: A Complete Semantics of the Ethereum Virtual Machine

Defining the semantics of K in K

How Formal Verification of Smart Contracts Works

How Formal Verification Can Ensure Flawless Smart Contracts

What I think about what KEVM people think about EVM

El desarrollo de loyalty para Flips

Angel “Java” Lopez


Blockchain: Links And Resources (299)

Previous Post
Next Post

World’s first Bitcoin based supply chain data platform, TEMCO’s pre-sale

Bitcoin secured supply chain platform TEMCO launches token sale on Nexybit

The State of Bitcoin

0/ We’re excited to release our first “State of #Bitcoin” report. Read it in full here!

UNICEF’s Innovation Fund announces first cohort of blockchain investments in emerging markets

Ahora ya puedes tener contratos inteligentes sobre Bitcoin

“¿Hay alguien ahí fuera?”: el bitcoin ‘amenaza’ la búsqueda de vida extraterrestre

Esplora – The Code Behind Blockstream Explorer

Angel “Java” Lopez


Programming: Links and Resources (26)

Previous Post

The Art of Prolog, Second Edition

21st Century Languages

Functional concepts in Smalltalk: The Y Combinator

Tektronix Smalltalk Document Archive

There is a story behind how Tektronix Smalltalk became branded as an AI language in 1984

WebAssembly doesn’t make unsafe languages safe (yet)

JIRA is an anti-pattern

Building Web Servers in Go

Angel “Java” Lopez

New Month’s Resolutions: December 2018

The end of year is near. Time to write the last month’s resolutions. But first, a review of the previous month’s ones:

– Continue WorldModel [pending]
– Continue PokerLib [pending]
– Continue SimpleNeuron [pending]
– Give a talk about blockchain [complete]
– Continue BlockchainJ [complete] see repo
– Continue Dexert [complete] see repo
– Continue EthBridge [complete] see repo
– Continue SolidityCompiler [complete] see repo
– Continue Idener [pending]
– Write experimental code for RskJ [complete]

Also, I was working on:

– Record an Smart Contracts session [complete] see video and notes (Spanish)
– Start erlie, Erlang-like interpreter in JavaScript [complete] see repo
– Improve ErlSharp [complete] see repo
– Improve ElixirJS [complete] see repo
– Improve SimpleDSL [complete] see repo

My new month’s resolutions:

– Continue WorldModel
– Continue Elmie
– Continue PokerLib
– Continue SimpleNeuron
– Give a talk about blockchain
– Continue BlockchainJ
– Continue Dexert
– Continue EthBridge
– Continue SolidityCompiler
– Continue Idener
– Record a talk about Smart Contracts programming
– Write experimental code for RskJ

Angel “Java” Lopez

Blockchain: Links And Resources (298)

Previous Post
Next Post

WATCH: SEC Chairman Jay Clayton’s Full Consensus: Invest Interview

Kademlia: a Peer-to-peer Information System Based on the XOR Metric

Generalised swap swear and swindle games

Mainframe: the web3 communications layer

A Framework for Analyzing Private Blockchains.

Coinbase COO Asiff Hirji Says Stablecoins Will Enable “Programmatic Money Applications Like We Have Not Seen Before”

2017 Was The Year When Everyone (Finally) Learned Bitcoin Isn’t Controlled By Miners

Ethereum [ETH]’s Vitalik Buterin: Next wave of crypto adoption is not going to be built on hype

Angel “Java” Lopez


Blockchain: Links And Resources (297)

Previous Post
Next Post


Confidential transactions have arrived, a dive into the AZTEC Protocol

Scaling Nakamoto Consensus to Thousands of Transactions per Second

Native support for Ethereum, Ethereum Classic and ERC20 tokens available in Trezor Beta Wallet

Amazon Presents Its Quasi-Blockchain Solution, Platform for Ethereum and Hyperledger Fabric

SpankChain Has Paid Camgirls $70,000 Worth of Crypto in 6 Months

Amazon Announces Two Blockchain-Related Products; Quantum Ledger and Managed Blockchain

600K Bitcoin Miners Shut Down in Last 2 Weeks, F2Pool Founder Estimates

Angel “Java” Lopez


Blockchain: Links And Resources (296)

Previous Post
Next Post

Elixir implementation of Ethereum’s RLP (Recursive Length Prefix) encoding

Crypto Anarchists Are Building Tools to Resist the State in Eastern Europe

Banking Giant State Street Is Waiting on Client Demand for Crypto Custody

Ping An’s New Pitch for Blockchain: Shared Ledger, But Banks Keep Clients

Chain Importer

Ethereum full node implementation written in Elixir

SEC’s Next Move: Social Media Influencers Who Promoted Crypto ICOs

Oil-Trading Blockchain Platform VAKT Launches With Shell, BP as First Users

Angel “Java” Lopez