Author Archives: ajlopez

About ajlopez

I'm a software developer, from Argentina.

Blockchain: Links And Resources (300)

Previous Post

K Framework
http://www.kframework.org/index.php/Main_Page

K Semantics of the Ethereum Virtual Machine (EVM)
https://github.com/kframework/evm-semantics

KEVM: A Complete Semantics of the Ethereum Virtual Machine
https://www.ideals.illinois.edu/bitstream/handle/2142/97207/hildenbrandt-saxena-zhu-rodrigues-guth-daian-rosu-2017-tr_0818.pdf

Defining the semantics of K in K
https://github.com/kframework/k-in-k

How Formal Verification of Smart Contracts Works
https://runtimeverification.com/blog/how-formal-verification-of-smart-contracts-works/

How Formal Verification Can Ensure Flawless Smart Contracts
https://media.consensys.net/how-formal-verification-can-ensure-flawless-smart-contracts-cbda8ad99bd1

What I think about what KEVM people think about EVM
https://medium.com/@pirapira/what-i-think-about-what-kevm-people-think-about-evm-78d99191b57e

El desarrollo de loyalty para Flips
https://www.youtube.com/watch?v=vkXBSU1T0Fk

Angel “Java” Lopez
https://github.com/ajlopez
http://www.ajlopez.com
http://twitter.com/ajlopez

 

Blockchain: Links And Resources (299)

Previous Post
Next Post

World’s first Bitcoin based supply chain data platform, TEMCO’s pre-sale
https://medium.com/temcolabs/worlds-first-bitcoin-based-supply-chain-data-platform-temco-s-pre-sale-af5cad09ffa1

Bitcoin secured supply chain platform TEMCO launches token sale on Nexybit
https://www.cryptoninjas.net/2018/12/12/bitcoin-secured-supply-chain-platform-temco-launches-token-sale-on-nexybit/

The State of Bitcoin
https://www.delphidigital.io/bitcoin

0/ We’re excited to release our first “State of #Bitcoin” report. Read it in full here!
https://twitter.com/Delphi_Digital/status/1072248572433915909

UNICEF’s Innovation Fund announces first cohort of blockchain investments in emerging markets
https://www.unicef.org/press-releases/unicefs-innovation-fund-announces-first-cohort-blockchain-investments-emerging

Ahora ya puedes tener contratos inteligentes sobre Bitcoin
https://blog.bitso.com/ahora-ya-puedes-tener-contratos-inteligentes-sobre-bitcoin-3b10167c9142?gi=9810ca6f2d4b

“¿Hay alguien ahí fuera?”: el bitcoin ‘amenaza’ la búsqueda de vida extraterrestre
https://mundo.sputniknews.com/espacio/201802161076323267-gpu-bitcoin-seti/

Esplora – The Code Behind Blockstream Explorer
https://blockstream.com/2018/12/06/esplora-source-announcement/

Angel “Java” Lopez
https://github.com/ajlopez
http://www.ajlopez.com
http://twitter.com/ajlopez

 

Programming: Links and Resources (26)

Previous Post

The Art of Prolog, Second Edition
https://mitpress.mit.edu/books/art-prolog-second-edition

21st Century Languages
https://qconsf.com/sf2018/track/21st-century-languages

Functional concepts in Smalltalk: The Y Combinator
https://www.youtube.com/watch?v=Ov8dVvoGiPY

Tektronix Smalltalk Document Archive
http://www.wirfs-brock.com/allen/things/smalltalk-things/tektronix-smalltalk-document-archive

There is a story behind how Tektronix Smalltalk became branded as an AI language in 1984
https://twitter.com/awbjs/status/1069335093141880832

WebAssembly doesn’t make unsafe languages safe (yet)
https://00f.net/2018/11/25/webassembly-doesnt-make-unsafe-languages-safe/

JIRA is an anti-pattern
https://techcrunch.com/2018/12/09/jira-is-an-antipattern/

Building Web Servers in Go
https://getgophish.com/blog/post/2018-12-02-building-web-servers-in-go/

Angel “Java” Lopez
https://github.com/ajlopez
http://www.ajlopez.com
http://twitter.com/ajlopez

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
https://github.com/ajlopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Blockchain: Links And Resources (298)

Previous Post
Next Post

WATCH: SEC Chairman Jay Clayton’s Full Consensus: Invest Interview
https://www.coindesk.com/sec-jay-clayton-consensus-invest-video

