task oriented programming languages

Categorizing the thousands of programming languages that exist is no easy task, but software trends over the years have revealed two sovereign frameworks: imperative (object-oriented) and declarative (functional) languages.

Imperative: The programmer defines how to perform algorithms and how memory is accessed. Examples include C++, JavaScript, and Python.

Declarative: The programmer defines the composition of functions, and lets the run-time optimize algorithms. Examples include Haskell, Erlang, and OCaml.

A classic way to describe the distinction between declarative and imperative programming is that declarative languages let the programmer describe what to do, whereas imperative languages let the programmer define how to do it.

If we extend this idea to a third type of language that lets the programmer define why choices are made, then we have discovered task-oriented programming languages.

Task-oriented: The programmer defines desired states, and lets the runtime resolve the composition of actions. Examples include DMPL, PDDL, and DTProbLog.

The figure below summarizes these paradigms with glorious details about how languages have influenced each other over the years. The types of languages span all over the place, and it all started less than a century ago!  

Arrows between languages represent influence. Languages are placed in columns corresponding to their primary paradigm, even though some languages are multi-paradigm. 

https://www.freecodecamp.org/news/dmpl/

Microsoft & ethereum

Microsft announced a collaboration with the Enjin gaming system which saw a 50% rise in ENJ, ETH completed its latest hard fork.

ETH

Ethereum’s Istanbul hard fork went live at the end of the week. The fork is the third this year and is the latest upgrade as the network moves towards Serenity (ETH 2.0), Ethereum’s transition from its current proof of work consensus mechanism towards proof of stake consensus. The fork occurred as previously expected at block number 9069000. 

https://www.bitrates.com/news/p/microsoft-boosts-enj-by-50-eth-completes-hard-fork-dec-9

life during the ice age

Cool interesting read.

....

https://www.sciencealert.com/scientists-have-figured-out-how-animal-life-could-have-survived-snowball-earth

edge or fog computing coming on strong in 2020

What is this edge or fog computing trend ? 

Both edge and fog computing provide similar functionalities where smart devices or items or sensors push data and analytics to cloud platforms.

“Fog computing and edge computing are effectively the same thing." 

 Both are concerned with leveraging the computing capabilities within a smaller simpler server / gateway or sensor hardware device and process and share data via a localized network to carry out computation tasks that would ordinarily have been carried out in the cloud. More advanced AI and data processing still are done on the cloud.   

Both technologies can help organizations reduce their reliance on cloud-based platforms to analyze data, provide intelligent automation and analysis.

The main difference between edge computing and fog computing comes down to where the processing of that data takes place.

Edge computing usually occurs directly on the devices to which the sensors are attached or a gateway device that is physically “close” to the sensors. 

Fog computing moves the edge computing activities to processors that are connected to the LAN or into the LAN hardware itself so they may be physically more distant from the sensors and actuators. Think NB-IoT or LoRa or mesh networks and those types of IoT technologies.   

stellar for payments and more

https://www.coindesk.com/stellars-plan-to-win-global-payments-play-nice-with-the-finance-cops

I like stellar. Have used it.  Bought it. Validated it. Forked it.  

" It seems like we are on the cusp of these things actually making people’s lives better " 

blockchain smart contracts lawyer and data feeds

Cool stuff going on in blockchain and side chains and smart contracts. 

" OpenLaw, the smart contract pioneer from New York, has partnered with Thomson Reuters to conduct a proof of concept (POC) that tests how Contract Express and the OpenLaw system can work together to log hashed data points from contracts on the Ethereum blockchain. That in turn has made it possible to begin with a Contract Express document and turn it into a smart contract with digital currency transaction and self-execution elements. 

The POC included executing smart contracts ‘on-chain’ from data inputted through Contract Express. "

https://www.artificiallawyer.com/2019/10/17/thomson-reuters-links-with-openlaw-for-smart-contract-express-project/

ai solves Rubik cube

"Artificial intelligence research organization OpenAI has achieved a new milestone in its quest to build general purpose, self-learning robots. The group’s robotics division says Dactyl, its humanoid robotic hand first developed last year, has learned to solve a Rubik’s cube one-handed. OpenAI sees the feat as a leap forward both for the dexterity of robotic appendages and its own AI software, which allows Dactyl to learn new tasks using virtual simulations before it is presented with a real, physical challenge to overcome."

https://www.theverge.com/2019/10/15/20914575/openai-dactyl-robotic-hand-rubiks-cube-one-handed-solve-dexterity-ai