Kademlia: a Peer-to-peer Information System Based on the XOR Metric
https://pdos.csail.mit.edu/~petar/papers/maymounkov-kademlia-lncs.pdf

Generalised swap swear and swindle games
https://www.dropbox.com/s/7r3jasjho35ojc7/sw3paper.pdf

Mainframe: the web3 communications layer
https://mainframe.docsend.com/view/j39qpui

BlockBench
https://github.com/ooibc88/blockbench
A Framework for Analyzing Private Blockchains.

Coinbase COO Asiff Hirji Says Stablecoins Will Enable “Programmatic Money Applications Like We Have Not Seen Before”
https://blokt.com/news/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
https://www.forbes.com/sites/ktorpey/2017/11/30/2017-was-the-year-when-everyone-finally-learned-bitcoin-isnt-controlled-by-miners

Ethereum [ETH]’s Vitalik Buterin: Next wave of crypto adoption is not going to be built on hype
https://ambcrypto.com/ethereum-eths-vitalik-buterin-next-wave-of-crypto-adoption-is-not-going-to-be-built-on-hype/

Angel “Java” Lopez
https://github.com/ajlopez
http://www.ajlopez.com
http://twitter.com/ajlopez

 

Blockchain: Links And Resources (297)

Previous Post
Next Post

Mainframe
https://mainframe.com/developers

Confidential transactions have arrived, a dive into the AZTEC Protocol
https://medium.com/aztec-protocol/confidential-transactions-have-arrived-a-dive-into-the-aztec-protocol-a1794c00c009

Scaling Nakamoto Consensus to Thousands of Transactions per Second
https://www.conflux-chain.org/Scaling%20Nakamoto%20Consensus%20to%20Thousands%20of%20Transactions%20per%20Second.html

Native support for Ethereum, Ethereum Classic and ERC20 tokens available in Trezor Beta Wallet
https://blog.trezor.io/native-support-for-ethereum-ethereum-classic-and-erc20-tokens-available-in-trezor-beta-wallet-4f8960eb3895

Amazon Presents Its Quasi-Blockchain Solution, Platform for Ethereum and Hyperledger Fabric
https://cointelegraph.com/news/amazon-presents-its-quasi-blockchain-solution-platform-for-ethereum-and-hyperledger-fabric

SpankChain Has Paid Camgirls $70,000 Worth of Crypto in 6 Months
https://www.coindesk.com/spankchain-eth-crypto-porn-camgirl

Amazon Announces Two Blockchain-Related Products; Quantum Ledger and Managed Blockchain
https://cointelegraph.com/news/amazon-announces-two-blockchain-related-products-quantum-ledger-and-managed-blockchain

600K Bitcoin Miners Shut Down in Last 2 Weeks, F2Pool Founder Estimates
https://www.coindesk.com/600k-bitcoin-miners-shut-down-in-last-2-weeks-f2pool-founder-estimates

Angel “Java” Lopez
https://github.com/ajlopez
http://www.ajlopez.com
http://twitter.com/ajlopez

 

Blockchain: Links And Resources (296)

Previous Post
Next Post

Elixir implementation of Ethereum’s RLP (Recursive Length Prefix) encoding
https://github.com/mana-ethereum/ex_rlp

Crypto Anarchists Are Building Tools to Resist the State in Eastern Europe
https://www.coindesk.com/crypto-anarchists-are-building-tools-to-resist-the-state-in-eastern-europe

Banking Giant State Street Is Waiting on Client Demand for Crypto Custody
https://www.coindesk.com/crypto-custody-state-street-is-waiting-on-a-client-shift-exec-says

Ping An’s New Pitch for Blockchain: Shared Ledger, But Banks Keep Clients
https://www.coindesk.com/ping-ans-new-pitch-for-blockchain-shared-ledger-but-banks-keep-clients

Chain Importer
https://github.com/Ethermat/chain-importer

Mana
https://github.com/mana-ethereum/mana
Ethereum full node implementation written in Elixir

SEC’s Next Move: Social Media Influencers Who Promoted Crypto ICOs
https://www.ccn.com/secs-next-move-social-media-influencers-who-promoted-crypto-icos/

Oil-Trading Blockchain Platform VAKT Launches With Shell, BP as First Users
https://cointelegraph.com/news/oil-trading-blockchain-platform-vakt-launches-with-shell-bp-as-first-users

Angel “Java” Lopez
https://github.com/ajlopez
http://www.ajlopez.com
http://twitter.com/ajlopez